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. _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
