[GAP Forum] fp groups

[Vahid Dabbaghian]

Dear GAP Forum,

In the following example I have computed an isomorphism from a finite group
G to a finitely presented group and I would like to get the list of powers
of generators of the elements in the finitely presented group. Does anybody
know how can I do that? For example how can I get 
[ [F2, -1], [F1, -1], [F2, 1], [F1, -1], [F2, 1], [F3, -1] ] 
corresponding to 
F2^-1*F1^-1*F2*F1^-1*F2*F3^-1.

gap> U:=[ (1,2), (1,2,3,4,5), (5,6) ];;
gap> G:=Group(U);;
gap> a:=IsomorphismFpGroupByGenerators(G,U);
[ (1,2), (1,2,3,4,5), (5,6) ] -> [ F1, F2, F3 ]
gap> z:=Random(G)^a;
F2^-1*F1^-1*F2*F1^-1*F2*F3^-1

Regards
Vahid



__________________________
The IRMACS Centre (ASB 10905)
Simon Fraser University
8888 University Drive
Burnaby, BC V5A 1S6 
Canada
E-mail: vdabbagh at sfu.ca
http://www.sfu.ca/~vdabbagh