# Character: X2 # Comment: Galois conjugate of X.3 # Ind: 1 # Ring: C # Sparsity: 69% # 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 := "L217 as 9 x 9 matrices\n"; result.generators := [ [[0,1,0,0,0,0,0,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,1,0,0], [0,0,1,0,0,0,0,0,0], [0,0,0,0,0,1,0,0,0], [0,0,0,1,0,0,0,0,0], [-2,E(17)^3+E(17)^5+E(17)^6+E(17)^7+E(17)^10+E(17)^11+E(17)^12+E(17)^14, -1,1,E(17)+E(17)^2+2*E(17)^3+E(17)^4+2*E(17)^5+2*E(17)^6+2*E(17)^7+E(17)^8+E(17)^9+2*E(17)^10+2*E(17)^11+2*E(17)^12+E(17)^13+2*E(17)^14+E(17)^15+E(17)^16, E(17)+E(17)^2+2*E(17)^3+E(17)^4+2*E(17)^5+2*E(17)^6+2*E(17)^7+E(17)^8+E(17)^9+2*E(17)^10+2*E(17)^11+2*E(17)^12+E(17)^13+2*E(17)^14+E(17)^15+E(17)^16, -2,E(17)^3+E(17)^5+E(17)^6+E(17)^7+E(17)^10+E(17)^11+E(17)^12+E(17)^14, 1], [E(17)^3+E(17)^5+E(17)^6+E(17)^7+E(17)^10+E(17)^11+E(17)^12+E(17)^14, 2*E(17)+2*E(17)^2+3*E(17)^3+2*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+2*E(17)^8+2*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+2*E(17)^13+3*E(17)^14+2*E(17)^15+2*E(17)^16, 1,-2*E(17)-2*E(17)^2-3*E(17)^3-2*E(17)^4-3*E(17)^5-3*E(17)^6-3*E(17)^7-2*E(17)^8-2*E(17)^9-3*E(17)^10-3*E(17)^11-3*E(17)^12-2*E(17)^13-3*E(17)^14-2*E(17)^15-2*E(17)^16, 3*E(17)+3*E(17)^2+5*E(17)^3+3*E(17)^4+5*E(17)^5+5*E(17)^6+5*E(17)^7+3*E(17)^8+3*E(17)^9+5*E(17)^10+5*E(17)^11+5*E(17)^12+3*E(17)^13+5*E(17)^14+3*E(17)^15+3*E(17)^16, 3*E(17)+3*E(17)^2+4*E(17)^3+3*E(17)^4+4*E(17)^5+4*E(17)^6+4*E(17)^7+3*E(17)^8+3*E(17)^9+4*E(17)^10+4*E(17)^11+4*E(17)^12+3*E(17)^13+4*E(17)^14+3*E(17)^15+3*E(17)^16, E(17)+E(17)^2+3*E(17)^3+E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+E(17)^8+E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+E(17)^13+3*E(17)^14+E(17)^15+E(17)^16, 3*E(17)+3*E(17)^2+4*E(17)^3+3*E(17)^4+4*E(17)^5+4*E(17)^6+4*E(17)^7+3*E(17)^8+3*E(17)^9+4*E(17)^10+4*E(17)^11+4*E(17)^12+3*E(17)^13+4*E(17)^14+3*E(17)^15+3*E(17)^16, -E(17)^3-E(17)^5-E(17)^6-E(17)^7-E(17)^10-E(17)^11-E(17)^12-E(17)^14 ]] , [[0,0,1,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,1,0], [0,0,0,0,0,0,0,0,1], [1,0,0,0,0,0,0,0,0], [E(17)^3+E(17)^5+E(17)^6+E(17)^7+E(17)^10+E(17)^11+E(17)^12+E(17)^14, 2*E(17)+2*E(17)^2+3*E(17)^3+2*E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+2*E(17)^8+2*E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+2*E(17)^13+3*E(17)^14+2*E(17)^15+2*E(17)^16, 1,-2*E(17)-2*E(17)^2-3*E(17)^3-2*E(17)^4-3*E(17)^5-3*E(17)^6-3*E(17)^7-2*E(17)^8-2*E(17)^9-3*E(17)^10-3*E(17)^11-3*E(17)^12-2*E(17)^13-3*E(17)^14-2*E(17)^15-2*E(17)^16, 3*E(17)+3*E(17)^2+5*E(17)^3+3*E(17)^4+5*E(17)^5+5*E(17)^6+5*E(17)^7+3*E(17)^8+3*E(17)^9+5*E(17)^10+5*E(17)^11+5*E(17)^12+3*E(17)^13+5*E(17)^14+3*E(17)^15+3*E(17)^16, 3*E(17)+3*E(17)^2+4*E(17)^3+3*E(17)^4+4*E(17)^5+4*E(17)^6+4*E(17)^7+3*E(17)^8+3*E(17)^9+4*E(17)^10+4*E(17)^11+4*E(17)^12+3*E(17)^13+4*E(17)^14+3*E(17)^15+3*E(17)^16, E(17)+E(17)^2+3*E(17)^3+E(17)^4+3*E(17)^5+3*E(17)^6+3*E(17)^7+E(17)^8+E(17)^9+3*E(17)^10+3*E(17)^11+3*E(17)^12+E(17)^13+3*E(17)^14+E(17)^15+E(17)^16, 3*E(17)+3*E(17)^2+4*E(17)^3+3*E(17)^4+4*E(17)^5+4*E(17)^6+4*E(17)^7+3*E(17)^8+3*E(17)^9+4*E(17)^10+4*E(17)^11+4*E(17)^12+3*E(17)^13+4*E(17)^14+3*E(17)^15+3*E(17)^16, -E(17)^3-E(17)^5-E(17)^6-E(17)^7-E(17)^10-E(17)^11-E(17)^12-E(17)^14 ], [0,1,0,0,0,0,0,0,0], [E(17)^3+E(17)^5+E(17)^6+E(17)^7+E(17)^10+E(17)^11+E(17)^12+E(17)^14, 3*E(17)+3*E(17)^2+4*E(17)^3+3*E(17)^4+4*E(17)^5+4*E(17)^6+4*E(17)^7+3*E(17)^8+3*E(17)^9+4*E(17)^10+4*E(17)^11+4*E(17)^12+3*E(17)^13+4*E(17)^14+3*E(17)^15+3*E(17)^16, 2,-3*E(17)-3*E(17)^2-5*E(17)^3-3*E(17)^4-5*E(17)^5-5*E(17)^6-5*E(17)^7-3*E(17)^8-3*E(17)^9-5*E(17)^10-5*E(17)^11-5*E(17)^12-3*E(17)^13-5*E(17)^14-3*E(17)^15-3*E(17)^16, 5*E(17)+5*E(17)^2+8*E(17)^3+5*E(17)^4+8*E(17)^5+8*E(17)^6+8*E(17)^7+5*E(17)^8+5*E(17)^9+8*E(17)^10+8*E(17)^11+8*E(17)^12+5*E(17)^13+8*E(17)^14+5*E(17)^15+5*E(17)^16, 4*E(17)+4*E(17)^2+6*E(17)^3+4*E(17)^4+6*E(17)^5+6*E(17)^6+6*E(17)^7+4*E(17)^8+4*E(17)^9+6*E(17)^10+6*E(17)^11+6*E(17)^12+4*E(17)^13+6*E(17)^14+4*E(17)^15+4*E(17)^16, 2*E(17)+2*E(17)^2+5*E(17)^3+2*E(17)^4+5*E(17)^5+5*E(17)^6+5*E(17)^7+2*E(17)^8+2*E(17)^9+5*E(17)^10+5*E(17)^11+5*E(17)^12+2*E(17)^13+5*E(17)^14+2*E(17)^15+2*E(17)^16, 5*E(17)+5*E(17)^2+7*E(17)^3+5*E(17)^4+7*E(17)^5+7*E(17)^6+7*E(17)^7+5*E(17)^8+5*E(17)^9+7*E(17)^10+7*E(17)^11+7*E(17)^12+5*E(17)^13+7*E(17)^14+5*E(17)^15+5*E(17)^16, -E(17)-E(17)^2-3*E(17)^3-E(17)^4-3*E(17)^5-3*E(17)^6-3*E(17)^7-E(17)^8-E(17)^9-3*E(17)^10-3*E(17)^11-3*E(17)^12-E(17)^13-3*E(17)^14-E(17)^15-E(17)^16 ]]]; return result;