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