"Source: Text/Group/GrpCoh.text";
"Line: 1467";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpCoh.text, line: 1467
// Example: H75E23 ()
print "Example: H75E23";
ei := GetEchoInput();
SetEchoInput(true);
Z := Integers();
G := PermutationGroup<4 | (1,2,4,3)>;
Q := [2, 4, 4];
T := [ Matrix(Z,3,3,[1,2,0,0,0,1,0,1,2]) ];
CM := CohomologyModule(G, Q, T);
extns := DistinctExtensions(CM);
extns;
E1 := SolubleQuotient(extns[1]);
E2 := SolubleQuotient(extns[2]);
E3 := SolubleQuotient(extns[3]);
IsIsomorphic(E1, E2);
assert not $1;
IsIsomorphic(E1, E3);
assert not $1;
IsIsomorphic(E2, E3);
assert not $1;
SetEchoInput(ei);
