/*
www-ATLAS of Group Representations.
L2(13) represented as 9 x 9 matrices over GF(13).
*/

F:=GF(13);

x:=CambridgeMatrix(3,F,9,\[
0,1,0,0,0,0,0,0,0,
1,0,0,0,0,0,0,0,0,
0,0,0,1,0,0,0,0,0,
0,0,1,0,0,0,0,0,0,
0,0,0,0,0,1,0,0,0,
0,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,0,0,1,
4,9,1,12,12,1,9,1,4,
0,0,0,0,0,0,1,0,0]);

y:=CambridgeMatrix(3,F,9,\[
8,10,0,0,0,0,0,0,0,
0,0,1,0,0,0,0,0,0,
10,1,5,0,0,0,0,0,0,
0,0,0,0,1,0,0,0,0,
0,0,0,0,0,0,1,0,0,
0,0,0,0,0,0,0,1,0,
0,0,0,1,0,0,0,0,0,
3,12,10,2,4,10,0,9,11,
4,9,11,9,6,12,2,0,4]);

G<x,y>:=MatrixGroup<9,F|x,y>;
print "Group G is L2(13) < GL(9,GF(13))";