/*
Realisation of the presentation in L227P4 as 2 x 2 matrices over GF(27).
The generators below only satisfy the presentation modulo the scalars {1,-1}.
Generators are x and y and the symplectic form is B.
Version s.t. o(xyxyxy^-1) = 7.
*/

F<w>:=FiniteField(27);

G<x,y>:=MatrixGroup<2,F|[
0,1,
-1,0]
,[
1,0,
w^4,1]
>;

B:=GL(2,F)![
0,1,
1,0];