"Source: Text/RepThy/Chtr.text";
"Line: 1386";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/Chtr.text, line: 1386
// Example: H100E6 ()
print "Example: H100E6";
ei := GetEchoInput();
SetEchoInput(true);
S := SFA(Integers());
function tensprod(chi,m)
  F := S.1^m;
  return &+[Coefficient(F,p)*Symmetrization(chi,p) : p in Support(F)];
end function;
CT := CharacterTable(SU(2,7));
for chi in CT, m in [1..6] do
  assert tensprod(chi,m) eq chi^m; 
end for;
SetEchoInput(ei);
