Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 3120047514] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s314 geometric_solution 4.48488166 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.643154753081 0.305934516821 0 2 2 0 3201 0132 1023 0132 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 1 -2 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 1.101679291035 0.637607639425 3 1 1 4 0132 0132 1023 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 -1 0 1 -1 0 2 -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.397450532436 0.270713290554 2 4 5 4 0132 1302 0132 0321 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 1 -1 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.673937265377 0.690337311259 5 3 2 3 2310 0321 0132 2031 0 0 0 0 0 1 -1 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 0 -1 0 1 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.673937265377 0.690337311259 5 5 4 3 1230 3012 3201 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 1 0 -1 -1 0 0 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 1.275925686614 0.741694428153 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0011_1'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 21754167965586736573715556135362913/2573622693453806065309777908556\ 192*c_0101_5^16 + 147711375290373594380566865963308807/643405673363\ 451516327444477139048*c_0101_5^15 + 2333600882396262549314586310472339673/12868113467269030326548889542\ 78096*c_0101_5^14 + 10673367958661725809237233174487639649/25736226\ 93453806065309777908556192*c_0101_5^13 - 2155192737157519119462583820365727801/32170283668172575816372223856\ 9524*c_0101_5^12 - 15945650769865775424741438134313316603/257362269\ 3453806065309777908556192*c_0101_5^11 - 4198004311354780968890224944038356171/12868113467269030326548889542\ 78096*c_0101_5^10 - 158248135775876757853894515686679398127/2573622\ 693453806065309777908556192*c_0101_5^9 + 357527944404488186269508687389469477/804257091704314395409305596423\ 81*c_0101_5^8 + 24634990144876277659636467368475720225/321702836681\ 725758163722238569524*c_0101_5^7 - 18992503792980490863179492645082290381/1286811346726903032654888954\ 278096*c_0101_5^6 + 92091905619832408330606794145076979393/25736226\ 93453806065309777908556192*c_0101_5^5 + 11067087672256566290358555218051176929/2573622693453806065309777908\ 556192*c_0101_5^4 - 8689116914858771572915544519631815189/160851418\ 340862879081861119284762*c_0101_5^3 + 8306340076006219259164484669752093859/64340567336345151632744447713\ 9048*c_0101_5^2 + 2227608642219489604187608831240882067/32170283668\ 1725758163722238569524*c_0101_5 - 119857137177502072000023206554571\ 791/80425709170431439540930559642381, c_0011_0 - 1, c_0011_1 - 2526245921409222363881057053152/8042570917043143954093055964\ 2381*c_0101_5^16 - 140366762748232168772783459576229/16085141834086\ 2879081861119284762*c_0101_5^15 - 117229869874580989330613575762250\ 3/160851418340862879081861119284762*c_0101_5^14 - 1618844955636831867847950775810795/80425709170431439540930559642381\ *c_0101_5^13 + 867616094506925301878811005612745/804257091704314395\ 40930559642381*c_0101_5^12 + 2012602679466532132988301857207252/804\ 25709170431439540930559642381*c_0101_5^11 + 2296482186438478854136496975793208/80425709170431439540930559642381\ *c_0101_5^10 + 40402895100221642150788524301953921/1608514183408628\ 79081861119284762*c_0101_5^9 + 23681603432934821860510466813399231/\ 160851418340862879081861119284762*c_0101_5^8 - 11063066163674009820638356465856032/8042570917043143954093055964238\ 1*c_0101_5^7 + 2534056996535573132331804627610027/16085141834086287\ 9081861119284762*c_0101_5^6 - 10676974929093021547170745070955290/8\ 0425709170431439540930559642381*c_0101_5^5 - 15116991635414585573904229750083075/1608514183408628790818611192847\ 62*c_0101_5^4 + 9349930758208626778656697132921823/8042570917043143\ 9540930559642381*c_0101_5^3 + 77443940429689138054201254472469/1608\ 51418340862879081861119284762*c_0101_5^2 - 1755884430848372708176108061352493/16085141834086287908186111928476\ 2*c_0101_5 + 121635894432628221944936268257222/80425709170431439540\ 930559642381, c_0011_4 + 4040342427471596679069766495073/8042570917043143954093055964\ 2381*c_0101_5^16 + 822099658268812324159760027677909/64340567336345\ 1516327444477139048*c_0101_5^15 + 670278966722451144308222137155931\ /80425709170431439540930559642381*c_0101_5^14 + 1140181356344852774649900909985837/32170283668172575816372223856952\ 4*c_0101_5^13 - 66860632816645461241507219646345531/643405673363451\ 516327444477139048*c_0101_5^12 - 5349078808102013753581413391496429\ /160851418340862879081861119284762*c_0101_5^11 + 31814784953038268632503657709150825/6434056733634515163274444771390\ 48*c_0101_5^10 - 83975564003377005587467586989826909/32170283668172\ 5758163722238569524*c_0101_5^9 + 4905038381802630453368002754030135\ 41/643405673363451516327444477139048*c_0101_5^8 + 186701506184771657615791255333709705/160851418340862879081861119284\ 762*c_0101_5^7 - 13536930086660220053292317003494033/80425709170431\ 439540930559642381*c_0101_5^6 + 83479546355923219514521386645685859\ /321702836681725758163722238569524*c_0101_5^5 - 190367276052097679806546783019908683/643405673363451516327444477139\ 048*c_0101_5^4 - 448239478858112931622586085198174127/6434056733634\ 51516327444477139048*c_0101_5^3 + 407016764295856399058887090993240\ 33/160851418340862879081861119284762*c_0101_5^2 + 16014327676339575685116765884493259/1608514183408628790818611192847\ 62*c_0101_5 - 1781222326193205862727610442510857/804257091704314395\ 40930559642381, c_0011_5 + 998431848298357737769178313953/16085141834086287908186111928\ 4762*c_0101_5^16 + 82595488014700339572382038708715/643405673363451\ 516327444477139048*c_0101_5^15 + 32152323919952852872456106217615/1\ 60851418340862879081861119284762*c_0101_5^14 - 2154240176555046157908963174952713/32170283668172575816372223856952\ 4*c_0101_5^13 - 22033049911620540296163703218061977/643405673363451\ 516327444477139048*c_0101_5^12 - 129057759630308722587403584966360/\ 80425709170431439540930559642381*c_0101_5^11 + 19132202765473410419333955294204439/6434056733634515163274444771390\ 48*c_0101_5^10 + 605994144993803642133119524765693/3217028366817257\ 58163722238569524*c_0101_5^9 + 220257475569721965452396831990049591\ /643405673363451516327444477139048*c_0101_5^8 + 59396417329136644269292614502209475/1608514183408628790818611192847\ 62*c_0101_5^7 - 5196012138244606581157535622223864/8042570917043143\ 9540930559642381*c_0101_5^6 + 15216342805924895240198093073765359/3\ 21702836681725758163722238569524*c_0101_5^5 - 93776745482338872516699567352286153/6434056733634515163274444771390\ 48*c_0101_5^4 - 133421260787331131413139424287891349/64340567336345\ 1516327444477139048*c_0101_5^3 + 1611167879977391944753312020226485\ 9/160851418340862879081861119284762*c_0101_5^2 + 4811499256913463596839365316924185/16085141834086287908186111928476\ 2*c_0101_5 - 712688805749505231974448665874831/80425709170431439540\ 930559642381, c_0101_0 - 418934738289236847015236452442867/12868113467269030326548889\ 54278096*c_0101_5^16 - 5747804572012521327133749200233839/643405673\ 363451516327444477139048*c_0101_5^15 - 46588466546697562574907268619387433/6434056733634515163274444771390\ 48*c_0101_5^14 - 233852000705325491954996285044235927/1286811346726\ 903032654888954278096*c_0101_5^13 + 123719248981105414863571262640828047/643405673363451516327444477139\ 048*c_0101_5^12 + 318687765929902932854735584524279973/128681134672\ 6903032654888954278096*c_0101_5^11 + 32026428581523494201640013433730991/1608514183408628790818611192847\ 62*c_0101_5^10 + 3182739241667185875057661837986697477/128681134672\ 6903032654888954278096*c_0101_5^9 + 381826365814198375542456097201204063/643405673363451516327444477139\ 048*c_0101_5^8 - 728888826985191026113368173516202153/3217028366817\ 25758163722238569524*c_0101_5^7 + 267533330658401679653125686409482\ 227/643405673363451516327444477139048*c_0101_5^6 - 1728011007098738068356716809726459359/12868113467269030326548889542\ 78096*c_0101_5^5 - 661165796553707665980505537666987525/12868113467\ 26903032654888954278096*c_0101_5^4 + 1097167699863269765728597352766668193/64340567336345151632744447713\ 9048*c_0101_5^3 - 45377393315665365217568803460218583/1608514183408\ 62879081861119284762*c_0101_5^2 - 337940225571964939179770512675994\ 81/160851418340862879081861119284762*c_0101_5 + 3118365949988305044283333146817296/80425709170431439540930559642381\ , c_0101_5^17 + 28*c_0101_5^16 + 238*c_0101_5^15 + 689*c_0101_5^14 - 224*c_0101_5^13 - 927*c_0101_5^12 - 1046*c_0101_5^11 - 8115*c_0101_5^10 - 6344*c_0101_5^9 + 4052*c_0101_5^8 + 806*c_0101_5^7 + 3601*c_0101_5^6 + 3753*c_0101_5^5 - 3540*c_0101_5^4 - 1112*c_0101_5^3 + 680*c_0101_5^2 + 96*c_0101_5 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB