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> gen:=Set([f1,f2,f3,f4,r1,r2,r3,r4]);
[ (25,26,27,28,29,30,31,32), (17,18,19,20,21,22,23,24), 
  ( 9,10,11,12,13,14,15,16), ( 4,31)( 5,30)( 6,29)( 7,28)(12,23)(13,22)(14,21)
    (15,20), ( 3,30)( 4,29)( 5,28)( 6,27)(11,22)(12,21)(13,20)(14,19), 
  ( 2,29)( 3,28)( 4,27)( 5,26)(10,21)(11,22)(12,23)(13,24), (1,2,3,4,5,6,7,8),
  ( 1,28)( 2,27)( 3,26)( 4,25)( 9,20)(10,19)(11,18)(12,17) ]
gap> G:=MinGenSet(gen);
Group( (25,26,27,28,29,30,31,32), (17,18,19,20,21,22,23,24), ( 9,10,11,12,13,
 14,15,16), ( 4,31)( 5,30)( 6,29)( 7,28)(12,23)(13,22)(14,21)(15,20), ( 3,30)
( 4,29)( 5,28)( 6,27)(11,22)(12,21)(13,20)(14,19), ( 2,29)( 3,28)( 4,27)
( 5,26)(10,21)(11,22)(12,23)(13,24), (1,2,3,4,5,6,7,8) )
gap> 2_cycle:=(1,2);
(1,2)
gap> 2cycle_a:=factorPermGroupElement(G,2_cycle);
Error, Variable: 'factorPermGroupElement' must have a value
gap> cycle2a:=FactorPermGroupElement(G,2_cycle);
g1^2*g5*g7*g5^-1*g1*g5*g7^-1*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1^-\
1*g5*g7*g5^-1*g1^3*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1^-3*g5\
*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-\
3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7*g5^-1*g1^3*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1\
*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*\
g1^2*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1^-3*g5*g7*g5^-1*g1^2\
*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*\
g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g\
7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7*g5^-1*g1^3*g5*g7^-1*\
g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-\
1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1\
^-3*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g\
5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5\
*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^-2*g5*g7*\
g5^-1*g1^3*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5\
^-1*g1^-1*g5*g7*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^\
-1*g5*g7^-1*g5^-1*g1^-3*g5*g7*g5^-1*g1^2*g5*g7^-1*g5^-1*g1^-2*g5*g7^-1*g5^-1*g\
1*g5*g7^3*g5^-1*g1*g5*g7^-3*g5^-1*g1^-1*g5*g7*g5^-1*g1^2*g5*g7*g5^-1*g1*g5*g7^\
-1*g5^-1*g1^-1*g5*g7*g5^-1*g1^-3*g5*g7^-1*g5^-1*g1*g5*g7*g5^-1*g1^2*g5*g7^-1*g\
5^-1*g1*g5*g7*g5^-1*g1^-1*g5*g7^-1*g5^-1*g1^-2
gap> cycle2b:=Shrink(G,cycle2_a);
Error, Variable: 'cycle2_a' must have a value
gap> cycle2b:=Shrink(G,cycle2a);
g1^-2*g5^-1*g1*g4^-1*g1*g4^-1*g1^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-3*g5^-1*g1^-1*g\
5^-1*g7*g5^-1*g1^2*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7*g5^-1*\
g1^-1*g5^-1*g7^-1*g5^-1*g1^-4*g5^-1*g7*g5^-1*g1*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^\
-2*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7^4*g5^-1*g1\
*g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^2*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^3*g\
5^-1*g1*g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1
gap> cycle2c:=Shrink(G,cycle2b);
g1^-2*g5^-1*g1*g4^-1*g1*g4^-1*g1^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-3*g5^-1*g1^-1*g\
5^-1*g7*g5^-1*g1^2*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7*g5^-1*\
g1^-1*g5^-1*g7^-1*g5^-1*g1^-4*g5^-1*g7*g5^-1*g1*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^\
-2*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1*g1^2*g5^-1*g7^4*g5^-1*g1\
*g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7*g5^-1*g1^2*g5^-1*g7^-1*g5^-1*g1*g5^-1*g7^3*g\
5^-1*g1*g5^-1*g7^-3*g5^-1*g1^-1*g5^-1*g7^2*g5^-1*g1^-1*g5^-1*g7^-1*g5^-1
gap> FactorPermGroupElement(G,f2);
g6
gap> FactorPermGroupElement(G,f3);
g5
gap> FactorPermGroupElement(G,f4);
g4
gap> FactorPermGroupElement(G,r1);
g7
gap> FactorPermGroupElement(G,r2);
g3
gap> FactorPermGroupElement(G,r3);
g2
gap> FactorPermGroupElement(G,r4);
g1
gap> quit;


r4^-2,f3^-1,r4,f4^-1,r4,f4^-1,r4^-1,
r1^2,f3^-1,r4^-1,f3^-1,r1^-3,f3^-1,r4^-1,
f3^-1,r1,f3^-1,r4^2,f3^-1,r1,f3^-1,r4^-1,
f3^-1,r1^-1,f3^-1,r4^2,f3^-1,r1,f3^-1,
r4^-1,f3^-1,r1^-1,f3^-1,r4^-4,f3^-1,
r1,f3^-1,r4,f3^-1,r1^-1,f3^-1,r4,f3^-1,
r1^-2,f3^-1,r4^-1,f3^-1,r1,f3^-1,r4^-1,
f3^-1,r1^-1,f3^-1,r4^2,f3^-1,r1^4,f3^-1,
r4,f3^-1,r1^-3,f3^-1,r4^-1,f3^-1,r1,
f3^-1,r4^2,f3^-1,r1^-1,f3^-1,r4,f3^-1,
r1^3,f3^-1,r4,f3^-1,r1^-3,f3^-1,r4^-1,
f3^-1,r1^2,f3^-1,r4^-1,f3^-1,r1^-1,f3^-1