|
PROGRAM
|
(MAGMA commands to generate the group) F<s> := QuadraticField(2); M := GeneralLinearGroup(8, F); t := 1/(2*s);
B := M! [ -t, -t, -t, -t, -t, -t, -t, -t,
-t, t, -t, -t, t, -t, t, t,
-t, -t, -t, t, -t, t, t, t,
-t, -t, t, -t, t, t, t, -t,
-t, t, -t, t, t, t, -t, -t,
-t, -t, t, t, t, -t, -t, t,
-t, t, t, t, -t, -t, t, -t,
-t, t, t, -t, -t, t, -t, t ];
S := M! [ -1, 0, 0, 0, 0, 0, 0, 0,
0, -1, 0, 0, 0, 0, 0, 0,
0, 0, 1, 0, 0, 0, 0, 0,
0, 0, 0, 1, 0, 0, 0, 0,
0, 0, 0, 0, 1, 0, 0, 0,
0, 0, 0, 0, 0, 1, 0, 0,
0, 0, 0, 0, 0, 0, 1, 0,
0, 0, 0, 0, 0, 0, 0, 1 ];
C := M! [ 1, 0, 0, 0, 0, 0, 0, 0,
0, 0, 1, 0, 0, 0, 0, 0,
0, 0, 0, 1, 0, 0, 0, 0,
0, 0, 0, 0, 1, 0, 0, 0,
0, 0, 0, 0, 0, 1, 0, 0,
0, 0, 0, 0, 0, 0, 1, 0,
0, 0, 0, 0, 0, 0, 0, 1,
0, 1, 0, 0, 0, 0, 0, 0 ];
G := sub< M | B, S, C >; Order(G);
|