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