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

F:=GF(3);

x:=CambridgeMatrix(1,F,8,[
"20000000",
"01021020",
"00200000",
"02011020",
"01010201",
"00002121",
"02020201",
"00001111"]);

y:=CambridgeMatrix(1,F,8,[
"11211210",
"01021020",
"12110111",
"01010201",
"11000012",
"12012000",
"01210001",
"00111100"]);

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