/*
www-ATLAS of Group Representations.
U4(2) 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,
11,19,13,17,4,1,1,0,0,0,
0,0,0,0,1,0,0,0,0,0,
10,14,12,21,20,9,3,20,24,3,
10,14,22,11,8,9,15,24,20,3,
6,7,22,10,3,2,15,13,13,11]);

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

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