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

F:=GF(3);

x:=CambridgeMatrix(1,F,21,[
"010000000000000000000",
"100000000000000000000",
"000010000000000000000",
"000000100000000000000",
"001000000000000000000",
"000000001000000000000",
"000100000000000000000",
"000000000001000000000",
"000001000000000000000",
"000000000000001000000",
"122210100010000000000",
"000000010000000000000",
"000001012002100000000",
"211021022201011000000",
"000000000100000000000",
"001222121101002100000",
"212111222001000010000",
"211022001100002001000",
"120200120201001000100",
"121120210102002000010",
"001222111102002000001"]);

y:=CambridgeMatrix(1,F,21,[
"001000000000000000000",
"000100000000000000000",
"000001000000000000000",
"022200000000000000000",
"000000010000000000000",
"000000000100000000000",
"000000000010000000000",
"000000000000100000000",
"000000000000010000000",
"000000000000000100000",
"000000000000000010000",
"000000000000000001000",
"000000000000000000100",
"020211021211111202000",
"001010121100102102000",
"121102000000000100000",
"112122221011020011200",
"002010002222221110100",
"000000000000000000010",
"000000000000000000001",
"020002212101121120222"]);

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