"Source: Text/Group/GrpCoh.text";
"Line: 975";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpCoh.text, line: 975
// Example: H75E14 ()
print "Example: H75E14";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(2);
G := GL(5,2);
M := GModule(G);
CM := CohomologyModule(G, M);
CohomologyGroup(CM, 2);
max := [m`subgroup : m in MaximalSubgroups(G)];
[Index(G,m) : m in max];
P := Extension(GrpPerm, CM, [1] : UseSubgp := true, Subgp := max[2]);
Degree(P);
ChiefFactors(P);
_, PP := MinimalDegreePermutationRepresentation(P);
Degree(PP);
SetEchoInput(ei);
