"Source: Text/Group/MonRWS.text";
"Line: 324";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/MonRWS.text, line: 324
// Example: H87E2 ()
print "Example: H87E2";
ei := GetEchoInput();
SetEchoInput(true);
FM<x,X,y,Y,z,Z> := FreeMonoid(6);
Q := quo< FM |
        x*X=1, X*x=1, y*Y=1, Y*y=1, z*Z=1, Z*z=1,
        y*y*X*Y*x*Y*z*y*Z*Z*X*y*x*Y*Y*z*z*Y*Z*y*z*z*Y*Z*y=1,
        z*z*Y*Z*y*Z*x*z*X*X*Y*z*y*Z*Z*x*x*Z*X*z*x*x*Z*X*z=1,
        x*x*Z*X*z*X*y*x*Y*Y*Z*x*z*X*X*y*y*X*Y*x*y*y*X*Y*x=1>;
M := RWSMonoid(Q : TidyInt := 3000);
print M;
SetEchoInput(ei);
