/* www-ATLAS of Group Representations. TD4(2) represented as 25 x 25 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,25,[ "0100000000000000000000000", "1000000000000000000000000", "0001000000000000000000000", "0010000000000000000000000", "0000001000000000000000000", "0000000010000000000000000", "0000100000000000000000000", "0000000000010000000000000", "0000010000000000000000000", "0000000000000010000000000", "0000000000000000100000000", "0000000100000000000000000", "2200000200222000200000000", "0000020020000200000000000", "0000000001000000000000000", "0000000000000000000000100", "0000000000100000000000000", "1100202001200010220000000", "1101000011102122012220120", "0012121200222111110120020", "0020202211122121010210020", "0001222000102112010222120", "0000000000000001000000000", "2210212001201200020110100", "2210222212021212120110012"]); y:=CambridgeMatrix(1,F,25,[ "0010000000000000000000000", "0220000000000000000000000", "0000100000000000000000000", "0000010000000000000000000", "0000000100000000000000000", "0000000001000000000000000", "0000000000100000000000000", "0000000000001000000000000", "0000000000000100000000000", "0000000000000001000000000", "0000000000000000010000000", "0000000000000000001000000", "0000000000000000000100000", "0000000000000000000010000", "0000000000000000000001000", "0000000000000000000000010", "2100102100122220221111010", "0000000000000000000000001", "1120100122110111022202011", "2000022220001112222112001", "0110020021122010110220020", "2012110222010000022101001", "0202001000202102021112100", "0021020210212211212201022", "0012120220021000012102000"]); G:=MatrixGroup<25,F|x,y>; print "Group G is TD4(2) < GL(25,GF(3))";