# Character: X4+X5 # Comment: perm rep on 285 pts # Ind: 1 # Irred-dim: 18 # Ring: Z # Sparsity: 77% # Maximum absolute entry: 26 # Checker result: pass # Conjugacy class representative result: pass local a, A, b, B, c, C, w, W, i, result, delta, idmat; result := rec(); w := E(3); W := E(3)^2; a := E(5)+E(5)^4; A := -1-a; # b5, b5* b := E(7)+E(7)^2+E(7)^4; B := -1-b; # b7, b7** c := E(11)+E(11)^3+E(11)^4+E(11)^5+E(11)^9; C := -1-c; # b11, b11** i := E(4); result.comment := "L219 as 36 x 36 matrices\n"; result.generators := [ [[0,1,0,1,0,-1,1,-1,0,0,0,1,1,0,0,0,-1,0,1,0,0,-1,0,1,0,0,1,0,0,-1, 1,0,0,0,0,0], [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,1,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0, 0,1,0,0], [0,2,0,2,0,0,1,0,1,1,0,1,0,0,0,0,-1,0,0,0,1,0,-1,0,0,-1,0,0,1,0,0, 0,0,0,0,0], [2,2,1,2,3,-1,2,1,-2,0,0,0,3,0,0,0,0,1,2,2,0,-2,2,1,2,0,1,2,0,-4,2, 0,0,2,-1,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [-1,-5,-1,-4,-3,1,-3,2,-1,-1,-3,-2,-1,0,0,-2,3,0,-2,0,-2,2,-1,-3,-1, -1,-3,-1,0,2,-2,1,-1,1,1,0], [-2,-8,-1,-7,-5,2,-5,1,0,-2,-3,-2,-4,-1,0,-1,3,-2,-4,-2,-2,4,-2,-4, -3,-1,-4,-3,0,6,-4,1,-1,-1,1,0], [2,6,1,6,4,-1,4,2,0,2,1,2,3,0,1,1,-1,1,2,3,1,-1,1,1,2,0,2,3,1,-4,2, -1,0,2,-1,0], [-3,-6,-2,-6,-2,1,-4,1,0,-1,-2,-3,-2,0,-2,-1,3,1,-3,0,-2,2,0,-3,0, 0,-3,0,-2,3,-3,0,-1,0,0,0], [-1,-5,-1,-4,-3,1,-3,2,-1,-1,-3,-2,-1,0,0,-2,3,0,-2,0,-2,2,-1,-3,0, -1,-3,-1,0,2,-2,1,-1,1,1,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0, 0,0,0], [6,16,3,16,8,-3,10,2,2,4,4,8,6,1,4,4,-5,0,7,2,3,-2,1,5,0,0,6,2,3,-6, 6,0,0,0,-1,-1]] , [[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0], [0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,1,0,1,0,-1,1,-1,0,0,0,1,1,0,0,0,-1,0,1,0,0,-1,0,1,0,0,1,0,0,-1, 1,0,0,0,0,0], [0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,1, 0,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0, 1,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,1], [-1,-4,-1,-3,0,1,-2,0,-1,-1,-1,-2,-1,0,-1,-1,2,1,-1,0,-1,0,1,-2,1, 1,-1,1,-1,2,-1,-1,-1,0,0,0], [0,4,0,3,1,-1,2,0,2,1,2,2,1,0,0,2,-2,0,1,0,0,0,0,2,0,0,1,0,0,-1,1, 0,0,-1,0,0], [0,4,0,3,5,-1,3,0,0,1,3,0,2,0,-2,3,-1,3,1,3,1,-3,3,2,4,2,2,4,-2,-3, 2,-3,0,1,-2,0], [0,-1,-1,-2,-2,1,-1,1,-1,0,-2,0,-1,-1,1,-1,0,0,0,0,-1,1,0,-1,0,-1, -1,0,1,2,-1,-1,0,0,0,0], [2,7,1,7,2,-1,4,0,2,2,2,5,2,0,2,3,-3,-1,2,0,1,0,-1,3,-1,0,3,-1,1,-2, 2,0,1,-1,0,0], [1,4,1,3,0,-1,2,0,1,1,1,2,1,0,2,1,-2,-1,1,0,1,0,-1,2,-1,-1,1,-1,1, -2,1,1,1,0,0,0], [-3,-6,-2,-6,-1,1,-4,-1,1,-1,0,-3,-3,0,-3,1,2,1,-4,-1,-1,1,0,-2,1, 1,-2,0,-3,3,-3,-1,0,-1,0,1], [-1,2,0,3,6,-2,3,-2,-1,0,4,-2,4,1,-4,3,-1,4,1,4,0,-6,4,3,6,3,3,5,-4, -6,3,-3,0,2,-2,1], [5,13,2,13,4,-2,7,2,2,3,2,9,5,0,5,3,-4,-2,5,0,2,0,-1,4,-2,-1,5,-1, 4,-4,4,1,1,-1,0,-1], [7,26,4,24,18,-7,18,1,-1,6,9,9,14,1,1,7,-9,6,13,9,4,-12,8,11,10,4, 12,11,1,-17,14,-6,1,4,-5,0], [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0]]]; return result;