Magma V2.19-8 Tue Aug 20 2013 23:38:18 on localhost [Seed = 2547119033] Type ? for help. Type -D to quit. Loading file "K12n644__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n644 geometric_solution 9.62468160 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -11 11 0 11 0 -11 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396420877330 0.795437059641 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -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 11 0 -11 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539463974634 0.590236242508 6 0 8 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 -1 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 -10 10 -10 10 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229589170635 1.262951761678 9 4 8 0 0132 2310 3120 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -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 -1 0 1 -11 0 0 11 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306557535755 0.979397829319 6 5 0 3 1302 1023 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 11 0 -11 0 -11 10 0 1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.892289728904 1.294738211664 4 1 2 9 1023 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 -1 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 -10 11 -10 10 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436112927935 1.011399568663 7 4 1 2 0321 2031 0132 3120 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 -11 0 0 0 0 -10 0 0 10 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.075099038103 1.157711724973 6 8 9 1 0321 3120 0321 0132 0 0 0 0 0 0 0 0 0 0 0 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 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737279546669 0.726148564886 9 7 3 2 1302 3120 3120 0132 0 0 0 0 0 0 0 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 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.026193041998 0.857919693935 3 8 7 5 0132 2031 0321 2103 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 -11 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509129268283 0.752774255085 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : negation(d['c_0110_5']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0110_5'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0101_3']), 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : negation(d['c_0110_4']), 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_7']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_3'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_7']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_7'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_2, c_0101_3, c_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 1376690379102504824444318/3081797659305458328389*c_0110_5^14 + 1567563888739796587375/52233858632295903871*c_0110_5^13 + 18691722593609897707206873/6163595318610916656778*c_0110_5^12 + 3929512676543395980275173/3081797659305458328389*c_0110_5^11 + 880658019938641981117929/104467717264591807742*c_0110_5^10 + 3060250623754674986123067/560326847146446968798*c_0110_5^9 + 1718513846001615696762907/99412827719530913819*c_0110_5^8 + 142957176721612688019525/40023346224746212057*c_0110_5^7 + 79607354817200736892473141/3081797659305458328389*c_0110_5^6 - 30101101813128330941166788/3081797659305458328389*c_0110_5^5 + 7539223520763853362088471/440256808472208332627*c_0110_5^4 - 76119413551604048497265283/6163595318610916656778*c_0110_5^3 - 19942177226528881118841533/6163595318610916656778*c_0110_5^2 - 29172992025697498154572437/6163595318610916656778*c_0110_5 - 4195147646450589648679766/3081797659305458328389, c_0011_0 - 1, c_0011_3 + 1101008367815668/21882638723207333*c_0110_5^14 - 948463683718582/21882638723207333*c_0110_5^13 + 8398774411821673/21882638723207333*c_0110_5^12 - 3413688020880991/21882638723207333*c_0110_5^11 + 24323639984617398/21882638723207333*c_0110_5^10 - 2929380232376691/21882638723207333*c_0110_5^9 + 46312577229898770/21882638723207333*c_0110_5^8 - 25381339194851599/21882638723207333*c_0110_5^7 + 84718536821067616/21882638723207333*c_0110_5^6 - 94771415743676913/21882638723207333*c_0110_5^5 + 99944975106926725/21882638723207333*c_0110_5^4 - 120395355044373822/21882638723207333*c_0110_5^3 + 40694453908016596/21882638723207333*c_0110_5^2 - 42241382208954350/21882638723207333*c_0110_5 + 14154263379093202/21882638723207333, c_0011_6 + 403685817368588/21882638723207333*c_0110_5^14 + 1581696593713834/21882638723207333*c_0110_5^13 + 2102294041945125/21882638723207333*c_0110_5^12 + 11501467244563338/21882638723207333*c_0110_5^11 + 9023653237831140/21882638723207333*c_0110_5^10 + 31839516793891156/21882638723207333*c_0110_5^9 + 31744652605775130/21882638723207333*c_0110_5^8 + 58178127560285187/21882638723207333*c_0110_5^7 + 30979681047933357/21882638723207333*c_0110_5^6 + 86914438831230679/21882638723207333*c_0110_5^5 - 18403503847788678/21882638723207333*c_0110_5^4 + 59071788524983196/21882638723207333*c_0110_5^3 - 32600834322845870/21882638723207333*c_0110_5^2 - 25528964211761761/21882638723207333*c_0110_5 - 5138905281379920/21882638723207333, c_0011_7 - 1532355423688400/21882638723207333*c_0110_5^14 + 1082819150267392/21882638723207333*c_0110_5^13 - 9833688146075544/21882638723207333*c_0110_5^12 + 4222440688694806/21882638723207333*c_0110_5^11 - 21373093923149322/21882638723207333*c_0110_5^10 + 8860395479323609/21882638723207333*c_0110_5^9 - 31387356998773965/21882638723207333*c_0110_5^8 + 51275287877635204/21882638723207333*c_0110_5^7 - 52317827356603655/21882638723207333*c_0110_5^6 + 124993369920511319/21882638723207333*c_0110_5^5 - 46148901260568228/21882638723207333*c_0110_5^4 + 90628259684992152/21882638723207333*c_0110_5^3 - 9348265168411156/21882638723207333*c_0110_5^2 + 223637827883215/21882638723207333*c_0110_5 - 20215650999086540/21882638723207333, c_0011_8 + 2518269407189236/21882638723207333*c_0110_5^14 - 2049227950544934/21882638723207333*c_0110_5^13 + 15907828623287333/21882638723207333*c_0110_5^12 - 8016572942884305/21882638723207333*c_0110_5^11 + 35081159546010427/21882638723207333*c_0110_5^10 - 13830067712708282/21882638723207333*c_0110_5^9 + 56954283268325202/21882638723207333*c_0110_5^8 - 73523467544893353/21882638723207333*c_0110_5^7 + 104491315287313579/21882638723207333*c_0110_5^6 - 177985349833271135/21882638723207333*c_0110_5^5 + 123208485378636459/21882638723207333*c_0110_5^4 - 125523699865090621/21882638723207333*c_0110_5^3 + 55069729631855958/21882638723207333*c_0110_5^2 + 885784660160363/21882638723207333*c_0110_5 + 26972692915408948/21882638723207333, c_0101_0 - 2835921526892332/21882638723207333*c_0110_5^14 + 2627910361013366/21882638723207333*c_0110_5^13 - 19646432268978893/21882638723207333*c_0110_5^12 + 11858808732989858/21882638723207333*c_0110_5^11 - 49760383121388356/21882638723207333*c_0110_5^10 + 20939489708186055/21882638723207333*c_0110_5^9 - 85798455320455379/21882638723207333*c_0110_5^8 + 84959476914215962/21882638723207333*c_0110_5^7 - 161063956471157954/21882638723207333*c_0110_5^6 + 229172797997002553/21882638723207333*c_0110_5^5 - 211398336957777810/21882638723207333*c_0110_5^4 + 207273740180457142/21882638723207333*c_0110_5^3 - 91656247555260235/21882638723207333*c_0110_5^2 + 30665492108754742/21882638723207333*c_0110_5 - 7201442734277370/21882638723207333, c_0101_2 - 2908602395543780/21882638723207333*c_0110_5^14 + 3972570604961126/21882638723207333*c_0110_5^13 - 21682294120465449/21882638723207333*c_0110_5^12 + 18816431018831113/21882638723207333*c_0110_5^11 - 58189964266014510/21882638723207333*c_0110_5^10 + 30718255952694757/21882638723207333*c_0110_5^9 - 106178193771223297/21882638723207333*c_0110_5^8 + 97674716805938122/21882638723207333*c_0110_5^7 - 228406545107599638/21882638723207333*c_0110_5^6 + 263737296443335534/21882638723207333*c_0110_5^5 - 325596921407117970/21882638723207333*c_0110_5^4 + 267184303958053569/21882638723207333*c_0110_5^3 - 150246820227212751/21882638723207333*c_0110_5^2 + 52093006479683195/21882638723207333*c_0110_5 - 7840022526470977/21882638723207333, c_0101_3 - 2705355848604252/21882638723207333*c_0110_5^14 + 1829173892014714/21882638723207333*c_0110_5^13 - 18991692861704839/21882638723207333*c_0110_5^12 + 5035135244593511/21882638723207333*c_0110_5^11 - 49961604876460466/21882638723207333*c_0110_5^10 - 2241567559312633/21882638723207333*c_0110_5^9 - 93835439029587899/21882638723207333*c_0110_5^8 + 37713076687792484/21882638723207333*c_0110_5^7 - 168108433294616342/21882638723207333*c_0110_5^6 + 152743145454734373/21882638723207333*c_0110_5^5 - 164495817200244744/21882638723207333*c_0110_5^4 + 142536041776561968/21882638723207333*c_0110_5^3 - 20520685849634888/21882638723207333*c_0110_5^2 + 24971130587914564/21882638723207333*c_0110_5 - 16117568657101748/21882638723207333, c_0110_4 - 2914328713101620/21882638723207333*c_0110_5^14 + 1423906082181378/21882638723207333*c_0110_5^13 - 21471908509345251/21882638723207333*c_0110_5^12 + 1983718134470650/21882638723207333*c_0110_5^11 - 62632724719745457/21882638723207333*c_0110_5^10 - 12476822392947710/21882638723207333*c_0110_5^9 - 127955624331566180/21882638723207333*c_0110_5^8 + 13406748010769640/21882638723207333*c_0110_5^7 - 224895018549763905/21882638723207333*c_0110_5^6 + 132754057171823281/21882638723207333*c_0110_5^5 - 241297976721831036/21882638723207333*c_0110_5^4 + 176776632651486955/21882638723207333*c_0110_5^3 - 82561158086214373/21882638723207333*c_0110_5^2 + 66770732415798758/21882638723207333*c_0110_5 - 774352601413638/21882638723207333, c_0110_5^15 - 1/2*c_0110_5^14 + 27/4*c_0110_5^13 - c_0110_5^12 + 69/4*c_0110_5^11 + 3/2*c_0110_5^10 + 127/4*c_0110_5^9 - 14*c_0110_5^8 + 213/4*c_0110_5^7 - 219/4*c_0110_5^6 + 203/4*c_0110_5^5 - 99/2*c_0110_5^4 + 17/2*c_0110_5^3 - 13/2*c_0110_5^2 + 3*c_0110_5 + 7/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB