"Source: Text/Group/GrpMatGen.text";
"Line: 4411";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Group/GrpMatGen.text, line: 4411
// Example: H66E24 ()
print "Example: H66E24";
ei := GetEchoInput();
SetEchoInput(true);
F3 := FiniteField(3);
P<x> := PolynomialRing(F3);
F9<w> := ext< F3 | x^2+x+2 >;
y := w^6;
z := w^2;
G := MatrixGroup<6, F9 | 
    [y, 1-y, z, 0,0,0, 1-y, z, -1,0,0,0, z, -1,1+y, 0,0,0, 
    0,0,0, z, 1+y, y, 0,0,0,1+y, y, -1, 0,0,0,y, -1,1-y],
    [1+y, z, y, 0,0,0, z, 1+y, z,0,0,0, y, z, 1+y, 0,0,0,
    z,0,0,1-y, y, z, 0, z, 0, y, 1-y, y, 0,0, z, z, y, 1-y],
    [0,0,0,y, 0,0, 0,0,0,0,y, 0, 0,0,0,0,0,y,
    y, 0,0,0,0,0, 0,y, 0,0,0,0, 0,0,y, 0,0,0]>;
V := RSpace(G);
u := V![1,0,0,0,0,0];
U := sub< V | u >;
x := < u, U >;
W := sub< V | u, u*G.1 >;
u^G.1;
U^G.1;
W^G.1;
x^G.1;
H := sub< G | G.1, G.2 >;
#Orbit(H, u);
assert $1 eq 252;
#Orbit(H, U);
assert $1 eq 63;
#Orbit(G, U);
assert $1 eq 3150;
Stabilizer(G, U);
#Orbit(H, x);
assert $1 eq 252;
#Orbit(H, W);
assert $1 eq 28;
SetEchoInput(ei);
