Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 1629552056] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1817 geometric_solution 5.47637710 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.513873606678 0.404157433531 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 -1 0 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 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.797701432837 0.945598094410 3 0 4 1 3201 0132 3201 3012 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 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.797701432837 0.945598094410 3 1 3 2 2031 0132 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130910198714 1.214759102677 2 5 1 5 2310 0132 0132 2310 0 0 0 0 0 0 -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 0 0 0 0 0 0 -1 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 1.741350967098 0.670257692193 4 4 6 6 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 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 1 -1 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.234057743254 0.394607546192 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 -1 0 1 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 -1.880598175609 2.038323170934 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 43134674785237672609/36181098216123302068*c_0101_6^17 - 4238220443674752457/9045274554030825517*c_0101_6^16 - 1590491198679107590825/36181098216123302068*c_0101_6^15 + 3749418943812659232975/36181098216123302068*c_0101_6^14 + 4848266522673592579337/18090549108061651034*c_0101_6^13 - 44829483589082730573565/36181098216123302068*c_0101_6^12 + 43838085796787336830539/36181098216123302068*c_0101_6^11 + 5448262492369208906539/9045274554030825517*c_0101_6^10 - 33783923895967977686975/18090549108061651034*c_0101_6^9 + 84477551927015937205719/36181098216123302068*c_0101_6^8 - 33574681675631937997081/18090549108061651034*c_0101_6^7 - 27245747914866042062549/18090549108061651034*c_0101_6^6 + 113688005975714354376491/36181098216123302068*c_0101_6^5 - 28592842739784705028645/36181098216123302068*c_0101_6^4 - 7281208468452726498480/9045274554030825517*c_0101_6^3 + 22638789892818241570785/36181098216123302068*c_0101_6^2 - 779450037247945197749/18090549108061651034*c_0101_6 - 4090103691549575912087/36181098216123302068, c_0011_0 - 1, c_0011_4 - 536223292069765946/822297686730075047*c_0101_6^17 - 1326140045948919543/822297686730075047*c_0101_6^16 + 15100259600015533182/822297686730075047*c_0101_6^15 - 6088101906308134393/822297686730075047*c_0101_6^14 - 115607486280129600596/822297686730075047*c_0101_6^13 + 231048852866308784343/822297686730075047*c_0101_6^12 - 60639898249604239754/822297686730075047*c_0101_6^11 - 197342051001866910943/822297686730075047*c_0101_6^10 + 306135700943948947667/822297686730075047*c_0101_6^9 - 368031213746195784198/822297686730075047*c_0101_6^8 + 42000294493483930988/822297686730075047*c_0101_6^7 + 439610054429148119448/822297686730075047*c_0101_6^6 - 304395858054593514656/822297686730075047*c_0101_6^5 - 61329011315013793336/822297686730075047*c_0101_6^4 + 138655720553756507364/822297686730075047*c_0101_6^3 - 49276548598464959047/822297686730075047*c_0101_6^2 - 18319881335195977030/822297686730075047*c_0101_6 + 9730608825770134853/822297686730075047, c_0011_6 + 203433317142965987/822297686730075047*c_0101_6^17 + 504617407784207691/822297686730075047*c_0101_6^16 - 5732159894132871953/822297686730075047*c_0101_6^15 + 2264695310709402394/822297686730075047*c_0101_6^14 + 44119181568673153687/822297686730075047*c_0101_6^13 - 87796679683652009711/822297686730075047*c_0101_6^12 + 20910609604302852857/822297686730075047*c_0101_6^11 + 80791365906058492615/822297686730075047*c_0101_6^10 - 121700725168648852754/822297686730075047*c_0101_6^9 + 140024663154902850519/822297686730075047*c_0101_6^8 - 11895517654448989881/822297686730075047*c_0101_6^7 - 176540513081964924999/822297686730075047*c_0101_6^6 + 124243261970179131309/822297686730075047*c_0101_6^5 + 25336121197160638590/822297686730075047*c_0101_6^4 - 57120957247460697394/822297686730075047*c_0101_6^3 + 20915239481765258776/822297686730075047*c_0101_6^2 + 6852526350878918514/822297686730075047*c_0101_6 - 4051633971539586796/822297686730075047, c_0101_0 - 85729692868610511/822297686730075047*c_0101_6^17 - 129341634278129363/822297686730075047*c_0101_6^16 + 2738993532359972061/822297686730075047*c_0101_6^15 - 2868230822893975476/822297686730075047*c_0101_6^14 - 20445141198968783286/822297686730075047*c_0101_6^13 + 52862781491262834482/822297686730075047*c_0101_6^12 - 21479532297626059768/822297686730075047*c_0101_6^11 - 47328983021227387053/822297686730075047*c_0101_6^10 + 64485045221022355089/822297686730075047*c_0101_6^9 - 77065440165974402356/822297686730075047*c_0101_6^8 + 25362760678621810739/822297686730075047*c_0101_6^7 + 103975826268081359785/822297686730075047*c_0101_6^6 - 80031246246952902728/822297686730075047*c_0101_6^5 - 22152198288979795110/822297686730075047*c_0101_6^4 + 36278474242772991274/822297686730075047*c_0101_6^3 - 11996572488174174066/822297686730075047*c_0101_6^2 - 6204137707242920174/822297686730075047*c_0101_6 + 3247999009968566006/822297686730075047, c_0101_1 - 249671838341344649/1644595373460150094*c_0101_2*c_0101_6^17 - 207197631190199897/822297686730075047*c_0101_2*c_0101_6^16 + 8136707111380949825/1644595373460150094*c_0101_2*c_0101_6^15 - 6524635769112659927/1644595373460150094*c_0101_2*c_0101_6^14 - 33269320236668605760/822297686730075047*c_0101_2*c_0101_6^13 + 145411834525383723547/1644595373460150094*c_0101_2*c_0101_6^12 + 4321819534457801563/1644595373460150094*c_0101_2*c_0101_6^11 - 111048740827615736776/822297686730075047*c_0101_2*c_0101_6^10 + 93184824432434941481/822297686730075047*c_0101_2*c_0101_6^9 - 155793677156413394509/1644595373460150094*c_0101_2*c_0101_6^8 - 27297283229552930504/822297686730075047*c_0101_2*c_0101_6^7 + 227536838075466482710/822297686730075047*c_0101_2*c_0101_6^6 - 203595419152309775557/1644595373460150094*c_0101_2*c_0101_6^5 - 202177424402651314297/1644595373460150094*c_0101_2*c_0101_6^4 + 82706196851525415202/822297686730075047*c_0101_2*c_0101_6^3 - 33446810227498601981/1644595373460150094*c_0101_2*c_0101_6^2 - 21653934027931022360/822297686730075047*c_0101_2*c_0101_6 + 15979598295951228685/1644595373460150094*c_0101_2, c_0101_2^2 - 536223292069765946/822297686730075047*c_0101_6^17 - 1326140045948919543/822297686730075047*c_0101_6^16 + 15100259600015533182/822297686730075047*c_0101_6^15 - 6088101906308134393/822297686730075047*c_0101_6^14 - 115607486280129600596/822297686730075047*c_0101_6^13 + 231048852866308784343/822297686730075047*c_0101_6^12 - 60639898249604239754/822297686730075047*c_0101_6^11 - 197342051001866910943/822297686730075047*c_0101_6^10 + 306135700943948947667/822297686730075047*c_0101_6^9 - 368031213746195784198/822297686730075047*c_0101_6^8 + 42000294493483930988/822297686730075047*c_0101_6^7 + 439610054429148119448/822297686730075047*c_0101_6^6 - 304395858054593514656/822297686730075047*c_0101_6^5 - 61329011315013793336/822297686730075047*c_0101_6^4 + 138655720553756507364/822297686730075047*c_0101_6^3 - 49276548598464959047/822297686730075047*c_0101_6^2 - 18319881335195977030/822297686730075047*c_0101_6 + 8908311139040059806/822297686730075047, c_0101_6^18 + 3*c_0101_6^17 - 27*c_0101_6^16 - 4*c_0101_6^15 + 225*c_0101_6^14 - 315*c_0101_6^13 - 142*c_0101_6^12 + 457*c_0101_6^11 - 360*c_0101_6^10 + 353*c_0101_6^9 + 327*c_0101_6^8 - 908*c_0101_6^7 + 95*c_0101_6^6 + 480*c_0101_6^5 - 203*c_0101_6^4 - 65*c_0101_6^3 + 95*c_0101_6^2 + 3*c_0101_6 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB