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