/* www-ATLAS of Group Representations. 2.S7 (isoclinic) represented as 12 x 12 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,12,[ "010000000000", "200000000000", "000100000000", "002000000000", "000000100000", "000000001000", "000020000000", "000211220120", "000002000000", "000000000001", "001102221211", "000000000200"]); y:=CambridgeMatrix(1,F,12,[ "001000000000", "022000000000", "000010000000", "000001000000", "000000010000", "000000000100", "000000000010", "200020000000", "011121200210", "112000012111", "112012112111", "000000122002"]); G:=MatrixGroup<12,F|x,y>; print "Group G is 2.S7 (isoclinic) < GL(12,GF(3))";