/*
www-ATLAS of Group Representations.
2.L3(4) represented as 10 x 10 matrices over GF(25).
*/

F<w>:=GF(25);

x:=CambridgeMatrix(3,F,10,\[
0,1,0,0,0,0,0,0,0,0,
1,0,0,0,0,0,0,0,0,0,
0,0,0,1,0,0,0,0,0,0,
0,0,1,0,0,0,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,1,0,0,0,0,0,
0,0,0,0,0,1,0,0,0,0,
22,8,3,2,1,23,4,7,1,0,
0,0,12,18,2,10,3,15,0,1]);

y:=CambridgeMatrix(3,F,10,\[
19,2,0,0,0,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,0,0,0,1,0,0,0,0,
20,1,12,0,11,0,0,0,0,0,
0,0,0,0,0,0,0,0,1,0,
0,0,0,0,0,0,0,0,0,1,
18,24,10,24,14,18,2,4,24,2,
8,1,10,6,9,14,5,0,7,5,
7,5,19,14,17,4,23,0,15,22]);

G<x,y>:=MatrixGroup<10,F|x,y>;
print "Group G is 2.L3(4) < GL(10,GF(25))";