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