"Source: Text/RepThy/ModAlg.text";
"Line: 4707";
"Date: Tue May 30 11:26:03 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/RepThy/ModAlg.text, line: 4707
// Example: H97E32 ()
print "Example: H97E32";
ei := GetEchoInput();
SetEchoInput(true);
G := Alt(5);
I := IrreducibleModules(G, GF(2));
I;
M1 := rep{M: M in I | Dimension(M) eq 1};
M4 := rep{M: M in I | Dimension(M) eq 4 and not IsAbsolutelyIrreducible(M)};
M4; assert not IsAbsolutelyIrreducible(M4);
E, phi := Ext(M4, M1);
E;
Extension(M4, M1, E.1, phi);
E := MaximalExtension(M4, M1);
E;
CompositionFactors(E);
SetEchoInput(ei);
