# Character: X2 # Comment: perm rep on 315 pts # Ind: 1 # Ring: C # Sparsity: 73% # Checker result: pass # Conjugacy class representative result: pass local b, B, w, W, i, result, delta, idmat; result := rec(); w := E(3); W := E(3)^2; b := E(7)+E(7)^2+E(7)^4; B := -1-b; # b7, b7** i := E(4); result.comment := "J2 as 14 x 14 matrices\n"; result.generators := [ [[1,E(5)+E(5)^4,3*E(5)+2*E(5)^2+2*E(5)^3+3*E(5)^4,4*E(5)+E(5)^2+E(5)^3+4*E(5)^4, 5*E(5)+2*E(5)^2+2*E(5)^3+5*E(5)^4,-6*E(5)-2*E(5)^2-2*E(5)^3-6*E(5)^4, -3*E(5)-E(5)^2-E(5)^3-3*E(5)^4,0,-8*E(5)-3*E(5)^2-3*E(5)^3-8*E(5)^4, -6*E(5)-3*E(5)^2-3*E(5)^3-6*E(5)^4,E(5)+E(5)^4,-4*E(5)-2*E(5)^2-2*E(5)^3-4*E(5)^4, -4*E(5)-E(5)^2-E(5)^3-4*E(5)^4,-4*E(5)-2*E(5)^2-2*E(5)^3-4*E(5)^4 ], [0,0,1,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,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,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,1,0,0,0], [0,0,0,-1,-1,1,1,E(5)^2+E(5)^3,1,0,-E(5)^2-E(5)^3,0,0,0], [0,0,0,0,0,0,0,0,0,0,0,0,1,0], [0,0,0,0,0,0,0,1,0,0,0,0,0,0], [0,-E(5)-2*E(5)^2-2*E(5)^3-E(5)^4,-E(5)-E(5)^4,-2*E(5)-E(5)^2-E(5)^3-2*E(5)^4, -2*E(5)-E(5)^2-E(5)^3-2*E(5)^4,3*E(5)+2*E(5)^2+2*E(5)^3+3*E(5)^4, E(5)+E(5)^4,2*E(5)+3*E(5)^2+3*E(5)^3+2*E(5)^4,3*E(5)+E(5)^2+E(5)^3+3*E(5)^4, E(5)-E(5)^2-E(5)^3+E(5)^4,2,-1,-3,-2], [0,0,0,0,0,0,0,0,0,1,0,0,0,0], [0,E(5)^2+E(5)^3,-E(5)^2-E(5)^3,-1,0,1,0,-E(5)-2*E(5)^2-2*E(5)^3-E(5)^4, 0,E(5)+2*E(5)^2+2*E(5)^3+E(5)^4,E(5)+2*E(5)^2+2*E(5)^3+E(5)^4,0, -E(5)-2*E(5)^2-2*E(5)^3-E(5)^4,1]] , [[-1,0,1,0,1,-1,-1,1,-1,-1,-1,-1,0,-1], [0,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], [-2*E(5)^2-2*E(5)^3,-2*E(5)-3*E(5)^2-3*E(5)^3-2*E(5)^4,-E(5)+2*E(5)^2+2*E(5)^3-E(5)^4, -3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4,-3*E(5)-E(5)^2-E(5)^3-3*E(5)^4, 4*E(5)+2*E(5)^2+2*E(5)^3+4*E(5)^4,E(5)-E(5)^2-E(5)^3+E(5)^4,2*E(5)+5*E(5)^2+5*E(5)^3+2*E(5)^4, 4*E(5)+4*E(5)^4,2*E(5)-3*E(5)^2-3*E(5)^3+2*E(5)^4,-2*E(5)-4*E(5)^2-4*E(5)^3-2*E(5)^4, 2*E(5)+2*E(5)^4,-4,3*E(5)+2*E(5)^2+2*E(5)^3+3*E(5)^4], [0,0,0,0,0,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,1,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,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], [-E(5)^2-E(5)^3,1,-E(5)+E(5)^2+E(5)^3-E(5)^4,-3*E(5)-2*E(5)^2-2*E(5)^3-3*E(5)^4, -3*E(5)-E(5)^2-E(5)^3-3*E(5)^4,4*E(5)+2*E(5)^2+2*E(5)^3+4*E(5)^4, 2*E(5)+E(5)^2+E(5)^3+2*E(5)^4,E(5)^2+E(5)^3,5*E(5)+2*E(5)^2+2*E(5)^3+5*E(5)^4, 3*E(5)+3*E(5)^4,1,3*E(5)+E(5)^2+E(5)^3+3*E(5)^4,3*E(5)+2*E(5)^2+2*E(5)^3+3*E(5)^4, 3*E(5)+E(5)^2+E(5)^3+3*E(5)^4], [0,0,0,0,0,0,1,0,0,0,0,0,0,0]]]; return result;