"Source: Text/RepThy/ModAlg.text";
"Line: 5336";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/ModAlg.text, line: 5336
// Example: H99E36 ()
print "Example: H99E36";
ei := GetEchoInput();
SetEchoInput(true);
X := DirectProduct(Sym(4), Alt(5));
I := IrreducibleModules(X, GF(3));
M12 := I[9];
B:=Bimodule(Sym(4), Alt(5), M12);
ML := LeftOppositeModule(B);
ML;
G := Group(ML);
G;
V := VectorSpace(B); 
forall{<i,j> : i in [1..2], j in [1..12] |
                               V!(G.i^-1*B.j) eq V!(ML.j*G.i)};
SetEchoInput(ei);
