"Source: Text/Group/GrpMatGen.text";
"Line: 4647";
"Date: Mon Jun 27 15:52:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Group/GrpMatGen.text, line: 4647
// Example: H65E27 ()
print "Example: H65E27";
ei := GetEchoInput();
SetEchoInput(true);
V := VectorSpace(GF (3), 4);
Spaces := [sub< V | [1,1,0,2]>, sub < V | [ 1, 0, 2, 0 ], [ 0, 1, 0, 0]>];
S, P := StabiliserOfSpaces(Spaces);
#S;
assert $1 eq 5184;
P;
SetEchoInput(ei);
