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

F:=GF(3);

x:=CambridgeMatrix(1,F,8,[
"01200212",
"10011201",
"20201110",
"02122011",
"01111002",
"00211210",
"20212110",
"00111021"]);

y:=CambridgeMatrix(1,F,8,[
"11010011",
"10121000",
"20000221",
"12101200",
"11001011",
"22000112",
"12121220",
"01201002"]);

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