/* www-ATLAS of Group Representations. U4(2) represented as 25 x 25 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,25,[ "0100000000000000000000000", "1000000000000000000000000", "0000100000000000000000000", "0000001000000000000000000", "0010000000000000000000000", "0022222000000000000000000", "0001000000000000000000000", "0000000001000000000000000", "0011101121000000000000000", "0000000100000000000000000", "0000000000000100000000000", "0000000000120100000000000", "0000000000000000100000000", "0000000000100000000000000", "0000000000000000001000000", "0000000000000022002000000", "0000000000001000000000000", "0000000000000000000000100", "0000000000000010000000000", "1021010220122021000112000", "1212020110211012000111000", "2011022211210022201120000", "0000000000000000010000000", "1020012122121001221212220", "0022202101100100000000002"]); y:=CambridgeMatrix(1,F,25,[ "0010000000000000000000000", "0001000000000000000000000", "0000010000000000000000000", "0222000000000000000000000", "0000000100000000000000000", "1102010000000000000000000", "0000000010000000000000000", "0000000000100000000000000", "0000000000010000000000000", "0000000000001000000000000", "0000000000000010000000000", "0000000000000001000000000", "2012121211200012100000000", "0000000000000000010000000", "0000000000000000000100000", "0000000000000000000010000", "0000000000000000000001000", "0000000000000000000000010", "0122010120120200000110000", "0000100000000000000000000", "0000001000000000000000000", "2012202110210201010212120", "0000000000000000000000001", "0011212012111121010102221", "0102002111112010212101002"]); G:=MatrixGroup<25,F|x,y>; print "Group G is U4(2) < GL(25,GF(3))";