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