/* www-ATLAS of Group Representations. 2.U4(2) represented as 40 x 40 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,40,[ "0100000000000000000000000000000000000000", "1000000000000000000000000000000000000000", "0000100000000000000000000000000000000000", "0000001000000000000000000000000000000000", "0010000000000000000000000000000000000000", "0000000001000000000000000000000000000000", "0001000000000000000000000000000000000000", "0000000000001000000000000000000000000000", "0000000000000010000000000000000000000000", "0000010000000000000000000000000000000000", "0000000000000000100000000000000000000000", "0000000000000000010000000000000000000000", "0000000100000000000000000000000000000000", "0000000000000000000010000000000000000000", "0000000010000000000000000000000000000000", "0000000000000000000000100000000000000000", "0000000000100000000000000000000000000000", "0000000000010000000000000000000000000000", "0000000000000000000000000010000000000000", "0000000000000000000000000000100000000000", "0000000000000100000000000000000000000000", "0000000000000000000000000000000100000000", "0000000000000001000000000000000000000000", "0000000000000000000000000000000000100000", "0000000000000000000000000000000000001000", "0000000000000000000000000000000000000010", "0000000000000000001000000000000000000000", "1102221111112001111010012012120120202201", "0000000000000000000100000000000000000000", "2101221102111110111211222022110112220201", "2020012222021220112101122000100012012202", "0000000000000000000001000000000000000000", "1121000220112221020202200111222212102012", "1111220000200200012210002010112211202211", "0000000000000000000000010000000000000000", "2100201221210121221020110221112201212212", "0000000000000000000000001000000000000000", "1221202002020122212220002121101112111101", "0000000000000000000000000100000000000000", "1121002200211011010212011221220220200212"]); y:=CambridgeMatrix(1,F,40,[ "0010000000000000000000000000000000000000", "0001000000000000000000000000000000000000", "0000010000000000000000000000000000000000", "0000000100000000000000000000000000000000", "0000000010000000000000000000000000000000", "0000000000100000000000000000000000000000", "0000000000010000000000000000000000000000", "0000000000000100000000000000000000000000", "0200220020000000000000000000000000000000", "0000000000000001000000000000000000000000", "1100210210000100000000000000000000000000", "0000000000000000001000000000000000000000", "0000000000000000000100000000000000000000", "1122110020200100000000000000000000000000", "0000000000000000000001000000000000000000", "0000000000000000000000010000000000000000", "0000000000000000000000001000000000000000", "0000000000000000000000000100000000000000", "0000000000000000000000000001000000000000", "0000000000000000000000000000010000000000", "0000000000000000000000000000001000000000", "0000000000000000000000000000000010000000", "0000000000000000000000000000000001000000", "0000000000000000000000000000000000010000", "0000000000000000000000000000000000000100", "0000000000000000000000000000000000000001", "1100212121120202211220201201000102110002", "2120110001022012000000020202001020202121", "1120110210202120221200211000220020222120", "1121120211110012122020101120102212202120", "0210101120112121122002200020210200210001", "2112221010000101100222211002001112120122", "2001212211121021001011211001022200001220", "1102200220000010221102210000110000212000", "0001102000122010100020122210111100021211", "0001022121000002020121221222221112010020", "1110021102101220000000021022201100010120", "2100221022222221110020212110200120011122", "1221211111002020101111120222000012022102", "1122012000201210001222002221222112012022"]); G:=MatrixGroup<40,F|x,y>; print "Group G is 2.U4(2) < GL(40,GF(3))";