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

F<w>:=GF(25);

x:=CambridgeMatrix(3,F,4,\[
0,1,0,0,
1,0,0,0,
16,22,14,7,
10,13,23,16]);

y:=CambridgeMatrix(3,F,4,\[
0,0,1,0,
0,0,0,1,
16,16,0,0,
7,14,0,0]);

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