gap> 
gap> u1:=(4,1,6,7)(41,11,61,71);
( 1, 6, 7, 4)(11,61,71,41)
gap> u2:=(2,3,8,5)(21,31,81,51);
( 2, 3, 8, 5)(21,31,81,51)
gap> d1:=(1,2,7,8)(11,61,71,41);
( 1, 2, 7, 8)(11,61,71,41)
gap> d2:=(3,4,5,6)(21,31,81,51);
( 3, 4, 5, 6)(21,31,81,51)
gap> u3:=(1,2,3,4)(11,21,31,41);
( 1, 2, 3, 4)(11,21,31,41)
gap> d3:=(5,6,7,8)(51,61,71,81);
( 5, 6, 7, 8)(51,61,71,81)
gap> G:=Group(u1,u2,u3,d1,d2,d3);
Group( ( 1, 6, 7, 4)(11,61,71,41), ( 2, 3, 8, 5)(21,31,81,51), ( 1, 2, 3, 4)
(11,21,31,41), ( 1, 2, 7, 8)(11,61,71,41), ( 3, 4, 5, 6)(21,31,81,51), 
( 5, 6, 7, 8)(51,61,71,81) )
gap> 
gap> Size(G);
812851200
gap> N:=Size(G);
812851200
gap> M:=1625702400;
1625702400
gap> N/M;
1/2
gap> (4,1,6,7) in G;
false
gap> (2,3,8,5) in G;
false
gap> (1,2) in G;
false
gap> (1,2,3) in G;
true
gap> (8*7*6*5*4*3*2)^2/2;
812851200
gap> Read("d:/gap/gap3r4p3/lib/Abstab.g");
The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> h1:=(1,2,3);
(1,2,3)
gap> h2:=FactorPermGroupElement(G,h1);
g4*g6*g4*g6^-1*g4^-1*g2^-1*g6^2*g4*g6^-1*g4^-1*g2^-1*g6^2*g4*g6^-1*g4^-1*g2^-1\
*g6^2*g4*g6^-1*g4^-1*g2^-1*g6*g4^-1
gap> h3:=Shrink(G,h2);
g4*g6*g4*g6^-1*g4^-1*g2^-1*g6^2*g4*g6^-1*g4^-1*g2^-1*g6^2*g4*g6^-1*g4^-1*g2^-1\
*g6^2*g4*g6^-1*g4^-1*g2^-1*g6*g4^-1
gap> FactorPermGroupElement(G,u1);
g1
gap> FactorPermGroupElement(G,21);
Error, operations: product of character and word is not defined at
abelm := l[2] * abelm ... in
FactorPermGroupElement( G, 21 ) called from
main loop
brk> quit;
gap> FactorPermGroupElement(G,u2);
g2
gap> FactorPermGroupElement(G,u3);
g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g4*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-1*g6*g4*g6^-2*\
g2*g4^-1*g6^-1*g2*g4*g6^-1*g2*g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g2^-1*g6*g4^-1*g2^\
-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-2*g2*g4*g6^-1*g2*g4^2*g6*g4*g6^-1*g4^-1*g2^-1*g6\
*g4^-1*g6^-1*g2*g4*g6^-1*g2*g4^2*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-1*g2^-1*g6*g4^\
-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-1*g4*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-2*g2^-\
1*g6*g4^-1*g2^-1*g6*g4*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-2*g2^-1*g6*g4^-1*g2^-1*g\
6*g4*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-1*g6*g4*g6^-2*g2*g4^-1*g6^-1*g2*g4*g6^-1*g\
2*g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g2^-1*g6*g4^-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6\
^-1*g4*g6*g4*g6^-1*g4^-1*g2^-1*g6*g4^-1*g6^-1*g2*g4*g6^-1*g2*g4*g6*g4*g6^-2*g2\
*g4^-1*g6^-1*g2*g4*g6^-1*g2*g6^-1*g2*g4*g6^-1*g2*g4*g6^-1*g2*g4*g6^-1*g2*g4*g2\
^-1*g6*g4^-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-1*g4*g6*g4*g6^-1*g4^-1*g2^-1*g6*\
g4^-1*g6^-1*g2*g4*g6^-1*g2*g4*g6*g4*g6^-2*g2*g4^-1*g6^-1*g2*g4*g6^-1*g2*g4^-1*\
g2^-1*g6*g4^-1*g2^-1*g6*g2^-1*g6*g4^-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-1*g4^-\
1*g2^-1*g6*g4^-1*g2^-1*g6*g4*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-2*g2^-1*g6*g4^-1*g\
2^-1*g6*g4*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-1*g6*g4*g6^-2*g2*g4^-1*g6^-1*g2*g4*g\
6^-1*g2*g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g2^-1*g6*g\
4^-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-1*g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g4*g6^-1\
*g2*g4*g6*g4^-1*g6^-1*g4^-1*g6*g4*g6^-2*g2*g4^-1*g6^-1*g2*g4*g6^-1*g2*g6^-1*g2\
*g4*g6^-1*g2*g4*g2^-1*g6*g4^-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-1*g4*g6*g4*g6^\
-1*g4^-1*g2^-1*g6*g4^-1*g6^-1*g2*g4*g6^-1*g2*g4*g6^-1*g2*g4*g6^-1*g2*g4^2*g6*g\
4*g6^-1*g4^-1*g2^-1*g6*g4^-1*g6^-1*g2*g4*g6^-1*g2*g4^2*g6^-1*g2*g4*g6*g4^-1*g6\
^-1*g4^-1*g2^-1*g6*g4^-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-1*g4*g6^-1*g2*g4*g6*\
g4^-1*g6^-1*g4^-1*g6^-1*g2*g4*g6^-1*g2*g4^2*g6*g4*g6^-1*g4^-1*g2^-1*g6*g4^-1*g\
6^-1*g2*g4*g6^-1*g2*g4^2*g6^-1*g2*g4*g6*g4^-1*g6^-1*g4^-1*g2^-1*g6*g4^-1*g2^-1\
*g6*g4*g2^-1*g6^2*g4^-1*g6^-2*g2*g4*g6^-1*g2*g4*g6^-1*g2*g4*g6^-1*g2*g4^2*g6*g\
4*g6^-1*g4^-1*g2^-1*g6*g4^-2*g2^-1*g6*g4^-1*g2^-1*g6*g4*g2^-1*g6^2*g4^-1*g6^-1\
*g2^-1*g6^2*g4*g6^-1*g1
gap> FactorPermGroupElement(G,d1);
g4
gap> FactorPermGroupElement(G,d2);
g5
gap> FactorPermGroupElement(G,d3);
g6
gap> FactorPermGroupElement(G,g3);
Error, Variable: 'g3' must have a value
gap> quit;