ccgroup.tst

#############################################################################
##
#W  ccgroup.tst                   HAPCocyclic                 Robert F. Morse
##
##  $Id: ccgroup.tst,v 1.1 2008-07-11 22:41:31 unialg Exp $
##
gap> START_TEST("$Id: ccgroup.tst,v 1.1 2008-07-11 22:41:31 unialg Exp $");

gap> ## Test creating Cc-Groups with Standard 2-Cocycle
gap> ##
gap> H := SmallGroup(256,2);;
gap> N := NormalSubgroups(H)[16];;
gap> sco := Standard2Cocycle(H,N);;
gap> ccg := CcGroup(Module(sco),sco);;
gap> IdGroup(ccg);
[ 256, 2 ]
gap> ## Create cocycles with HAP
gap> ##
gap> OG := GOuterGroup(H,N);;
gap> A := Centre(OG);;
gap> G:=ActingGroup(A);;
gap> R:=ResolutionFiniteGroup(G,3);;
gap> C:=HomToGModule(R,A);;
gap> CH:=CohomologyModule(C,2);;
gap> Elts:=Elements(ActedGroup(CH));;
gap> Length(Elts);
256
gap> lst := List(Elts{[1..5]},x->CH!.representativeCocycle(x));;
gap> ccgrps := List(lst, x->CcGroup(OG, x));;
gap> List(ccgrps,IdGroup);
[ [ 256, 3700 ], [ 256, 3 ], [ 256, 3783 ], [ 256, 1300 ], [ 256, 1553 ] ]
gap> STOP_TEST( "ccgroup.tst", 38100000 );

#############################################################################
##
##  History
##
##  $Log: ccgroup.tst,v $
##  Revision 1.1  2008-07-11 22:41:31  unialg
##
##  Two basic checks on Ccgroup. RFM
##