Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 223121880] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1381 geometric_solution 5.23634873 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 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.780152004161 0.100411783007 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1 -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.697348537103 0.246976736750 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 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 0 -1 1 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 1.058141374466 1.152139441154 2 4 6 5 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.297789954374 1.057414594807 5 6 3 2 3201 3201 2310 0132 0 0 0 0 0 0 0 0 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 -1 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.297789954374 1.057414594807 5 5 3 4 1302 2031 0132 2310 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.047473538627 1.334175842541 6 6 4 3 1302 2031 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 -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 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304876553185 0.540654468703 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 46530964566753088661225/416238318347814990592*c_0101_3^18 + 92239006313581968605323/208119159173907495296*c_0101_3^17 - 4436173157776115236463/208119159173907495296*c_0101_3^16 - 761647327801426587186613/416238318347814990592*c_0101_3^15 - 123991061919795970835939/104059579586953747648*c_0101_3^14 + 806936142976322413066059/416238318347814990592*c_0101_3^13 - 28470573585183301228785/104059579586953747648*c_0101_3^12 - 1332840656118188453701643/416238318347814990592*c_0101_3^11 + 1704559665191072318465969/416238318347814990592*c_0101_3^10 + 924415934623056876360983/104059579586953747648*c_0101_3^9 - 339444715255244237434687/416238318347814990592*c_0101_3^8 - 3445581804790020503014741/416238318347814990592*c_0101_3^7 - 686008647987191286232731/208119159173907495296*c_0101_3^6 + 381933454149091750190721/208119159173907495296*c_0101_3^5 + 366127599971804899526471/208119159173907495296*c_0101_3^4 + 66951243897435705044609/104059579586953747648*c_0101_3^3 - 33439522030716566092757/208119159173907495296*c_0101_3^2 - 52668610793254671359621/208119159173907495296*c_0101_3 + 5105534694960003902419/416238318347814990592, c_0011_0 - 1, c_0011_4 - 2329859213028397057/1625930931046152307*c_0101_3^18 - 12676475435959726299/1625930931046152307*c_0101_3^17 - 11201490894182935946/1625930931046152307*c_0101_3^16 + 44814668480608664941/1625930931046152307*c_0101_3^15 + 74805329255176692625/1625930931046152307*c_0101_3^14 - 31122479272351734401/1625930931046152307*c_0101_3^13 - 48370118945859675131/1625930931046152307*c_0101_3^12 + 107557780154166215014/1625930931046152307*c_0101_3^11 - 23039469786807174213/1625930931046152307*c_0101_3^10 - 336229314409183898135/1625930931046152307*c_0101_3^9 - 156557145969997220526/1625930931046152307*c_0101_3^8 + 260898827532360575254/1625930931046152307*c_0101_3^7 + 238777898896190919757/1625930931046152307*c_0101_3^6 - 10412124049065460838/1625930931046152307*c_0101_3^5 - 77091882314336155310/1625930931046152307*c_0101_3^4 - 41192691014829261671/1625930931046152307*c_0101_3^3 - 2572754409110665082/1625930931046152307*c_0101_3^2 + 11211832504630342275/1625930931046152307*c_0101_3 + 5508517412708519/1625930931046152307, c_0011_5 + 1670098535961107770/1625930931046152307*c_0101_3^18 + 6561672241917573616/1625930931046152307*c_0101_3^17 + 420105463177098175/1625930931046152307*c_0101_3^16 - 24092538937882466089/1625930931046152307*c_0101_3^15 - 18961677184950090415/1625930931046152307*c_0101_3^14 + 15607942376469165673/1625930931046152307*c_0101_3^13 - 6610874275945205573/1625930931046152307*c_0101_3^12 - 32642542495356780622/1625930931046152307*c_0101_3^11 + 49646448073311542750/1625930931046152307*c_0101_3^10 + 115345145487547676212/1625930931046152307*c_0101_3^9 + 27588378159538562312/1625930931046152307*c_0101_3^8 - 79895239915493824541/1625930931046152307*c_0101_3^7 - 71372325099162544001/1625930931046152307*c_0101_3^6 - 13969664428541994711/1625930931046152307*c_0101_3^5 + 16808531668500760345/1625930931046152307*c_0101_3^4 + 17729749952189335205/1625930931046152307*c_0101_3^3 + 6700384768604585913/1625930931046152307*c_0101_3^2 - 579398642355516628/1625930931046152307*c_0101_3 - 1785510470631687610/1625930931046152307, c_0011_6 - 6327080752829797093/1625930931046152307*c_0101_3^18 - 22653750798808198297/1625930931046152307*c_0101_3^17 + 9201955016763792400/1625930931046152307*c_0101_3^16 + 97691634718668814940/1625930931046152307*c_0101_3^15 + 31388000798328562768/1625930931046152307*c_0101_3^14 - 112053867832529542322/1625930931046152307*c_0101_3^13 + 59579684897595900201/1625930931046152307*c_0101_3^12 + 149349323021272212068/1625930931046152307*c_0101_3^11 - 278527307957756954975/1625930931046152307*c_0101_3^10 - 387540097957346113703/1625930931046152307*c_0101_3^9 + 162967899813090388164/1625930931046152307*c_0101_3^8 + 378114208038005920043/1625930931046152307*c_0101_3^7 + 55782167123780029885/1625930931046152307*c_0101_3^6 - 103558945399710471419/1625930931046152307*c_0101_3^5 - 50443276676133531785/1625930931046152307*c_0101_3^4 - 12804194899165583675/1625930931046152307*c_0101_3^3 + 9398363106900260559/1625930931046152307*c_0101_3^2 + 6599893848183435952/1625930931046152307*c_0101_3 - 1846401136257216434/1625930931046152307, c_0101_0 - 8191515814393235366/1625930931046152307*c_0101_3^18 - 31455866574125788223/1625930931046152307*c_0101_3^17 + 5614707996979894008/1625930931046152307*c_0101_3^16 + 134247910006984636265/1625930931046152307*c_0101_3^15 + 71298437992715909728/1625930931046152307*c_0101_3^14 - 154636692950540912021/1625930931046152307*c_0101_3^13 + 34866960383077890408/1625930931046152307*c_0101_3^12 + 235343250582364763985/1625930931046152307*c_0101_3^11 - 327787575555684611550/1625930931046152307*c_0101_3^10 - 619888859403914414434/1625930931046152307*c_0101_3^9 + 143773212172568988196/1625930931046152307*c_0101_3^8 + 610298356741730896829/1625930931046152307*c_0101_3^7 + 165443106168511542386/1625930931046152307*c_0101_3^6 - 174146315500021385449/1625930931046152307*c_0101_3^5 - 117743212223423256731/1625930931046152307*c_0101_3^4 - 30302369090247392040/1625930931046152307*c_0101_3^3 + 22501551348525796392/1625930931046152307*c_0101_3^2 + 20550920645283434612/1625930931046152307*c_0101_3 - 3774745828001201459/1625930931046152307, c_0101_1 + 25310624730211159010/1625930931046152307*c_0101_3^18 + 97813051885022981912/1625930931046152307*c_0101_3^17 - 14846619202038409314/1625930931046152307*c_0101_3^16 - 413332536655785817958/1625930931046152307*c_0101_3^15 - 227465114876010103404/1625930931046152307*c_0101_3^14 + 463817823102593700157/1625930931046152307*c_0101_3^13 - 109388596394450955167/1625930931046152307*c_0101_3^12 - 714939709745306977265/1625930931046152307*c_0101_3^11 + 1000694468897068112578/1625930931046152307*c_0101_3^10 + 1908915873564883828249/1625930931046152307*c_0101_3^9 - 381061322739729215995/1625930931046152307*c_0101_3^8 - 1838764057967658827011/1625930931046152307*c_0101_3^7 - 560814785673606612114/1625930931046152307*c_0101_3^6 + 479523548650744181773/1625930931046152307*c_0101_3^5 + 358828524181991719088/1625930931046152307*c_0101_3^4 + 108080727471965353777/1625930931046152307*c_0101_3^3 - 55637772961261667828/1625930931046152307*c_0101_3^2 - 55046421281738118699/1625930931046152307*c_0101_3 + 8569647109431829782/1625930931046152307, c_0101_3^19 + 23/7*c_0101_3^18 - 20/7*c_0101_3^17 - 113/7*c_0101_3^16 + 3/7*c_0101_3^15 + 169/7*c_0101_3^14 - 101/7*c_0101_3^13 - 185/7*c_0101_3^12 + 56*c_0101_3^11 + 377/7*c_0101_3^10 - 421/7*c_0101_3^9 - 470/7*c_0101_3^8 + 141/7*c_0101_3^7 + 240/7*c_0101_3^6 + 4*c_0101_3^5 - 30/7*c_0101_3^4 - 34/7*c_0101_3^3 - 8/7*c_0101_3^2 + 11/7*c_0101_3 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB