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

F:=GF(5);

x:=CambridgeMatrix(1,F,15,[
"010000000000000",
"100000000000000",
"000010000000000",
"000000100000000",
"001000000000000",
"410301200000000",
"000100000000000",
"000000000001000",
"141040031002000",
"000000000000010",
"324210340311020",
"000000010000000",
"143220330402110",
"000000000100000",
"004310230102041"]);

y:=CambridgeMatrix(1,F,15,[
"001000000000000",
"000100000000000",
"000001000000000",
"000000010000000",
"000000001000000",
"000000000100000",
"000000000010000",
"000000000000100",
"040044004000000",
"000000000000001",
"334023003400242",
"303110400311334",
"133132140132234",
"400444411441143",
"223231140232134"]);

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