"Source: Text/Group/GrpFP.text";
"Line: 8805";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 8805
// Example: H80E68 ()
print "Example: H80E68";
ei := GetEchoInput();
SetEchoInput(true);
G := FPGroup<a, b, c, d | (b * c^-1 * d)^7, (c * d^-1)^7, (b,a) = c^-1,
                          (c,a) = 1, (c,b) = d^-1>;
q := pQuotientProcess(G, 7, 6);
StartNewClass(~q);
Tails(~q);
GeneratorStructure(q, 15, 34);
Jacobi(~q, 6, 6, 1);
Jacobi(~q, 3, 2, 1);
v := Collect(q,  [<29, 2>, <26, -3>]);
v;
EcheloniseWord(~q, ~redgen);
Display(q, 1);
CollectRelations(~q);
Consistency(~q);
Display(q, 1);
EliminateRedundancy(~q);
Display(q, 1);
SetEchoInput(ei);
