"Source: Text/Group/GrpFree.text";
"Line: 568";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFree.text, line: 568
// Example: H78E4 ()
print "Example: H78E4";
ei := GetEchoInput();
SetEchoInput(true);
F<x, y, z> := FreeGroup(3);
u := (x, y*z);
w := u^(x^2*y);
#w;
assert $1 eq 12;
w;
Eliminate(w, x, y*z^-1);
[ ExponentSum(w, F.i) : i in [1..Ngens(F)] ];
GeneratorNumber(w);
assert $1 eq -2;
b, p := Match(w, u, 1);
b, p;
t := Substitute(w, p, #u, y*x);
t;
rots := { RotateWord(u, i) : i in [1 ..#u] };
rots;
SetEchoInput(ei);
