# Character: X2 # Comment: perm rep on 312b pts # Ind: 1 # Ring: C # Sparsity: 75% # 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 := "S45 as 13 x 13 matrices\n"; result.generators := [ [[0,1,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,1,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,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,1,0], [0,0,0,0,0,0,0,0,0,0,0,0,1], [0,0,0,0,0,1,0,0,0,0,0,0,0], [3*a+A,-3*a-A,a,1,-a,2*a,-1,1,0,-2*a,1,-1,0], [0,0,0,0,0,0,0,1,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,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,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,1,0,0], [0,1,0,0,0,0,0,0,0,0,0,0,0], [0,-1,0,-1,-1,0,0,-1,-1,0,0,0,0], [-a,0,-a+A,-1,A,1,0,a+2*A,A,-A,A,A,A], [-1,-a,a+2*A,-1,-a,2*a+A,0,2*A,-1,2,A,-1,A], [1,1,-a+A,0,-a,1,-A,a+2*A,-a+A,-2*A,A,A,A], [-a,3*a+2*A,a,0,2*a+A,-a,A,-A,a,-2,a,0,a]]]; return result;