# Character: X14 # Comment: complex conjugate of X.13 # Ind: 0 # Ring: C # Sparsity: 72% # 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 := "U33 as 32 x 32 matrices\n"; result.generators := [ [[-43/1024*b-269/2048*B,0,0,-65/512*b+153/1024*B,541/1024*b+1003/2048*B, 0,0,985/1024*b+399/2048*B,19/256*b-155/512*B,0,0,-181/512*b-787/1024*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [143/256*b+329/512*B,0,0,-19/128*b+27/256*B,231/256*b+433/512*B,0, 0,219/256*b-35/512*B,-23/64*b-65/128*B,0,0,-47/128*b-169/256*B,0, 0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-61/512*b+309/1024*B,0,0,9/256*b-33/512*B,315/512*b+1149/1024*B,0, 0,671/512*b+697/1024*B,21/128*b-205/256*B,0,0,29/256*b-277/512*B, 0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [115/512*b+5/1024*B,0,0,25/256*b+79/512*B,363/512*b+461/1024*B,0,0, 271/512*b+457/1024*B,-27/128*b-157/256*B,0,0,-147/256*b-229/512*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-811/1024*b-1549/2048*B,0,0,191/512*b+409/1024*B,-1251/1024*b-2325/2048*B, 0,0,-807/1024*b+143/2048*B,19/256*b+101/512*B,0,0,75/512*b+493/1024*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-1165/1024*b-2811/2048*B,-1,0,25/512*b+335/1024*B,-917/1024*b-2355/2048*B, 0,0,-2033/1024*b-1335/2048*B,229/256*b+611/512*B,0,-1,109/512*b+1563/1024*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-241/512*b-567/1024*B,0,0,-19/256*b+155/512*B,-409/512*b-975/1024*B, 0,0,-421/512*b-931/1024*B,-87/128*b+63/256*B,0,0,-175/256*b-297/512*B, 0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0], [47/256*b+425/512*B,0,0,77/128*b+59/256*B,135/256*b+273/512*B,0,0, 251/256*b+445/512*B,9/64*b-33/128*B,0,0,49/128*b-9/256*B,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [15/16*b+41/32*B,0,0,-3/8*b-5/16*B,7/16*b+17/32*B,0,0,27/16*b+29/32*B, -3/4*b-9/8*B,0,0,1/8*b-9/16*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0], [-243/1024*b-901/2048*B,0,0,-153/512*b-207/1024*B,-491/1024*b-1357/2048*B, 0,0,-1935/1024*b-1865/2048*B,155/256*b+797/512*B,0,0,-237/512*b+613/1024*B, 0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0], [-777/1024*b-1503/2048*B,0,0,-91/512*b-93/1024*B,-1393/1024*b-2999/2048*B, -1,0,-1181/1024*b+661/2048*B,385/256*b+807/512*B,0,0,361/512*b+1663/1024*B, 0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-319/1024*b-1305/2048*B,0,0,-125/512*b-651/1024*B,-535/1024*b-1537/2048*B, 0,0,-1099/1024*b-2541/2048*B,-121/256*b+17/512*B,0,0,-545/512*b-647/1024*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-53/64*b-19/128*B,0,0,1/32*b+7/64*B,-61/64*b-11/128*B,0,0,7/64*b+81/128*B, 13/16*b+27/32*B,0,0,21/32*b+51/64*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 1,0,0,0,0,0], [-771/1024*b-2037/2048*B,-1,-1,311/512*b+481/1024*B,389/1024*b+1219/2048*B, 0,0,-223/1024*b+391/2048*B,43/256*b+13/512*B,0,0,291/512*b+213/1024*B, -1,-1,-1,0,-1,0,0,0,0,-1,0,0,0,0,-1,0,0,0,0,0], [409/1024*b+463/2048*B,1,0,11/512*b+45/1024*B,-383/1024*b-729/2048*B, 0,0,109/1024*b+539/2048*B,111/256*b+105/512*B,0,0,7/512*b-111/1024*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-7/512*b+111/1024*B,0,0,43/256*b+13/512*B,-31/512*b-313/1024*B,0, 0,77/512*b-197/1024*B,-113/128*b-183/256*B,0,0,-89/256*b-527/512*B, 0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0], [477/512*b+43/1024*B,0,1,-41/256*b+65/512*B,-155/512*b-1053/1024*B, 0,0,-639/512*b-1497/1024*B,-53/128*b+109/256*B,0,0,-189/256*b-75/512*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-209/512*b-855/1024*B,0,0,77/256*b+315/512*B,-633/512*b-1007/1024*B, 0,0,-261/512*b+701/1024*B,137/128*b+223/256*B,0,0,305/256*b+759/512*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0], [-11/1024*b+979/2048*B,0,0,31/512*b-199/1024*B,829/1024*b+1995/2048*B, 0,0,633/1024*b+2031/2048*B,243/256*b+133/512*B,0,0,299/512*b+525/1024*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1], [-15/64*b+55/128*B,0,0,-13/32*b-27/64*B,25/64*b+143/128*B,0,1,37/64*b+227/128*B, 23/16*b+17/32*B,0,0,47/32*b+73/64*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0], [-129/512*b-295/1024*B,0,0,61/256*b-53/512*B,87/512*b-63/1024*B,0, 0,-117/512*b-851/1024*B,-71/128*b-81/256*B,0,0,-287/256*b-569/512*B, 0,0,0,0,0,0,0,0,-1,0,0,0,0,-1,0,0,0,0,0,0], [-19/256*b+155/512*B,0,0,7/128*b-111/256*B,-11/256*b-45/512*B,0,0, 209/256*b+343/512*B,-5/64*b-3/128*B,0,0,51/128*b+69/256*B,0,0,0, 0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0], [-267/512*b+211/1024*B,0,0,31/256*b+57/512*B,61/512*b+715/1024*B,0, 0,889/512*b+1775/1024*B,-13/128*b-251/256*B,1,0,299/256*b+13/512*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [231/512*b+433/1024*B,1,1,117/256*b+83/512*B,-1/512*b-935/1024*B,0, 0,-493/512*b-1691/1024*B,-111/128*b-105/256*B,0,0,-135/256*b-17/512*B, 1,1,1,0,1,0,0,0,0,1,-1,0,0,0,1,0,0,0,-1,0], [-763/1024*b-701/2048*B,0,0,-177/512*b-119/1024*B,-307/1024*b+699/2048*B, 0,0,-311/1024*b+2079/2048*B,355/256*b+661/512*B,0,0,539/512*b+1693/1024*B, 0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [55/1024*b+225/2048*B,0,0,-155/512*b-29/1024*B,-49/1024*b+265/2048*B, 0,0,-93/1024*b+85/2048*B,65/256*b+103/512*B,0,0,41/512*b-65/1024*B, 0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0], [441/512*b+687/1024*B,0,0,-149/256*b-307/512*B,417/512*b+263/1024*B, 0,0,269/512*b+123/1024*B,-49/128*b-119/256*B,0,0,-25/256*b-335/512*B, 1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [1613/1024*b+1851/2048*B,0,0,-217/512*b-143/1024*B,853/1024*b-141/2048*B, 0,0,-847/1024*b-2441/2048*B,91/256*b+349/512*B,-1,0,-557/512*b-603/1024*B, -1,-1,0,0,0,0,0,0,0,0,0,-1,0,0,-1,-1,0,0,1,0], [-33/128*b-135/256*B,1,0,29/64*b+43/128*B,55/128*b+97/256*B,-1,0,-149/128*b-563/256*B, -7/32*b+15/64*B,0,1,-63/64*b-89/128*B,1,1,0,-1,0,1,-1,0,0,0,-1,1, -1,1,1,0,-1,1,-1,-1], [439/1024*b+865/2048*B,0,0,-27/512*b-157/1024*B,1359/1024*b+1929/2048*B, 0,0,-221/1024*b-2859/2048*B,-319/256*b-537/512*B,0,0,-855/512*b-1729/1024*B, 0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [361/256*b+639/512*B,0,0,-5/128*b+61/256*B,209/256*b+87/512*B,0,0, -131/256*b-629/512*B,31/64*b+121/128*B,-1,0,-73/128*b-159/256*B, 0,-1,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0], [105/1024*b-129/2048*B,0,0,123/512*b+317/1024*B,-559/1024*b-1449/2048*B, 0,0,381/1024*b-117/2048*B,-225/256*b-199/512*B,0,0,-201/512*b-543/1024*B, 0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0]] , [[0,-43/1024*b-269/2048*B,207/512*b+521/1024*B,0,0,541/1024*b+1003/2048*B, 271/512*b+969/1024*B,0,0,101/512*b+227/1024*B,357/1024*b-29/2048*B, 0,-181/512*b-787/1024*B,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,143/256*b+329/512*B,-35/128*b-149/256*B,0,0,231/256*b+433/512*B, 221/128*b+427/256*B,0,0,-65/128*b-231/256*B,-65/256*b-231/512*B, 0,-47/128*b-169/256*B,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,-61/512*b+309/1024*B,57/256*b-273/512*B,0,0,315/512*b+1149/1024*B, 313/256*b+815/512*B,0,0,51/256*b-315/512*B,51/512*b-315/1024*B,0, 29/256*b-277/512*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,115/512*b+5/1024*B,-183/256*b-161/512*B,0,0,363/512*b+461/1024*B, 73/256*b+159/512*B,0,0,-29/256*b-107/512*B,-29/512*b-363/1024*B, 0,-147/256*b-229/512*B,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,-811/1024*b-1549/2048*B,207/512*b+777/1024*B,0,0,-1251/1024*b-2325/2048*B, -1009/512*b-1847/1024*B,0,0,357/512*b+995/1024*B,101/1024*b+739/2048*B, 0,75/512*b+493/1024*B,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,-1165/1024*b-2811/2048*B,649/512*b+1375/1024*B,0,0,-917/1024*b-2355/2048*B, -1207/512*b-2657/1024*B,0,-1,355/512*b+1173/1024*B,-413/1024*b+405/2048*B, 0,109/512*b+1563/1024*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,-241/512*b-567/1024*B,93/256*b+491/512*B,0,0,-409/512*b-975/1024*B, -35/256*b-213/512*B,0,0,63/256*b+409/512*B,63/512*b+409/1024*B,0, -175/256*b-297/512*B,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0], [0,47/256*b+425/512*B,-131/128*b-373/256*B,0,0,135/256*b+273/512*B, 61/128*b+203/256*B,0,0,-33/128*b-135/256*B,-33/256*b-135/512*B,0, 49/128*b-9/256*B,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0], [1,15/16*b+41/32*B,-11/8*b-21/16*B,0,0,7/16*b+17/32*B,13/8*b+27/16*B, 0,1,-9/8*b-23/16*B,-1/16*b-7/32*B,0,1/8*b-9/16*B,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0], [0,-243/1024*b-901/2048*B,887/512*b+1825/1024*B,0,0,-491/1024*b-1357/2048*B, -969/512*b-2335/1024*B,0,0,29/512*b+747/1024*B,-227/1024*b+1003/2048*B, 0,-237/512*b+613/1024*B,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0], [0,-777/1024*b-1503/2048*B,725/512*b+1139/1024*B,0,0,-1393/1024*b-2999/2048*B, -1259/512*b-1613/1024*B,0,0,807/512*b+1649/1024*B,551/1024*b+1905/2048*B, 0,361/512*b+1663/1024*B,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0], [0,-319/1024*b-1305/2048*B,-45/512*b+805/1024*B,0,0,-535/1024*b-1537/2048*B, -109/512*b-1051/1024*B,0,0,17/512*b+279/1024*B,-239/1024*b+23/2048*B, 0,-545/512*b-647/1024*B,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0], [0,-53/64*b-19/128*B,57/32*b+55/64*B,0,0,-61/64*b-11/128*B,-15/32*b+23/64*B, 0,0,43/32*b+61/64*B,43/64*b+61/128*B,0,21/32*b+51/64*B,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,-771/1024*b-2037/2048*B,-313/512*b-815/1024*B,0,0,-635/1024*b-829/2048*B, -249/512*b-367/1024*B,0,0,13/512*b-133/1024*B,-243/1024*b+123/2048*B, 0,291/512*b+213/1024*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0], [0,409/1024*b+463/2048*B,-37/512*b-419/1024*B,0,0,-383/1024*b-729/2048*B, -101/512*b+285/1024*B,0,1,105/512*b+127/1024*B,361/1024*b-129/2048*B, 0,7/512*b-111/1024*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,-7/512*b+111/1024*B,-261/256*b-195/512*B,0,0,-31/512*b-313/1024*B, 187/256*b+253/512*B,0,0,-55/256*b+31/512*B,-55/512*b+31/1024*B,0, -89/256*b-527/512*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,477/512*b+43/1024*B,-89/256*b+305/512*B,0,0,-155/512*b-1053/1024*B, -89/256*b-783/512*B,0,0,-147/256*b+155/512*B,-147/512*b+155/1024*B, 0,-189/256*b-75/512*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0], [0,-209/512*b-855/1024*B,189/256*b+395/512*B,0,0,-633/512*b-1007/1024*B, -451/256*b-565/512*B,0,0,95/256*b+377/512*B,95/512*b+633/1024*B, 0,305/256*b+759/512*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0], [0,-11/1024*b+979/2048*B,175/512*b-343/1024*B,0,0,829/1024*b+1995/2048*B, -145/512*b+105/1024*B,0,0,-123/512*b-573/1024*B,133/1024*b-317/2048*B, 0,299/512*b+525/1024*B,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1], [0,49/64*b+183/128*B,59/32*b+21/64*B,0,-1,25/64*b+143/128*B,-29/32*b+21/64*B, 0,0,17/32*b+7/64*B,17/64*b+39/128*B,0,79/32*b+137/64*B,-1,-1,0,-1, 0,0,0,0,-1,0,0,0,0,-1,0,0,0,0,0], [0,-129/512*b-295/1024*B,-83/256*b+27/512*B,0,-1,87/512*b-63/1024*B, 45/256*b-165/512*B,0,0,-81/256*b-87/512*B,-81/512*b-87/1024*B,1, -287/256*b-569/512*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0], [0,-19/256*b+155/512*B,23/128*b+129/256*B,0,0,-11/256*b-45/512*B,-41/128*b+65/256*B, 0,0,-3/128*b+11/256*B,-3/256*b+11/512*B,0,51/128*b+69/256*B,0,0, 0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0], [0,-267/512*b+211/1024*B,47/256*b-343/512*B,0,0,61/512*b+715/1024*B, 111/256*b+873/512*B,1,0,133/256*b-61/512*B,133/512*b-61/1024*B,0, 299/256*b+13/512*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [-1,231/512*b+433/1024*B,-219/256*b-221/512*B,0,0,511/512*b+89/1024*B, 229/256*b-157/512*B,0,-1,23/256*b+1/512*B,-489/512*b-1023/1024*B, 0,-135/256*b-17/512*B,-1,0,0,0,0,0,0,0,0,0,-1,0,0,0,-1,0,0,0,0], [0,-763/1024*b-701/2048*B,863/512*b+1017/1024*B,0,0,-307/1024*b+699/2048*B, -1121/512*b-1095/1024*B,0,0,149/512*b+563/1024*B,405/1024*b+1843/2048*B, 0,539/512*b+1693/1024*B,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0], [0,55/1024*b+225/2048*B,149/512*b+179/1024*B,0,1,-49/1024*b+265/2048*B, 213/512*b+499/1024*B,0,0,103/512*b+305/1024*B,359/1024*b+561/2048*B, -1,41/512*b-65/1024*B,0,0,0,1,0,0,1,1,0,0,0,0,0,0,0,1,0,0,1], [0,441/512*b+687/1024*B,-197/256*b-259/512*B,0,0,417/512*b+263/1024*B, 251/256*b+445/512*B,0,0,-119/256*b-161/512*B,393/512*b+607/1024*B, 0,-25/256*b-335/512*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0], [-1,1613/1024*b+1851/2048*B,-329/512*b-159/1024*B,1,0,-171/1024*b-2189/2048*B, -9/512*b-1247/1024*B,-1,0,-419/512*b-85/1024*B,861/1024*b+1707/2048*B, 0,-45/512*b+421/1024*B,-1,0,1,0,-1,1,0,0,0,1,-1,1,-1,-1,0,1,-1,1, 1], [0,95/128*b+121/256*B,29/64*b+59/128*B,0,0,55/128*b+97/256*B,141/64*b+187/128*B, 0,0,-17/64*b-55/128*B,-17/128*b-55/256*B,0,-63/64*b-89/128*B,0,0, 0,0,0,-1,0,1,0,0,0,0,1,0,0,0,0,0,0], [0,439/1024*b+865/2048*B,-619/512*b-461/1024*B,0,0,1359/1024*b+1929/2048*B, 853/512*b+371/1024*B,0,0,-793/512*b-1103/1024*B,-537/1024*b-1871/2048*B, 0,-855/512*b-1729/1024*B,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1], [-1,361/256*b+639/512*B,11/128*b-19/256*B,0,0,-47/256*b-425/512*B, 139/128*b+45/256*B,-1,0,57/128*b+175/256*B,185/256*b+303/512*B,0, 55/128*b+97/256*B,-1,0,1,0,-1,1,0,0,0,1,-1,1,-1,-1,0,1,-1,1,1], [0,-919/1024*b-2177/2048*B,-949/512*b-915/1024*B,0,1,-559/1024*b-1449/2048*B, 267/512*b+301/1024*B,0,0,57/512*b-209/1024*B,-199/1024*b-977/2048*B, -1,-713/512*b-1567/1024*B,1,1,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0]]]; return result;