The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> elementof;
true
gap> G;
Group( (1,8,7,6,5,4,3,2), ( 9,16,15,14,13,12,11,10), (17,24,23,22,21,20,19,18
 ), (25,32,31,30,29,28,27,26), ( 5,32)( 6,31)( 7,30)( 8,29)(13,24)(14,23)
(15,22)(16,21), ( 4,31)( 5,30)( 6,29)( 7,28)(12,23)(13,22)(14,21)(15,20), 
( 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) )
gap> word3;
g3*g2*g5^-1*g2*g5*g3*g5^-1*g2^-1*g5^-1*g3^-2*g5^-1*g2*g5^-1*g3*g5^-1*g2^-1*g5^\
-1*g3^4*g5^-1*g2*g5*g3*g5^-1*g2^-1*g5^-1*g3^-2*g5^-1*g2*g5^-1*g2^-1*g3^2*g2*g5\
^-1*g2^-1*g5^-1*g3^2*g5^-1*g2*g5^-1*g3^-1*g5^-1*g2^-1*g5^-1*g3^-1*g5^-1*g2*g5^\
-1*g3*g5^-1*g2^-1*g5^-1*g2*g3^-2*g5^-1*g2^-1*g5^-1*g3^-1*g5^-1*g2*g5^-1*g2^-1*\
g3*g5^-1*g2*g5^-1*g2^-1*g5^-1*g2*g5^-1*g2^-1*g3^2*g2*g5^-1*g2^-1*g5^-1*g2*g5^-\
1*g2^-1*g5^-1*g2*g3^-1*g5^-1*g2^-1*g5^-1*g3*g5^-1*g2*g5^-1*g2^-1*g3^2*g2^-1
gap> word2;
g3*g2*g5^-1*g2*g5*g3*g5^-1*g2^-1*g5^-1*g3^-2*g5^-1*g2*g5^-1*g3*g5^-1*g2^-1*g5^\
-1*g3^3*g5^-1*g2*g5^-1*g3^-1*g5^-1*g2^-1*g5^-1*g3^2*g5^-1*g2*g5^-1*g3^-2*g5^-1\
*g2^-1*g5^-1*g3*g5^-1*g2*g5^-1*g3*g5^-1*g2^-1*g5^-1*g3^-2*g5^-1*g2*g5^-1*g3*g5\
^-1*g2^-1*g5^-1*g2*g3^-4*g5^-1*g2^-1*g5^-1*g3^-1*g5^-1*g2*g5^-1*g2^-1*g3*g5^-1\
*g2*g5^-1*g2^-1*g5^-1*g2*g5^-1*g2^-1*g3^2*g2*g5^-1*g2^-1*g5^-1*g2*g5^-1*g2^-1*\
g5^-1*g2*g3^-1*g5^-1*g2^-1*g5^-1*g3*g5^-1*g2*g5^-1*g2^-1*g3^2*g2^-1*g5^-1*g2*g\
5^-1*g3^-1*g5^-1*g2^-1*g5^-1*g3^2*g5^-1*g2*g5^-1*g3^-3*g5^-1*g2^-1*g5^-1*g3^2*\
g5^-1*g2*g5^-1*g3*g5^-1*g2^-1*g5^-1*g3^-4
gap> FactorPermGroupElement(G,r1);
g1
gap> FactorPermGroupElement(G,r2);
g2
gap> FactorPermGroupElement(G,r3);
g3
gap> FactorPermGroupElement(G,r4);
g4
gap> FactorPermGroupElement(G,f1);
g5
gap> FactorPermGroupElement(G,f2);
g6
gap> FactorPermGroupElement(G,f3);
g8
gap> FactorPermGroupElement(G,f4);
g9
gap> map(G,word3);
( 9,17)
gap> quit;


NS_swap:=[r4,r1,f1,r1,f1,r4,f1,r1^(-1),f1,r4^(-2),
f1,r1,f1,r4,f1,r1^(-1),f1,r4^4,f1,
r1,f1,r4,f1,r1^(-1),f1,r4^(-2),f1,r1,f1,
r1^(-1),r4^2,r1,f1,r1^(-1),f1,r4^2,f1,r1,
f1,r4^(-1),f1,r1^(-1),f1,r4^(-1),f1,r1,f1,
r4,f1,r1^(-1),f1,r1,r4^(-2),f1,r1^(-1),f1,
r4^(-1),f1,r1,f1,r1^(-1),r4,f1,r1,f1,
r1^(-1),f1,r1,f1,r1^(-1),r4^2,r1,f1,
r1^(-1),f1,r1,f1,r1^(-1),f1,r1,r4^(-1),
f1,r1^(-1),f1,r4,f1,r1,f1,r1^(-1),r4^2,r1^(-1)];