"Source: Text/Group/GrpFP.text";
"Line: 4413";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpFP.text, line: 4413
// Example: H80E33 ()
print "Example: H80E33";
ei := GetEchoInput();
SetEchoInput(true);
F<s, t, u, v, w, x, y, z> := FreeGroup(8);
G<a, b, c, d, e, f, g, h> := quo<F | s^2, t^2, u^2, v^2, w^2, x^2, y^2, z^2,
(s*t)^3, (s*u)^2, (s*v)^2, (s*w)^4, (s*x)^2, (s*y)^2, (s*z)^3,
(t*u)^5, (t*v)^2, (t*w)^2, (t*x)^2, (t*y)^4, (t*z)^4,
(u*v)^3, (u*w)^3, (u*x)^4, (u*y)^2, (u*z)^2,
(v*w)^2, (v*x)^3, (v*y)^2, (v*z)^2,
(w*x)^6, (w*y)^2, (w*z)^2,
(x*y)^4, (x*z)^6,
(y*z)^2,
s*(u*x)^2 = (s*v*x*z)^3 = t*(w*x)^3 = (t*s*w*x*y)^3 = 1,
(u*w*x)^7 = v*(t*z)^2 = v*(s*w*z)^3 = w*(t*y)^2 = 1>;
H := sub< G | a, b, c, d, e, f, g, (a*d*e*f*c*e*f*g*h)^39 >;
V := CosetSpace(G, H: FillFactor := 100000);
Co1 := CosetImage(V);
Degree(Co1);
SetEchoInput(ei);
