gap> Read("c:/gap/games/circle5.g");
The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> g;
( 6,16,13,26,23,19,15,12,21,18,30,27,14,20)(17,22)(24,29,28,25)
gap> g in G;
true
gap> w1:=FactorPermGroupElement(G,g);
g1^-1*g3^-1*g1^2*g2^-1*g1^-2*g3^-1*g1^2*g2*g1^-2*g3^3*g1^2*g2^-1*g1^-2*g3*g1^2\
*g2*g1^-2*g3^-1*g1^2*g2^-1*g1^-2*g3^-2*g1^2*g2*g1^-2*g3^2*g1^2*g2^-1*g1^-2*g3*\
g1^2*g2*g1^-2*g3^-2*g1^2*g2^-1*g1^-2*g3*g1^2*g2^-1*g1^-2*g3^-1*g1^2*g2^3*g1^-2\
*g3*g1^2*g2*g1^-2*g3^-1*g1^2*g2*g1^-2*g3*g1^2*g2*g1^-2*g3^-1*g1^2*g2^-4*g1^-2*\
g3*g1^2*g2*g1^-2*g3^-1*g1^2*g2^-2*g1^-2*g3*g1^2*g2*g1^-2*g3^-1*g1^2*g2*g1^-2*g\
3^-1*g1^2*g2^-1*g1^-2*g3^3*g1^2*g2*g1^-2*g3^-1*g1^2*g2^-1*g1^-2*g3^-2*g1^2*g2*\
g1^-2*g3*g1^2*g2^-1*g1^-2*g3*g1^2*g2^-1*g1^-2*g3^-1*g1^2*g2^2*g1^-2*g3*g1^2*g2\
^-1*g1^-2*g3^-1*g1^2*g2^4*g1^-2*g3*g1^2*g2^-1*g1^-2*g3^-1*g1^2*g2^-1*g1^-2*g3*\
g1^2*g2^-1*g1^-2*g3^-1*g1^2*g2^-1*g1^-2*g3^-2*g1^2*g2^-1*g1^-2*g3^3*g1^2*g2*g1\
^-2*g3^-1*g1^2*g2^-1*g1^-2*g3*g1^2*g2^2*g1^-2*g3^-1*g1^2*g2^2*g1^-2*g3*g1^2*g2\
^-1*g1^-2*g3^-1*g1^2*g2^-4*g1^-2*g3*g1^2*g2*g1^-2*g3^-3*g1^2*g2^-1*g1^-2*g3^2*\
g1^2*g2^-1*g1^-1
gap> w2:=Shrink(G,w1);
g3^-1*g2^-1*g1^-1*g3^-2*g1*g2*g1^-1*g3^3*g1^2*g2^2*g1^-2*g3^-1*g1^2*g2*g1^-2*g\
3*g1^2*g2^-1*g1^-1*g3^-1*g2^-3*g3*g2*g1*g2*g1^-2*g3^-1*g1^2*g2^-6*g1^-1*g3^-6*\
g2^2*g3*g2*g3^2*g1*g2^-1*g1^-1
gap> w3:=Shrink(G,w2);
g3^-1*g2^-1*g1^-1*g3^-2*g1*g2*g1^-1*g3^3*g1^2*g2^2*g1^-2*g3^-1*g1^2*g2*g1^-2*g\
3*g1^2*g2^-1*g1^-1*g3^-1*g2^-3*g3*g2*g1*g2*g1^-2*g3^-1*g1^2*g2^-6*g1^-1*g3^-6*\
g2^2*g3*g2*g3^2*g1*g2^-1*g1^-1
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> FactorPermGroupElement(G,r1);
g1
gap> FactorPermGroupElement(G,r2);
g2
gap> FactorPermGroupElement(G,r3);
g3
gap> Map(w3,G);
Error, Variable: 'Map' must have a value
gap> Map(G,w3);
Error, Variable: 'Map' must have a value
gap> MapTo(w3,G);
Error, Variable: 'MapTo' must have a value
gap> 
gap> MappedWord(w3,G);
Error, usage: MappedWord( <word>, <old>, <new> )
gap> MappingPermListList(w3,G);
Error, usage: MappingPermListList( <lst1>, <lst2> ) in
MappingPermListList( w3, G ) called from
main loop
brk> quit;
gap> 
gap> 
gap> Image(w3,G);
Error, Record: left operand must be a record at
if elm in Parent( map.source ) ... in
Image( w3, G ) called from
main loop
brk> quit;
gap> Image(G,w3);
Error, Record: element 'source' must have an assigned value at
if elm in Parent( map.source ) ... in
Image( G, w3 ) called from
main loop
brk> quit;
gap> quit;



m1:=[r3^(-1),r2^(-1),r1^(-1),r3^(-2),r1,r2,r1^(-1),
r3^3,r1^2,r2^2,r1^(-2),r3^(-1),r1^2,r2,r1^(-2),
r3,r1^2,r2^(-1),r1^(-1),r3^(-1),r2^(-3),r3,
r2,r1,r2,r1^(-2),r3^(-1),r1^2,r2^6,
r1^(-1),r3^6,r2^2,r3,r2,r3^2,
r1,r2^(-1),r1^(-1)]: