"Source: Text/RepThy/ModAlg.text";
"Line: 5335";
"Date: Tue May 30 11:26:03 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/RepThy/ModAlg.text, line: 5335
// Example: H97E36 ()
print "Example: H97E36";
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);
