/*
www-ATLAS of Group Representations.
3.A7 represented as 6 x 6 matrices over GF(25).
*/

F<w>:=GF(25);

x:=CambridgeMatrix(3,F,6,\[
0,1,0,0,0,0,
0,0,0,1,0,0,
0,0,0,0,0,1,
1,0,0,0,0,0,
0,0,18,0,0,0,
0,0,0,0,11,0]);

y:=CambridgeMatrix(3,F,6,\[
0,0,1,0,0,0,
0,0,0,0,1,0,
13,5,15,21,7,21,
12,18,8,4,16,3,
6,10,18,23,6,11,
8,23,13,10,14,6]);

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