/*
www-ATLAS of Group Representations.
S4(7):2 represented as 5 x 5 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,5,[
"10000",
"01000",
"00100",
"00010",
"54456"]);

y:=CambridgeMatrix(1,F,5,[
"01000",
"00100",
"00010",
"00001",
"10000"]);

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