/*
Realisation of the presentation in L232P7 as 2 x 2 matrices over GF(32).
Generators are a, b and c and the symplectic form is B.
*/

F<w>:=FiniteField(32);

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

B:=GL(2,F)![
0,1,
1,0];
// i.e., B = c !!!