/*
Realisation of the presentation in L227P2 as 3 x 3 matrices over GF(27).
Generators are x and y and the orthogonal form is B with det(B) = -w^2.
*/

F<w>:=FiniteField(27);

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

B:=GL(3,F)![
2,w^4,w^4,
w^4,2,w^4,
w^4,w^4,2];