Quelle  1.8.2.tst   Sprache: unbekannt

#E
gap> START_TEST("HAP library");
gap> A:=[[0,-1,0,0,],[1,0,0,0,],[0,0,0,1],[0,0,-1,0]];;
gap> B:=[[0,0,-1,0],[0,0,0,-1],[1,0,0,0],[0,1,0,0]];;
gap> Q:=Group([A,B]);;
gap> Y:=EquivariantOrbitPolytope(Q,[1,0,0,0]);
Equivariant CW-complex of dimension 4

gap> for k in [0..2] do
> for n in [1..Y!.dimension(k)] do
> Print(Order(Y!.stabilizer(k,n)),"\n");
> od;od;
1
1
1
1
1
1
1
1
gap> F:=FundamentalGroupOfQuotient(Y);
<fp group on the generators [ x, y, z ]>
gap> RelatorsOfFpGroup(F);
[ x*z^-1*y^-1, x*y*z^-1, x*y^-1*z, x*z*y ]
gap> STOP_TEST( "tst.tst", 1000 );