/*
www-ATLAS of Group Representations.
2.O7(3) represented as 8 x 8 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,8,[
"00022110",
"00002112",
"00022102",
"10102200",
"11110221",
"22211021",
"22001100",
"01102200"]);

y:=CambridgeMatrix(1,F,8,[
"02021200",
"00021210",
"01001021",
"00012101",
"20120100",
"11110121",
"20110200",
"12120212"]);

G<x,y>:=MatrixGroup<8,F|x,y>;
print "Group G is 2.O7(3) < GL(8,GF(3))";