"Source: Text/Group/GrpFP.text";
"Line: 9395";
"Date: Mon May 17 16:13:13 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpFP.text, line: 9395
// Example: H78E74 ()
print "Example: H78E74";
ei := GetEchoInput();
SetEchoInput(true);
G<x, y> := FPGroup< x, y | 
    x^3, y^8, (x,y^4), x^-1*y*x^-1*y^-1*x*y*x*y^-1,
    (x*y^-2)^2*(x^-1*y^-2)^2*(x*y^2)^2*(x^-1*y^2)^2, 
    (x^-1*y^-2)^6*(x^-1*y^2)^6 >; 
time Q := SolubleQuotient(G); 
Order(Q); 
assert $1 eq 165888;
time Q := SolubleQuotient(G, {2, 3});
Order(G);
assert $1 eq 165888;
cls := ConjugacyClasses(Q);
&+ [ cl[2] : cl in cls | cl[1] eq 2 ];
assert $1 eq 511;
SetEchoInput(ei);
