/* www-ATLAS of Group Representations. L3(4) represented as 16 x 16 matrices over GF(2). */ F:=GF(2); x:=CambridgeMatrix(1,F,16,[ "0100000000000000", "1000000000000000", "0000100000000000", "0000001000000000", "0010000000000000", "0000000001000000", "0001000000000000", "0000000000010000", "0000000000001000", "0000010000000000", "0011110011101100", "0000000100000000", "0000000010000000", "0001001000000100", "1100100110010011", "0010100010001001"]); y:=CambridgeMatrix(1,F,16,[ "0010000000000000", "0001000000000000", "0000010000000000", "0000000100000000", "0000000010000000", "0001110100000000", "0000000000100000", "1001110010000000", "0111110010000000", "0000000000000100", "0000000000000010", "0000000000000001", "1011001010101001", "1110110011110100", "1110111001100001", "0010101110100110"]); G:=MatrixGroup<16,F|x,y>; print "Group G is L3(4) < GL(16,GF(2))";