"Source: Text/Incidence/Tableau.text";
"Line: 1854";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Tableau.text, line: 1854
// Example: H158E20 ()
print "Example: H158E20";
ei := GetEchoInput();
SetEchoInput(true);
O<a,b,c,d,e,f,g,h> := OrderedMonoid(8);
T1 := Tableau( [ a*c*f, d*g]);
T2 := Tableau( [ b*b*e*f, d*g*h]);
w := Word(T2);
w;
Res1 := RowInsert(T1, w);
Res1;
Res2 := DiagonalSum(T1, T2);
Res2;
Rectify(~Res2);
Res2;
Res1 eq Res2;
assert $1;
Res1 eq (T1*T2);
assert $1;
SetEchoInput(ei);
