"Source: Text/Group/GrpFP.text";
"Line: 2399";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 2399
// Example: H80E23 ()
print "Example: H80E23";
ei := GetEchoInput();
SetEchoInput(true);
G<a, b> := FPGroup< a, b | a^2, b^3, (a*b)^7, (a, b)^9>;
T := PermutationGroup< 9 | (2, 4)(3, 5)(6, 7)(8, 9),
   (1, 2, 3)(4, 6, 7)(5, 8, 9) >;
f := hom< G -> T | a -> T.1, b ->T.2 >;
H := sub< G | f >;
H;
Index(G, H);
assert $1 eq 9;
print GeneratingWords(G, H);
SetEchoInput(ei);
