"Source: Text/Group/GrpCoh.text";
"Line: 1393";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpCoh.text, line: 1393
// Example: H75E21 ()
print "Example: H75E21";
ei := GetEchoInput();
SetEchoInput(true);
E := ExtensionsOfElementaryAbelianGroup(2,2,Alt(4));                         
#E;
assert $1 eq 4;
EP := [ CosetImage(g,sub<g|>) : g in E ];
[#Centre(e): e in EP];
[ Complements(e,sub<e|e.3,e.4>) eq [] : e in EP];
AbelianInvariants(Sylow(EP[2],2));
SetEchoInput(ei);
