gap> Read("c:/gap/games/circle3.g");
The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> g;
( 1,12,21,22,19,26,13)( 6,16,17,14,30,18, 7)
gap> G;
Group( ( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12), ( 1,13,14,15,16,17, 7,18,19,20,
 21,22), ( 4,23,24,15,25,26,10,27,28,20,29,30) )
gap> g in G;
true
gap> w1:=FactorPermGroupElement(G,g);
g2^-1*g1*g2^-1*g1^-1*g2^2*g1^-1*g3^-2*g1*g2^-1*g1^-1*g3^2*g1*g2*g1*g2^-1*g1^-1\
*g2^-1*g1*g2^2*g1^-1*g2^-3*g1*g2*g1^-1*g2^2*g1*g2^-2*g1^-1*g2^3*g1*g2^-1*g1^-1\
*g2^-1*g1*g2*g1^-1*g2^-1*g1^-1*g3^-2*g1*g2*g1^-1*g3^2*g1*g2^-2*g1*g2^3*g1^-1*g\
2^-3*g1*g2*g1^-1*g2^2*g1*g2^-2*g1^-1*g2^3*g1*g2^-1*g1^-1*g2^-2*g1*g2^-1*g1^-1*\
g2^2*g1^-1*g3^-2*g1*g2^-1*g1^-1*g3^2*g1*g2*g1*g2^-1*g1^-1*g2^-1*g1*g2^2*g1^-1*\
g2^-3*g1*g2*g1^-1*g2^2*g1*g2^-2*g1^-1*g2^3*g1*g2^-1*g1^-1*g2^-2*g1*g2^-1*g1^-1\
*g2^2*g1^-1*g3^-2*g1*g2^-1*g1^-1*g3^2*g1*g2*g1*g2^-1*g1^-1*g2*g1*g2^-2*g1^-1*g\
2^3*g1*g2^-1*g1^-1*g2*g1*g2^-2*g1^-1
gap> w2:=Shrink(G,w1);
g3^-1*g1*g3^-1*g2^-1*g1*g2^-1*g1^-1*g2^3*g1*g2^-2*g1^-2*g2^2*g3^-1*g2^2*g1*g2^\
-1*g1^-1*g2^-1*g3*g2^-2*g1*g2^-1*g3*g1^-1*g2^-1*g1*g2^-1*g1^-1*g2^2*g3*g2^-1*g\
1*g2*g1^-1
gap> w3:=Shrink(G,w2);
g3^-1*g1*g3^-1*g2^-1*g1*g2^-1*g1^-1*g2^3*g1*g2^-2*g1^-2*g2^2*g1*g2*g1^-1*g2^-3\
*g1*g2^2*g1^-1*g2*g1*g2^-1*g1^-1*g2^-3*g1*g3*g1^-1*g3
gap> w4:=Shrink(G,w3);
g3^-1*g1*g3^-1*g2^-1*g1*g2^-1*g1^-1*g2^3*g1*g2^-2*g1^-2*g2^2*g1*g2*g1^-1*g2^-3\
*g1*g2^2*g1^-1*g2*g1*g2^-1*g1^-1*g2^-3*g1*g3*g1^-1*g3
gap> FactorPermGroupElement(G,r1);
g1
gap> FactorPermGroupElement(G,r2);
g2
gap> FactorPermGroupElement(G,r3);
g3
gap> r1;
( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12)
gap> r2;
( 1,13,14,15,16,17, 7,18,19,20,21,22)
gap> r3;
( 4,23,24,15,25,26,10,27,28,20,29,30)
gap> quit;


w:=[r3inv,r1,r3inv,r2inv,r1,r2inv,r1inv,
r2,r2,r2,r1,r2inv,r2inv,r1inv,r1inv,r2,r2,
r1,r2,r1inv,r2inv,r2inv,r2inv,r1,r2,r2,
r1inv,r2,r1,r2inv,
r1inv,r2^-3,r1,r3,r1inv,r3];