/*
www-ATLAS of Group Representations.
A7 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,
0,0,1,0,0,0,0,0,0,0,
1,0,0,0,0,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,0,1,
12,11,17,2,19,3,6,8,21,2,
24,2,0,17,24,2,13,6,23,23,
8,3,22,24,0,17,4,5,19,23,
0,0,0,1,0,0,0,0,0,0]);

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

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