Download Instructions
On a Linux machine with GAP installed, the HAP library can be loaded as
follows:
- First download the file hap1.8.tar.gz to the subdirectory "pkg/" of GAP. (If you don't have access to this, then create a directory "pkg" in your home directory and download the file there.)
- Change to directory "pkg/" and type "gunzip hap1.8.tar.gz" followed by "tar -xvf hap1.8.tar" .
- Start GAP. (If you have created "pkg" in your home directory then start GAP with the command "gap -l 'path/homedir;' " where path/homedir is the path to your home directory.)
- In GAP type " LoadPackage("HAP"); "
- Help on HAP can be found on the HAP home page (a version of which is included in directory "pkg/Hap1.8/www" of the distribution).
- A few of HAP's (optional) functions rely on Polymake
software
(available from www.math.tu-berlin.de/polymake/) which should be
installed so that it
starts using the command "polymake" at the Linux prompt. A few
(optional) functions rely on Graphviz software (available from
http://www.graphviz.org/).
- Performance can be improved by using a compiled
version of the HAP library. The following steps will produce a compiled
version.
(1) Change to the directory "pkg/Hap1.8/" .
(2) Edit the file "compile" so that: PKGDIR is equal to the path to the
directory "pkg" where your GAP packages are stored; GACDIR is equal to the
path to the directory where the GAP compiler "gac" is stored.
(3) Type "./compile" .
The next time HAP is loaded a compiled version will be loaded.
- Should you want to return to an uncompiled version, change
to the directory
"pkg/Hap1.8/" and type "./uncompile".
Changes Log
Version 1.4
was released on
03/05/2006.
Version 1.5
was released on
12/06/2006. GAP types were introduced for resolutions, chain complexes
etc. and methods for PrintObj and ViewObj were introduced. The
functions Homology and Cohomology where changed to GAP operations. A
Linux shell script "compile" for creating a GAC compiled version of the
HAP functions was added. The performance of the functions
NonabelianTensorSquare() and ResolutionPrimePowerGroup() was improved.
Functions ResolutionSubnormalSeries(),
ResolutionAlmostCrystalGroup() and ResolutionAlmostCrystalQuotient()
were added.
Version 1.6
was released on
15/08/2006. The functions
Honology(), Cohomology() and PrimePartDerivedFunctor() have been
speeded up. Graphviz is now used to visualize Coxeter
diagrams, Graphs of groups and Cayley graphs. The functions
ResolutionGraphOfGroups(), ChevalleyEilenbergComplex(),
LieAlgebraHomology, LowerCentralSeriesLieAlgebra(),
ModPCohomologyRing(), ModPRingGenerators have been included.
Version 1.7
was released on 01/09/2006.
The functions Epicentre() and
IsGraphOfGroups() were renamed EpiCentre() and GraphofGroupsTest() due
to
name clashes arising from recent modifications to GAP. A minor
modification was made to the functions NonabelianTensorSquare() and
ThirdHomotopyGroupOfSuspensionB() so that they run on nilpotent
infinite groups when the NQ package is loaded.
Version 1.7.1 was released on 27/11/2006. The function HomologyPB() was
added. This relies on the Simplicial Homology GAP package. It uses
probabilistic methods to compute homology.
Version 1.7.3
was released on
7/03/2007. The efficiency of the code
for the function ResolutionPrimePowerGroup() was improved. Also, a bug
in the function ThirdHomotopyGroupSuspensionB() was fixed.
Version 1.7.4
was released on
10/04/2007. A bug was fixed in the function NonabelianTensorProduct().
The bug caused incorrect answers. Also, the function PoincareSeries()
was added.
Version 1.8
was released on 16/08/2007. A bug in the function ModPCohomologyRing()
was fixed. The efficiency of the function Prank() was improved. The
efficiency of the function ModPRingGenerators was improved. A
contracting homotopy was added to the output of the function
ResolutionPrimePowerGroup(). Quite a few
additions were made to the list of functions for FpG-modules. The
function RandomHomomorphismOfFpGModules() still gives an incorrect
output! The
function GroupCohomology() was added. The output of
GroupHomology(G,n,p) was changed from an integer to a list (in keeping
with the output from GroupHomology(G,n) ). The manual/web pages were
revamped.
Version 1.8.4
includes some functions for parallel computations, and some functions
for Topological Data Analysis.