"Source: Text/Group/GrpFP.text";
"Line: 8825";
"Date: Mon May 17 16:13:13 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpFP.text, line: 8825
// Example: H78E68 ()
print "Example: H78E68";
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);
