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

F:=GF(13);

x:=CambridgeMatrix(3,F,4,\[
7,11,5,7,
3,10,8,5,
9,2,3,2,
4,9,10,6]);

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

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