gap> Read("/home/math6/wdj/gap/games/grpdata.g");
gap> Read("/home/math6/wdj/gap/games/grpdata.g");
gap> Read("/home/math6/wdj/gap/new/AbStab.g");
The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> G:=Group(f1,f2,f3,f4,r1,r2,r3,r4);
Group( ( 1,28)( 2,27)( 3,26)( 4,25)( 9,20)(10,19)(11,18)(12,17), ( 2,29)
( 3,28)( 4,27)( 5,26)(10,21)(11,22)(12,23)(13,24), ( 3,30)( 4,29)( 5,28)
( 6,27)(11,22)(12,21)(13,20)(14,19), ( 4,31)( 5,30)( 6,29)( 7,28)(12,23)
(13,22)(14,21)(15,20), (1,2,3,4,5,6,7,8), ( 9,10,11,12,13,14,15,16), 
(17,18,19,20,21,22,23,24), (25,26,27,28,29,30,31,32) )
gap> 2_cycle:=(1,2);
(1,2)
gap> 2_cycle in G;
true
gap> cycle2a:=FactorPermGroupElement(G,2_cycle);
g1*g3*g5^-1*g3^-1*g1^-1*g8^-2*g1*g3*g5*g3^-1*g1^-1*g8^-1*g1*g3*g5^-1*g3^-1*g1^\
-1*g8^-1*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5^2*g3^-1*g1^-1*g8^-1*g1*g3*g5^-\
1*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8^-3*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g\
3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5^2*g3^-1*g1^-1*g8^-3*g1*g3*g5^-1*g3^-1*g1^-1\
*g8^-1*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5*g3^-1*g1^-1*g8^-1*g1*g3*g5*g3^-1\
*g1^-1*g8*g1*g3*g5^-2*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1\
^-1*g8*g1*g3*g5^-1*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g3*g5^-2*g3^-1*g1\
^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g3*g5^-1*g3^-1*g1^-1\
*g8^2*g1*g3*g5*g3^-1*g1^-1*g8^-3*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5^-1*g3^\
-1*g1^-1*g8^-1*g1*g3*g5^2*g3^-1*g1^-1*g8^-3*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g\
3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5*g3^-1*g1^-1*g8^-1*g1*g3*g5*g3^-1*g1^-1*g8*g\
1*g3*g5^-2*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g\
3*g5^-1*g3^-1*g1^-1*g8^2*g1*g3*g5^-1*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1\
*g3*g5*g3^-1*g1^-1*g8^3*g1*g3*g5^-2*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*\
g3*g5*g3^-1*g1^-1*g8^3*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5*g3^-1*g1^-1*g8*g\
1*g3*g5^-2*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g3*g5*g3^-1*g1^-1*g8*g1*g\
3*g5^-1*g3^-1*g1^-1*g8^2*g1*g3*g5*g3^-1*g1^-1*g8^-2*g1*g3*g5^-1*g3^-1*g1^-1*g8\
*g1*g3*g5*g3^-1*g1^-1*g8^-2*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5^-1*g3^-1*g1\
^-1*g8^-1*g1*g3*g5^2*g3^-1*g1^-1*g8^-3*g1*g3*g5^-1*g3^-1*g1^-1*g8^-1*g1*g3*g5^\
-1*g3^-1*g1^-1*g8^-1*g1*g3*g5^2*g3^-1*g1^-1*g8^-1*g1*g3*g5^-1*g3^-1*g1^-1*g8^-\
1*g1*g3*g5*g3^-1*g1^-1*g8^2
gap> cycle2a=2_cycle;
false
gap> cycle2b:=Shrink(G,cycle2a);
g8^2*g5^-1*g8^-2*g1^-1*g3*g5^-1*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g\
1^-1*g3^-1*g5^-2*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g\
3^-1*g1^-1*g8^3*g1^-1*g3^-1*g5^-2*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8\
*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^2*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8^-1*g1^-1*g3^\
-1*g5*g3^-1*g1^-1*g8^2*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8^-2*g1^-1*g3^-1*g5^2*g3\
^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^3*g3^-1*g1^-1*g8^-1*\
g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^-3*g1^-1*g3^-1*\
g5^-1*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5^2*g\
3^-1*g1^-1*g8^-3*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5^-1*g3^-1*g\
1^-1*g8^-1*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-\
1*g3^-1*g5^-2*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-\
1*g1^-1*g8*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8^2*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^-2\
*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1\
*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-1*g3^-1*g5*g3^-1*g5^-1*g3^-1*g5^-1*g3^-1*g5\
^-1*g3^-1*g1^-1*g5*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g5^-1*g1^-1*g8^-1*g1^-1\
*g8*g1^-1*g5*g8^-1*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5*g3^-1*g1\
^-1
gap> cycle2c:=Shrink(G,cycle2b);
g8^2*g5^-1*g8^-2*g1^-1*g3*g5^-1*g3^-1*g1^-1*g4^-1*g8^-2*g1^-1*g3*g5^-1*g3^-1*g\
1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-2*g3^-1*g1^-1*g8*g1^-1*g\
3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^3*g1^-1*g3^-1*g5^-2*g3^-1\
*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^3*g1^-1*\
g3^-1*g5^-1*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-2*\
g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^\
-1*g3^-1*g5^-1*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-1*\
g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^2*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g\
8*g1^-1*g3^-1*g5^-2*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5^3*g3^-1*g5*g3^-1*g5*g3^-1\
*g1^-1*g4^-1*g5
gap> cycle2d:=Shrink(G,cycle2c);
g8^2*g5^-1*g8^-2*g1^-1*g3*g5^-1*g3^-1*g1^-1*g4^-1*g8^-2*g1^-1*g3*g5^-1*g3^-1*g\
1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-2*g3^-1*g1^-1*g8*g1^-1*g\
3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^3*g1^-1*g3^-1*g5^-2*g3^-1\
*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8^3*g1^-1*\
g3^-1*g5^-1*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-2*\
g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^\
-1*g3^-1*g5^-1*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-1*\
g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^2*g3^-1*g1^-1*g8*g1^-1*g3^-1*g5^-1*g3^-1*g1^-1*g\
8*g1^-1*g3^-1*g5^-2*g3^-1*g1^-1*g8^-1*g1^-1*g3^-1*g5^3*g3^-1*g5*g3^-1*g5*g3^-1\
*g1^-1*g4^-1*g5
gap> map( G, cycle2a );
( 1, 2)
gap> map(G,2_cycle);
Error, usage: MappedWord( <word>, <old>, <new> ) at
return MappedWord( a, G.abstractGenerators, G.generators ) ... in
map( G, 2_cycle ) called from
main loop
brk> quit;
gap> FactorPermGroupElement(G,f1);
g1
gap> FactorPermGroupElement(G,f2);
g2
gap> FactorPermGroupElement(G,f3);
g3
gap> FactorPermGroupElement(G,r1);
g5
gap> FactorPermGroupElement(G,r2);
g6
gap> FactorPermGroupElement(G,r3);
g7
gap> FactorPermGroupElement(G,r4);
g8
gap> FactorPermGroupElement(G,f4);
g4
gap> quit;