/* www-ATLAS of Group Representations. L2(31) represented as 31 x 31 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,31,[ "0100000000000000000000000000000", "1000000000000000000000000000000", "0001000000000000000000000000000", "0010000000000000000000000000000", "0000010000000000000000000000000", "0000100000000000000000000000000", "0000000010000000000000000000000", "0000000001000000000000000000000", "0000001000000000000000000000000", "0000000100000000000000000000000", "0000000000000100000000000000000", "0000000000000010000000000000000", "0000000000000000100000000000000", "0000000000100000000000000000000", "0000000000010000000000000000000", "0000000000000000000010000000000", "0000000000001000000000000000000", "0000000000000000000000100000000", "0000000000000000000000010000000", "0000000000000000000000000100000", "0000000000000001000000000000000", "0000000000000000000000000000100", "0000000000000000010000000000000", "0000000000000000001000000000000", "0104231430144003233112344324314", "0000000000000000000100000000000", "3344000404410412033321330340100", "0444331223032240432341222024233", "0000000000000000000001000000000", "4334214221242330403022020331131", "1414020430443002233044403223044"]); y:=CambridgeMatrix(1,F,31,[ "0010000000000000000000000000000", "0440000000000000000000000000000", "1210000000000000000000000000000", "0000100000000000000000000000000", "0000001000000000000000000000000", "0000000100000000000000000000000", "0001000000000000000000000000000", "0000000000100000000000000000000", "0000000000010000000000000000000", "0000000000001000000000000000000", "0000010000000000000000000000000", "0000000000000001000000000000000", "0000000000000000010000000000000", "0000000000000000001000000000000", "0000000000000000000100000000000", "0000000010000000000000000000000", "0000000000000000000001000000000", "0000000001000000000000000000000", "0000000000000000000000001000000", "0000000000000000000000000010000", "0000000000000000000000000001000", "0000000000000000000000000000010", "0000000000000000000000000000001", "2031320340430313003034110144343", "0000000000000100000000000000000", "3231044111043311443021303210140", "0000000000000010000000000000000", "3101312314234114213311202224013", "2323031403220311314004201403231", "0000000000000000100000000000000", "4144422002333143132414201141142"]); G:=MatrixGroup<31,F|x,y>; print "Group G is L2(31) < GL(31,GF(5))";