  
  [1X1 [33X[0;0YIntroduction[133X[101X
  
  
  [1X1.1 [33X[0;0YIntroduction to the [5XHAPprime[105X[101X[1X package[133X[101X
  
  [33X[0;0Y[5XHAPprime[105X    is   a   package   for   the   [5XGAP[105X   computer   algebra   system
  ([7Xhttp://www.gap-system.org/[107X), and which extends the [5XHAP[105X `Homological Algebra
  Progamming'        package        written        by       Graham       Ellis
  ([7Xhttp://hamilton.nuigalway.ie/Hap/www/[107X).  It  provides  algorithms  and data
  structures  for  calculating  resolutions  of  small prime-power groups. The
  [5XHAPprime[105X  functions  use  significantly  less  memory  than  the  equivalent
  function in [5XHAP[105X, allowing resolutions (and cohomology ring presentations) of
  larger groups to be calculated (see Section [14X2.2[114X).[133X
  
  [33X[0;0YEarlier  versions  of [5XHAPprime[105X also included functions to compute polynomial
  ring  presentations  of cohomology rings, and to ensure that these rings are
  complete  and  correct.  These  functions  have  now been moved into the [5XHAP[105X
  package  and  are  documented  as  part  of  that  package  (see for example
  [2XMod2CohomologyRingPresentation[102X   ([14XHAP:  Mod2CohomologyRingPresentation[114X)  and
  [2XPoincareSeriesLHS[102X ([14XHAP: PoincareSeriesLHS[114X)).[133X
  
  
  [1X1.2 [33X[0;0YRequired software[133X[101X
  
  [33X[0;0YThe  [5XHAPprime[105X  package  requires  [5XGAP[105X version 4.4 or greater and [5XHAP[105X version
  1.9.3 or greater.[133X
  
  
  [1X1.3 [33X[0;0YInstalling [5XHAPprime[105X[101X[1X[133X[101X
  
  [33X[0;0YTo  install  the  [5XHAPprime[105X  Package,  unpack  the archive file into your [5XGAP[105X
  packages  directory  (either  usually  the  [11Xpkg[111X  directory  of  your  [5XGAP[105X  4
  installation  if you have access to it, or some local [11Xpkg[111X directory that [5XGAP[105X
  can find). The [5XHAPprime[105X files will all be installed in a subdirectory called
  [11Xhapprime[111X.[133X
  
  
  [1X1.4 [33X[0;0YLoading and testing [5XHAPprime[105X[101X[1X[133X[101X
  
  [33X[0;0YThe  [5XHAPprime[105X  package is not loaded by default when [5XGAP[105X is started. To load
  the package, type the following at the [5XGAP[105X prompt:[133X
  
  [4X[32X  Example  [32X[104X
    [4X[25Xgap>[125X [27XLoadPackage( "HAPprime");[127X[104X
  [4X[32X[104X
  
  [33X[0;0YIf [5XHAPprime[105X isn't already in memory, it is loaded and the author information
  is  displayed.  If  you  are a frequent user of [5XHAPprime[105X, you might consider
  putting this line in your [11X.gaprc[111X file, or using the [10XPackagesToLoad[110X option in
  your [11Xgap.ini[111X file.[133X
  
  [33X[0;0YThe correct installation of [5XHAPprime[105X can be tested by using the test routine
  [11Xtst/testall.g[111X:[133X
  
  [4X[32X  Example  [32X[104X
    [4X[25Xgap>[125X [27XReadPackage("HAPprime", "tst/testall.g");[127X[104X
    [4X[28X+ HAPprime version 0.6[128X[104X
    [4X[28X general tests[128X[104X
    [4X[28X+ GAP4stones: 371057[128X[104X
    [4X[28X+ HAPprime version 0.6[128X[104X
    [4X[28X userguide examples[128X[104X
    [4X[28X+ GAP4stones: 387662[128X[104X
    [4X[28X+ HAPprime version 0.6[128X[104X
    [4X[28X datatypes reference manual examples[128X[104X
    [4X[28X+ GAP4stones: 382653[128X[104X
    [4X[28Xtrue[128X[104X
  [4X[32X[104X
  
  [33X[0;0YThe  number  of  [10XGAP4stones[110X  will  vary  depending  on your machine, but any
  additional lines of messages indicate problems with your installation.[133X
  
  [33X[0;0YThe test routine calls a set of test files [14X'Reference: Test Files'[114X which can
  be  found  in  the  [11Xtst[111X  directory  of the [5XHAPprime[105X installation. All of the
  routines  listed  in this user guide are tested, as are many of those in the
  datatype reference manual.[133X
  
  
  [1X1.5 [33X[0;0YDocumentation[133X[101X
  
  [33X[0;0YThe  documentation  for  [5XHAPprime[105X is in two parts. This document is the user
  guide,  which covers the main functions provided by [5XHAPprime[105X and examples of
  their  use.  There  is  also  a  more technical [5XHAPprime[105X datatypes reference
  manual  which  gives  details  of  the  new  [5XGAP[105X  datatypes defined and used
  internally  by  [5XHAPprime[105X,  as  well  as outlining the algorithms used by the
  package.[133X
  
  [1X1.5-1 MakeHAPprimeDoc[101X
  
  [33X[1;0Y[29X[2XMakeHAPprimeDoc[102X( [[3Xmanual-name[103X] ) [32X function[133X
  [6XReturns:[106X  [33X[0;10Ynothing[133X
  
  [33X[0;0YThe  two  manuals supplied with [5XHAPprime[105X - this user guide and the datatypes
  reference manual - are written using the [5XGAPDoc[105X package and are available in
  PDF,  HTML  and  text  format.  It  should not be necessary to rebuild these
  files, but should you wish to do so then this can be done using the function
  [2XMakeHAPprimeDoc[102X.[133X
  
  [33X[0;0YThe  optional  argument  [3Xmanual-name[103X is a string specifying which manuals to
  build. It may be one of the following[133X
  
  [30X    [33X[0;6Y[10X"all"[110X builds both manuals. This is the default[133X
  
  [30X    [33X[0;6Y[10X"userguide"[110X builds just the user guide[133X
  
  [30X    [33X[0;6Y[10X"datatypes"[110X builds just the datatypes reference manual[133X
  
  [30X    [33X[0;6Y[10X"internal"[110X  builds  both manuals, including the otherwise undocumented
        internal functions[133X
  
  [30X    [33X[0;6Y[10X"testexamples"[110X  builds  neither  manual, but tests all of the examples
        using [2XTestManualExamples[102X ([14XGAPDoc: TestManualExamples[114X)[133X
  
  [33X[0;0YAs  well  as building the manuals, this function at the same time builds [5XGAP[105X
  test  files  [14X'Reference:  Test  Files'[114X  which means that all of the testable
  examples in the manuals are added to the [5XHAPprime[105X test routines described in
  Section [14X1.4[114X.[133X
  
  
  [1X1.6 [33X[0;0YDisplaying progress and calculation information[133X[101X
  
  [33X[0;0YBy  default,  the  functions  in  [5XHAPprime[105X  display  no  output  (except for
  returning the result). The [10XInfoHAPprime[110X info class can be used to enable the
  printing  of  progress  and calculation information during processing. Since
  some  computations  with  [5XHAPprime[105X can take several hours, setting this to a
  higher  level  can  be  particularly  useful  for monitoring the progress of
  computations.[133X
  
  [1X1.6-1 InfoHAPprime[101X
  
  [33X[1;0Y[29X[2XInfoHAPprime[102X[32X info class[133X
  
  [33X[0;0YThe  [10XInfoHAPprime[110X  info  class  is used throughout the [5XHAPprime[105X package. Use
  [10XSetInfoLevel(InfoHAPprime,  [110X[3Xlevel[103X[10X)[110X  to  change  the  amount  of  information
  displayed   about   the   progress  of  the  computation  (see  [2XSetInfoLevel[102X
  ([14XReference:  InfoLevel[114X) in the [5XGAP[105X reference manual). The different distinct
  levels are:[133X
  
  [30X    [33X[0;6Y[10X0[110X print nothing (this is the default)[133X
  
  [30X    [33X[0;6Y[10X1[110X   print   some   information,  mainly  progress  information  during
        computations that may take some time[133X
  
  [30X    [33X[0;6Y[10X2[110X  print  more  detailed  information,  incluing  details  of internal
        calculations[133X
  
