[GAP Forum] Ac ceptance of the HAP package

Derek Holt dfh at maths.warwick.ac.uk
Mon May 8 15:31:25 BST 2006


Dear GAP Forum,

I announce, with great pleasure, that the HAP package, by Graham Ellis,
has been accepted as a refereed GAP package and is available for download 
from the GAP Web site, or from the authors Web page at

http://hamilton.nuigalway.ie/Hap/www/

The following description and example  of the functionality of the package is
taken form that site.

HAP is a homological algebra library for use with the GAP computer algebra
system, and is still under development. Its initial focus is on computations
related to the cohomology of groups. Both finite and infinite groups are
handled, with main emphasis on integer coefficients.

HAP can be used to make basic calculations in the cohomology of finite and
infinite groups. For example, to calculate the integral homology Hn(D201,Z)
of the dihedral group of order 402 in dimension n=99 we could perform the
following commands.

gap> F:=FreeGroup(2);; x:=F.1;; y:=F.2;;

gap> G:=F/[x^2,y^201,(x*y)^2];; G:=Image(IsomorphismPermGroup(G));;

gap> GroupHomology(G,99);
[ 2, 3, 67 ]

gap> time;
11918


Derek Holt.



More information about the Forum mailing list