/*
www-ATLAS of Group Representations.
U4(2) represented as 5 x 5 matrices over GF(25).
*/

F<w>:=GF(25);

x:=CambridgeMatrix(3,F,5,\[
1,0,0,0,0,
19,4,0,0,0,
18,0,4,0,0,
11,0,0,4,0,
12,0,0,0,4]);

y:=CambridgeMatrix(3,F,5,\[
0,1,0,0,0,
0,0,1,0,0,
0,0,0,1,0,
0,0,0,0,1,
1,0,0,0,0]);

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