"Source: Text/Group/GrpMatGen.text";
"Line: 6137";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpMatGen.text, line: 6137
// Example: H66E35 ()
print "Example: H66E35";
ei := GetEchoInput();
SetEchoInput(true);
G := MatrixGroup<4, IntegerRing(4) |
 [ 3, 3, 1, 3, 0, 2, 2, 3, 3, 0, 1, 3, 3, 2, 2, 1 ],
 [ 2, 2, 3, 3, 0, 3, 1, 1, 3, 0, 1, 1, 2, 0, 1, 2 ] >;
#G;
assert $1 eq 660602880;
H := pCore(G, 2);
FactoredOrder(H);
IsElementaryAbelian(H);
assert $1;
M, f := GModule(G, H, sub<H|>);
SM := Submodules(M);
#SM;
assert $1 eq 3;
N := SM[2] @@ f;
N;
SetEchoInput(ei);
