"Source: Text/Incidence/Tableau.text";
"Line: 653";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Tableau.text, line: 653
// Example: H158E7 ()
print "Example: H158E7";
ei := GetEchoInput();
SetEchoInput(true);
O<a,b,c,d,e> := OrderedMonoid(5);
P := PlacticMonoid(O);
P;

w := b*c*e*e*a*d*a*d;
w;
Length(w);
assert $1 eq 8;
Content(w);

u := P!w;
u;
Length(u);
assert $1 eq 8;
Content(u);
SetEchoInput(ei);
