"Source: Text/Group/MonRWS.text";
"Line: 374";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/MonRWS.text, line: 374
// Example: H87E4 ()
print "Example: H87E4";
ei := GetEchoInput();
SetEchoInput(true);
FM<a,b,c,d,e,f,g> := FreeMonoid(7);
I := [a*b=c, b*c=d, c*d=e, d*e=f, e*f=g, f*g=a, g*a=b];
Q := quo<FM | I>;
M := RWSMonoid(Q: Ordering := "Recursive", MaxStoredLen := <15,15>);
Q := quo< FM | Relations(M) cat I>;
M := RWSMonoid(Q: Ordering := "Recursive");
print M;
Order(M);
assert $1 eq 30;
SetEchoInput(ei);
