/*
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,
19,18,10,2,12,3,22,24,5,2,
8,2,0,10,8,2,15,22,7,7,
24,3,6,8,0,10,4,21,12,7,
0,0,0,1,0,0,0,0,0,0]);

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

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