The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> word3;
g7^-1*g8*g5^-1*g8^-2*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1^-1*g5^-1*g8^-2*g5^-1*g1*g5^\
-1*g8^2*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1^2*g5^-1*g8^-1*g5^-1*g1^-2*g5^-1*g8^-1*g5\
^-1*g1*g5^-1*g8^2*g5^-1*g1^-1*g5^-1*g8^-1*g5^-1*g1*g5^-1*g8*g5^-1*g1*g8^-1*g7^\
-1
gap> word2;
g7^-1*g8*g5^-1*g8^-2*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1*g5^-1*g8*g5^-1*g1^-1*g5^-1*\
g8^-2*g5^-1*g1*g5^-1*g8^3*g5^-1*g1^-1*g5^-1*g8^-1*g5^-1*g1*g5^-1*g8^-2*g5^-1*g\
1^-1*g5^-1*g8*g5^-1*g1*g5^-1*g8^-2*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1*g5^-1*g8*g5^-\
1*g1^-1*g5^-1*g8^-2*g5^-1*g1*g5^-1*g8^3*g5^-1*g1^-1*g5^-1*g8^-3*g5^-1*g1*g5^-1\
*g8^3*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1*g5^-1*g8^-3*g5^-1*g1^-1*g5^-1*g8^2*g5^-1*g\
1*g5^-1*g8^-1*g5^-1*g1^-1*g5^-1*g8^-1*g5^-1*g1*g5^-1*g8^2*g5^-1*g8^-1*g5^-1*g8\
^-2*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1*g5^-1*g8*g5^-1*g1^-1*g5^-1*g8^-2*g5^-1*g1*g5\
^-1*g8^2*g5^-1*g7^-1
gap> word4:=Shrink(perm_group,word3);
g7^-1*g8*g5^-1*g8^-2*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1^-1*g5^-1*g8^-2*g5^-1*g1*g5^\
-1*g8^2*g5^-1*g1^-1*g5^-1*g8*g5^-1*g1^2*g5^-1*g8^-1*g5^-1*g1^-2*g5^-1*g8^-1*g5\
^-1*g1*g5^-1*g8^2*g5^-1*g1^-1*g5^-1*g8^-1*g5^-1*g1*g5^-1*g8*g5^-1*g1*g8^-1*g7^\
-1
gap> quit;


cycle:=
[f2^(-1),r1,f4^(-1),r1^(-2),f4^(-1),r4^(-1),f4^(-1),
r1,f4^(-1),r4^(-1),f4^(-1),r1^(-2),f4^(-1),r4,f4^(-1),
r1^2,f4^(-1),r4^(-1),f4^(-1),r1,f4^(-1),r4^2,f4^(-1),
r1^(-1),f4^(-1),r4^(-2),f4^(-1),r1^(-1),f4^(-1),r4,f4^(-1),
r1^2,f4^(-1),r4^(-1),f4^(-1),r1^(-1),f4^(-1),r4,
f4^(-1),r1,f4^(-1),r4,r1^(-1),f2^(-1)];