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

F:=GF(7);

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

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

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