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

F:=GF(19);

x:=CambridgeMatrix(3,F,4,\[
5,7,18,1,
11,2,2,18,
10,2,17,12,
2,10,8,14]);

y:=CambridgeMatrix(3,F,4,\[
1,1,16,10,
7,9,18,6,
16,11,7,6,
10,1,0,3]);

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