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

F:=GF(5);

x:=CambridgeMatrix(1,F,6,[
"010000",
"100000",
"411000",
"230100",
"320010",
"000001"]);

y:=CambridgeMatrix(1,F,6,[
"001000",
"044000",
"000100",
"000010",
"000001",
"104141"]);

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