# Character: X8 # Comment: Galois conjugate of X.7 # Ind: 1 # Ring: C # Sparsity: 84% # 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 := "U34 as 39 x 39 matrices\n"; result.generators := [ [[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,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,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,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,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,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,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,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,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,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,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,0,0,0,0,0,0,0,0,0,0,0,0,0,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,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,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,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, 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,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,1,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,1,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0], [26/55*a-41/55*A,-26/55*a+41/55*A,4/5*a+6/5*A,-86/55*a-114/55*A,-4/5*a-6/5*A, 14/11*a+27/11*A,86/55*a+114/55*A,1/55*a-46/55*A,15/11*a+3/11*A,-14/11*a-27/11*A, 43/55*a+2/55*A,-1/55*a+46/55*A,-15/11*a-3/11*A,39/55*a-34/55*A,34/55*a+31/55*A, -43/55*a-2/55*A,-4/5*a-6/5*A,0,0,-39/55*a+34/55*A,-34/55*a-31/55*A, 34/55*a+31/55*A,9/55*a+81/55*A,4/5*a+6/5*A,10/11*a+24/11*A,-49/55*a-1/55*A, 3/11*a+5/11*A,-42/55*a-48/55*A,-34/55*a-31/55*A,-9/55*a-81/55*A, 1,0,-10/11*a-24/11*A,49/55*a+1/55*A,-3/11*a-5/11*A,0,42/55*a+48/55*A, 0,0], [-13/55*a-7/55*A,13/55*a+7/55*A,-2/5*a-3/5*A,43/55*a+57/55*A,2/5*a+3/5*A, -7/11*a-8/11*A,-43/55*a-57/55*A,-28/55*a-32/55*A,-13/11*a-7/11*A, 7/11*a+8/11*A,-49/55*a-1/55*A,28/55*a+32/55*A,13/11*a+7/11*A,-47/55*a+17/55*A, -17/55*a-43/55*A,49/55*a+1/55*A,2/5*a-2/5*A,0,0,47/55*a-17/55*A, 17/55*a+43/55*A,-17/55*a+12/55*A,23/55*a-13/55*A,-2/5*a+2/5*A,-5/11*a-12/11*A, 52/55*a+28/55*A,4/11*a+3/11*A,21/55*a+24/55*A,17/55*a-12/55*A,-23/55*a+13/55*A, 0,1,5/11*a+12/11*A,-52/55*a-28/55*A,-4/11*a-3/11*A,0,-21/55*a-24/55*A, 0,0], [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,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,1,0,0,0,0,0,0, 0,0,0,0,0,0], [-20/11*a-26/11*A,20/11*a+26/11*A,-a,1/11*a-13/11*A,a,2/11*a+18/11*A, -1/11*a+13/11*A,-5/11*a-1/11*A,-12/11*a+2/11*A,-2/11*a-18/11*A,-6/11*a-10/11*A, 5/11*a+1/11*A,12/11*a-2/11*A,-8/11*a-6/11*A,-5/11*a+10/11*A,6/11*a+10/11*A, a,0,0,8/11*a+6/11*A,5/11*a-10/11*A,-5/11*a-1/11*A,10/11*a+24/11*A, -a,14/11*a+27/11*A,14/11*a+5/11*A,-9/11*a-4/11*A,1/11*a-13/11*A, 5/11*a+1/11*A,-10/11*a-24/11*A,0,0,-14/11*a-27/11*A,-14/11*a-5/11*A, 9/11*a+4/11*A,1,-1/11*a+13/11*A,0,0], [0,0,0,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,1,0], [1,-1,-1,1,1,a+2*A,-1,1,2*a+A,-a-2*A,3*a+A,-1,-2*a-A,2*a,0,-3*a-A, 1,0,0,-2*a,0,0,-a+A,-1,a+2*A,-a,-a,1,0,a-A,0,0,-a-2*A,a,a,0,-1,0, 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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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,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, 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,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,1], [387/110*a+339/55*A,109/55*a-64/55*A,63/10*a+27/10*A,-291/55*a+296/55*A, 21/5*a+63/10*A,-15/22*a-51/11*A,456/55*a+34/55*A,17/110*a-177/110*A, 233/22*a-35/11*A,-9/11*a+113/22*A,1273/55*a+897/55*A,239/55*a+281/55*A, -409/22*a-183/22*A,2093/110*a+481/55*A,-371/55*a-479/55*A,-1273/55*a-859/110*A, 1/5*a+23/10*A,a-A,-17/2*a-11/2*A,-1129/55*a-1347/110*A,27/110*a+259/55*A, 69/55*a+71/55*A,-2047/110*a-604/55*A,39/5*a+97/10*A,30/11*a-175/22*A, -1273/110*a-201/55*A,-123/11*a-7/11*A,-549/110*a-78/55*A,-289/55*a-527/110*A, 947/110*a+604/55*A,-25/2*a-13/2*A,-2*a-13/2*A,39/22*a+93/11*A,279/55*a+127/110*A, 103/22*a+40/11*A,-9/2*a+3/2*A,82/55*a-417/55*A,-3*a-4*A,-11/2*a-A ], [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], [-109/55*a-477/110*A,-1/55*a+101/55*A,-17/10*a-4/5*A,39/55*a-254/55*A, -23/10*a-37/10*A,9/11*a+63/22*A,-149/55*a+34/55*A,17/110*a+49/55*A, -32/11*a+73/22*A,-7/22*a-85/22*A,-487/55*a-423/55*A,-146/55*a-159/55*A, 141/22*a+35/11*A,-356/55*a-303/110*A,179/55*a+291/55*A,919/110*a+241/110*A, -13/10*a-27/10*A,-a,7/2*a+3*A,877/110*a+633/110*A,-14/55*a-307/110*A, 14/55*a+16/55*A,434/55*a+607/110*A,-27/10*a-53/10*A,-17/22*a+111/22*A, 216/55*a+93/110*A,42/11*a-7/11*A,83/55*a+9/110*A,247/110*a+243/110*A, -214/55*a-717/110*A,11/2*a+3*A,3/2*a+7/2*A,-19/11*a-111/22*A,-157/110*a+17/110*A, -20/11*a-41/22*A,3/2*a-2*A,27/55*a+298/55*A,2*a+3*A,2*a+1/2*A], [-31/11*a-26/11*A,-24/11*a-7/11*A,-5*a-2*A,67/11*a+9/11*A,-4*a-2*A, -20/11*a-4/11*A,-89/11*a-31/11*A,6/11*a+10/11*A,-133/11*a-31/11*A, 31/11*a+4/11*A,-204/11*a-98/11*A,-50/11*a-32/11*A,188/11*a+75/11*A, -184/11*a-72/11*A,39/11*a+32/11*A,237/11*a+87/11*A,-2*a-A,-a,9*a+4*A, 195/11*a+83/11*A,27/11*a+1/11*A,6/11*a-1/11*A,197/11*a+79/11*A,-4*a-3*A, -63/11*a-6/11*A,135/11*a+49/11*A,134/11*a+40/11*A,45/11*a+20/11*A, 49/11*a+23/11*A,-54/11*a-35/11*A,13*a+5*A,-a+A,-3/11*a-16/11*A,-47/11*a-16/11*A, -35/11*a-18/11*A,7*a+2*A,-45/11*a+2/11*A,3*a+2*A,6*a+2*A], [-23/11*a-29/22*A,-21/11*a-2/11*A,-11/2*a-2*A,82/11*a+23/11*A,-5/2*a-3/2*A, -12/11*a-7/22*A,-104/11*a-34/11*A,-17/22*a+6/11*A,-148/11*a-101/22*A, 79/22*a+29/22*A,-206/11*a-94/11*A,-41/11*a-28/11*A,373/22*a+67/11*A, -183/11*a-137/22*A,41/11*a+28/11*A,511/22*a+221/22*A,-1/2,-2*a-A, 15/2*a+3*A,399/22*a+159/22*A,25/11*a-1/22*A,-3/11*a-5/11*A,182/11*a+141/22*A, -9/2*a-5/2*A,-135/22*a-27/22*A,136/11*a+105/22*A,131/11*a+46/11*A, 49/11*a+35/22*A,105/22*a+65/22*A,-50/11*a-53/22*A,25/2*a+5*A,1/2, 7/11*a-17/22*A,-107/22*a-39/22*A,-32/11*a-15/22*A,13/2*a+2*A,-49/11*a-12/11*A, 2*a+A,6*a+5/2*A], [-207/110*a-244/55*A,131/55*a+189/55*A,-3/10*a+3/10*A,-159/55*a-331/55*A, 4/5*a-23/10*A,29/22*a+37/11*A,159/55*a+221/55*A,83/110*a+197/110*A, 79/22*a+64/11*A,-20/11*a-107/22*A,52/55*a-247/55*A,-14/55*a-126/55*A, -35/22*a-7/22*A,267/110*a+19/55*A,36/55*a+269/55*A,-217/55*a-111/110*A, 4/5*a-13/10*A,0,-3/2*a+1/2*A,-106/55*a+237/110*A,-127/110*a-214/55*A, -74/55*a-61/55*A,-243/110*a+144/55*A,-9/5*a-47/10*A,52/11*a+177/22*A, -217/110*a-69/55*A,-46/11*a-40/11*A,-21/110*a-67/55*A,-36/55*a+177/110*A, -197/110*a-309/55*A,-5/2*a-1/2*A,2*a+7/2*A,-71/22*a-72/11*A,-29/55*a-27/110*A, 15/22*a-4/11*A,7/2,148/55*a+342/55*A,2*A,-1/2*a], [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], [529/110*a+373/55*A,38/55*a-98/55*A,51/10*a+19/10*A,-162/55*a+357/55*A, 27/5*a+71/10*A,-13/22*a-53/11*A,327/55*a-27/55*A,-151/110*a-259/110*A, 177/22*a-45/11*A,-10/11*a+117/22*A,1016/55*a+784/55*A,323/55*a+322/55*A, -353/22*a-163/22*A,1701/110*a+422/55*A,-257/55*a-443/55*A,-1016/55*a-633/110*A, 12/5*a+31/10*A,a-A,-17/2*a-11/2*A,-933/55*a-1229/110*A,-201/110*a+223/55*A, 18/55*a+52/55*A,-1909/110*a-588/55*A,28/5*a+89/10*A,15/11*a-181/22*A, -1181/110*a-172/55*A,-100/11*a+2/11*A,-423/110*a-61/55*A,-238/55*a-489/110*A, 809/110*a+588/55*A,-25/2*a-13/2*A,-2*a-13/2*A,69/22*a+96/11*A,233/55*a+69/110*A, 57/22*a+31/11*A,-9/2*a+3/2*A,19/55*a-434/55*A,-3*a-4*A,-11/2*a-A ], [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], [5/11*a-32/11*A,39/11*a+32/11*A,5*a+2*A,-102/11*a-82/11*A,a-2*A,27/11*a+45/11*A, 91/11*a+49/11*A,4/11*a+3/11*A,146/11*a+93/11*A,-49/11*a-56/11*A, 172/11*a+30/11*A,29/11*a-3/11*A,-168/11*a-60/11*A,167/11*a+51/11*A, -18/11*a+25/11*A,-227/11*a-96/11*A,-a-2*A,-1,-6*a-A,-167/11*a-40/11*A, -37/11*a-36/11*A,4/11*a+3/11*A,-151/11*a-28/11*A,2*a-2*A,90/11*a+84/11*A, -119/11*a-48/11*A,-127/11*a-65/11*A,-47/11*a-27/11*A,-37/11*a-3/11*A, 30/11*a-38/11*A,-10*a-3*A,2*a+3*A,-35/11*a-62/11*A,53/11*a+26/11*A, 28/11*a-1/11*A,-6*a-4*A,69/11*a+71/11*A,-a+A,-6*a-3*A]]]; return result;