"Source: Text/Incidence/Tableau.text";
"Line: 1001";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Tableau.text, line: 1001
// Example: H158E12 ()
print "Example: H158E12";
ei := GetEchoInput();
SetEchoInput(true);
O := OrderedIntegerMonoid();
P := PlacticIntegerMonoid();
M := TableauIntegerMonoid();
w1 := O ! [4,6,2,6,9,6,2,2,1,7];
w2 := O ! [9,4,2,1,6,2,6,2,6,7];
w1 eq w2;
assert not $1;
IsKnuthEquivalent(w1,w2);
assert $1;
(P!w1) eq (P!w2);
assert $1;
P!w1;

(M!w1) eq (M!w2);
assert $1;
M!w1;
M!w1 eq M ! (P!w1);
assert $1;
SetEchoInput(ei);
