"Source: Text/RepThy/ModAlg.text";
"Line: 5283";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/ModAlg.text, line: 5283
// Example: H99E35 ()
print "Example: H99E35";
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);
