"Source: Text/RepThy/Chtr.text";
"Line: 1386";
"Date: Mon May 17 16:13:13 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/RepThy/Chtr.text, line: 1386
// Example: H98E6 ()
print "Example: H98E6";
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);
