/*
M11 as 10 x 10 matrices over Z[i2].
Rep 10c.
*/

F<i2>:=QuadraticField(-2);

G<x,y>:=MatrixGroup<10,F|[
-1,0,0,0,0,0,0,0,0,0,
i2,0,-2-i2,1-i2,0,1,-1,2+i2,0,0,
-i2,-2*i2,-2+i2,-1-i2,-i2,i2,-2+i2,1-2*i2,-2-i2,-2,
0,0,0,1,0,0,0,0,0,0,
1,2+i2,2,i2,1+i2,-2,1-2*i2,i2,2,2-i2,
i2,1,-2-i2,1-i2,0,0,-1,2+i2,0,0,
0,0,0,0,0,0,-1,0,0,0,
-i2,-2*i2,-1+i2,-1,-i2,i2,-2+i2,-2*i2,-2-i2,-2,
1,1+i2,-1-i2,1,0,-1-i2,-i2,1+i2,1-i2,-i2,
-1,-1-i2,1+i2,0,0,1+i2,i2,-1-i2,-2+i2,-1+i2]
,[
0,1,0,0,0,0,0,0,0,0,
-1,-1+i2,0,0,-1,-i2,2,-2,0,i2,
1-i2,2+i2,2+i2,-1+i2,1+i2,-2,1-i2,0,1,1-i2,
1,i2,-1+i2,-1,-1+i2,-2-i2,1,0,0,0,
1,0,0,0,0,0,0,0,0,0,
i2,-2,-1+i2,-1-i2,-1,2-i2,1+2*i2,-i2,-1+i2,i2,
-1+i2,1-i2,-1-i2,1-i2,1,1+i2,-2,2+i2,-1,0,
1,0,0,-1,0,-i2,0,1,1,1-i2,
0,-2+i2,-1+i2,-1,-2,-i2,1,-2,0,1+i2,
-1-i2,2,1,1+i2,i2,-3+i2,-1-i2,i2,-1-i2,-1-i2]
>;

a:=x;b:=y;