gap> r:=(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20);
( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19,20)
gap> f:=(1,4)(2,3);
(1,4)(2,3)
gap> G:=Group(r,f);;
gap> h1:=(1,2);
(1,2)
gap> 
gap> Read("c:/gap/abstab.g");
The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> 
gap> h2:=FactorPermGroupElement(G,h1);;
gap> FactorPermGroupElement(G,r);
g1
gap> FactorPermGroupElement(G,f);
g2^-1
gap> FactorPermGroupElement(G,r);
g1
gap> h3:=Shrink(G,h2);
g1*g2^-2*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^3*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g\
1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1\
*g1^-3*g2^-1*g1^-3*g2^-1*g1^-3*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1^-1*g2^-1*g1^2*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3*g2^-1*g1^3\
*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^2*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-\
1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-\
1*g1*g2^-1*g1^2*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1*g1^-2*g2^-1\
*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1\
*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1^2*g2^-1*g1^-1*g2^-1*g1^-4*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1*g2^-1*\
g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1^4*g2^-1*g1^-2
gap> h4:=Shrink(G,h3);
g1*g2^-2*g1^-2*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1
gap> h5:=Shrink(G,h4);
g1*g2^-2*g1^-2*g2^-2*g1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-2*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*\
g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1^-1*\
g2^-1*g1^-1*g2^-1*g1^-1*g2^-1*g1*g2^-1*g1*g2^-1*g1^-1*g2^-1*g1^-1*g2^-1
gap> quit;


###############
#
#   h1=(1,2)=g1^3*(g1^-2*g2^-2)^2*(g1*g2^-1)^3*
#   (g1^-1*g2^-1)^(18)*(g1*g2^-1)^2*(g1^-1*g2^-1)^2
#     =r^-1*(r*f)^3*(r^-1*f)^(18)*(r*f)^2*(r^-1*f)^2
#
################3