"Source: Text/RepThy/ModAlg.text";
"Line: 5282";
"Date: Tue May 30 11:26:03 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/RepThy/ModAlg.text, line: 5282
// Example: H97E35 ()
print "Example: H97E35";
ei := GetEchoInput();
SetEchoInput(true);
X := DirectProduct(Sym(4), Alt(5));
I := IrreducibleModules(X, GF(3));
M12 := I[9]; 
M12;
B := Bimodule(Sym(4), Alt(5), M12);
B;
IsIrreducible(B);
SetEchoInput(ei);
