"Source: Text/Group/MonRWS.text";
"Line: 608";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/MonRWS.text, line: 608
// Example: H87E8 ()
print "Example: H87E8";
ei := GetEchoInput();
SetEchoInput(true);
FM<a,b,c,d,e,f,g,h> := FreeMonoid(8);
Q := quo< FM | a^2=1, b^2=1, c^2=1, d^2=1, e^2=1, f^2=1, g^2=1, 
        h^2=1, b*a*b=a*b*a, c*a=a*c, d*a=a*d, e*a=a*e, f*a=a*f, 
        g*a=a*g, h*a=a*h, c*b*c=b*c*b, d*b=b*d, e*b=b*e, f*b=b*f, 
        g*b=b*g, h*b=b*h, d*c*d=c*d*c, e*c*e=c*e*c, f*c=c*f, 
        g*c=c*g, h*c=c*h, e*d=d*e, f*d=d*f, g*d=d*g, h*d=d*h,
        f*e*f=e*f*e, g*e=e*g, h*e=e*h, g*f*g=f*g*f, h*f=f*h,
        h*g*h=g*h*g>;
M := RWSMonoid(Q);
print IsFinite(M);
assert $1;
isf, ord := IsFinite(M);
print isf, ord;
SetEchoInput(ei);
