  
  
                                   [1X [5XHAPprime[0m[1X [0m
  
  
              [1X More homological algebra with prime power groups   [0m
  
  
                                 Version 0.3.2
  
  
                                13 February 2009
  
  
                                   Paul Smith
  
  
  
  Paul Smith
      Email:    [7Xmailto:paul.smith@nuigalway.ie[0m
      Homepage: [7Xhttp://www.maths.nuigalway.ie/~pas[0m
      Address:  Department of Mathematics,
                National University of Ireland, Galway
                Galway,
                Ireland.
  
  
  
  -------------------------------------------------------
  [1XCopyright[0m
  © 2006-2009 Paul Smith
  
  [5XHAPprime[0m  is  released under the GNU General Public License (GPL). This file
  is  part  of  [5XHAPprime[0m, though as documentation it is released under the GNU
  Free                Documentation                License                (see
  [7Xhttp://www.gnu.org/licenses/licenses.html#FDL[0m).
  
  [5XHAPprime[0m  is  free  software; you can redistribute it and/or modify it under
  the  terms  of  the  GNU  General  Public  License  as published by the Free
  Software  Foundation;  either  version 2 of the License, or (at your option)
  any later version.
  
  [5XHAPprime[0m  is distributed in the hope that it will be useful, but WITHOUT ANY
  WARRANTY;  without  even  the implied warranty of MERCHANTABILITY or FITNESS
  FOR  A  PARTICULAR  PURPOSE.  See  the  GNU  General Public License for more
  details.
  
  You should have received a copy of the GNU General Public License along with
  [5XHAPprime[0m;  if  not,  write  to the Free Software Foundation, Inc., 59 Temple
  Place, Suite 330, Boston, MA 02111-1307 USA
  
  For more details, see [7Xhttp://www.fsf.org/licenses/gpl.html[0m.
  
  
  -------------------------------------------------------
  [1XAcknowledgements[0m
  [5XHAPprime[0m  is supported by a Marie Curie Transfer of Knowledge grant based at
  the Department of Mathematics, NUI Galway (MTKD-CT-2006-042685)
  
  
  -------------------------------------------------------
  
  
  [1XContents (HAPprime)[0X
  
  1 Introduction
    1.1 Introduction to the [5XHAPprime[0m package
    1.2 Required software
    1.3 Installing [5XHAPprime[0m
    1.4 Loading and testing [5XHAPprime[0m
    1.5 Documentation
      1.5-1 MakeHAPprimeDoc
    1.6 Displaying progress and calculation information
      1.6-1 InfoHAPprime
  2 Examples
    2.1 Computing the mod p group cohomology
    2.2 Computing mod-p cohomology rings and their Poincaré series
      2.2-1 A ring presentation for the mod p cohomology (up to degree n)
      2.2-2 Calculating a provably-correct mod-p cohomology
      2.2-3 Computing Poincaré series
    2.3 Comparing the memory usage and speed of [5XHAPprime[0m and [5XHAP[0m's
    [9XResolutionPrimePowerGroup[0m functions
      2.3-1 [5XHAPprime[0m takes less memory to store resolutions
      2.3-2 [5XHAPprime[0m takes less memory to compute resolutions
      2.3-3 Automatic selection of the best method
  3 Functions for Homological Algebra
    3.1 Resolutions
      3.1-1 ResolutionPrimePowerGroup
      3.1-2 ExtendResolutionPrimePowerGroup
    3.2 Poincaré Series
      3.2-1 PoincareSeriesLHS
    3.3 Cohomology Ring structure
      3.3-1 ModPCohomologyRingPresentation
  
  
  -------------------------------------------------------
