"Source: Text/Incidence/Tableau.text";
"Line: 644";
"Date: Thu Sep 20 23:00:01 2018";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Incidence/Tableau.text, line: 644
// Example: H154E7 ()
print "Example: H154E7";
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);
