/*
Realisation of the presentation in L227P5 as 3 x 3 matrices over GF(27).
Generators are a, b and c and the orthogonal form is B.
*/

F<w>:=FiniteField(27);

G<a,b,c>:=MatrixGroup<3,F|[
1,0,0,
1,1,0,
1,2,1]
,[
w^2,0,0,
0,1,0,
0,0,w^-2]
,[
0,0,1,
0,-1,0,
1,0,0]
>;

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