"Source: Text/Group/MonRWS.text";
"Line: 786";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/MonRWS.text, line: 786
// Example: H87E10 ()
print "Example: H87E10";
ei := GetEchoInput();
SetEchoInput(true);
FM<a,b,c,d,e> := FreeMonoid(5);
Q:=quo< FM | a*b=c, b*c=d, c*d=e, d*e=a, e*a=b >;
M<a,b,c,d,e> := RWSMonoid(Q);
a*b*c*d;
(c*d)^4 eq a;
assert $1;
IsIdentity(a^0);
assert $1;
IsIdentity(b^2*e);
assert not $1;
SetEchoInput(ei);
