PrintSISYPHOSWord( P, a )
For a polycyclically presented group P and an element a of P,
PrintSISYPHOSWord( P ,a ) prints a string that encodes a in the
input format of the SISYPHOS system.
The string "1" means the identity element, the other elements are
products of powers of generators, the i-th generator is given the
name gi.
gap> g := SolvableGroup ( "D8" );;
gap> PrintSISYPHOSWord ( g, g.2*g.1 ); Print( "\n" );
g1*g2*g3
GAP 3.4.4