Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 240095954] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0856 geometric_solution 4.76862072 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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.727044861355 0.363370278448 0 3 0 3 0132 0132 1023 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 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.825689120649 0.106748015192 4 0 5 0 0132 0132 0132 1023 0 0 0 0 0 1 -1 0 2 0 -1 -1 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 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.937515777558 1.208568755579 1 1 3 3 3201 0132 1230 3012 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 0 0 0 0 0 0 0 0.644190800168 0.077620291994 2 6 5 5 0132 0132 2310 1230 0 0 0 0 0 0 0 0 -2 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 0 0 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.455917783773 1.110649015474 4 4 6 2 3012 3201 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 0 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 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 0.455917783773 1.110649015474 6 4 6 5 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 0 -1 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.489343887237 0.456415035574 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_5'], '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_0110_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : 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_0'], 'c_0011_6' : negation(d['c_0011_0']), '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_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0110_3']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0110_3']), 'c_1010_0' : d['c_0101_4']})} 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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 10418776972272631/341367*c_0110_3^32 + 212405095283333938/341367*c_0110_3^31 - 1415753043311708780/341367*c_0110_3^30 + 738186585655067459/113789*c_0110_3^29 + 4430732019107332469/113789*c_0110_3^28 - 48107902808627792057/341367*c_0110_3^27 - 13628353715122701207/113789*c_0110_3^26 + 333606110904866872541/341367*c_0110_3^25 - 162813298164907361/113789*c_0110_3^24 - 452514740925781948306/113789*c_0110_3^23 + 330511664933987010592/341367*c_0110_3^22 + 291762632572071447695/26259*c_0110_3^21 - 893654406219463031759/341367*c_0110_3^20 - 7748963039089361252329/341367*c_0110_3^19 + 684444704473473370225/341367*c_0110_3^18 + 11755315746323071404266/341367*c_0110_3^17 + 563824947206372079331/113789*c_0110_3^16 - 4264356399574701547666/113789*c_0110_3^15 - 1860571639131263781536/113789*c_0110_3^14 + 2966700904348563925570/113789*c_0110_3^13 + 7439701551739686411404/341367*c_0110_3^12 - 863520724264665443629/113789*c_0110_3^11 - 5142921320643049032688/341367*c_0110_3^10 - 374799237164273545272/113789*c_0110_3^9 + 1493573125291027390850/341367*c_0110_3^8 + 365714395279058015863/113789*c_0110_3^7 + 44513113365870074842/113789*c_0110_3^6 - 181813806109916245609/341367*c_0110_3^5 - 39663943960861363983/113789*c_0110_3^4 - 36432420583048144855/341367*c_0110_3^3 - 6423600002017948229/341367*c_0110_3^2 - 630721604232047735/341367*c_0110_3 - 8978885786539941/113789, c_0011_0 - 1, c_0011_5 - 2546*c_0110_3^32 + 51195*c_0110_3^31 - 331410*c_0110_3^30 + 443001*c_0110_3^29 + 3410632*c_0110_3^28 - 10869506*c_0110_3^27 - 13373844*c_0110_3^26 + 79136256*c_0110_3^25 + 22900456*c_0110_3^24 - 334500457*c_0110_3^23 - 11458554*c_0110_3^22 + 960353226*c_0110_3^21 + 36324033*c_0110_3^20 - 1984879957*c_0110_3^19 - 350614484*c_0110_3^18 + 2981180493*c_0110_3^17 + 1202968243*c_0110_3^16 - 3105373956*c_0110_3^15 - 2240639908*c_0110_3^14 + 1899040477*c_0110_3^13 + 2460156444*c_0110_3^12 - 201888440*c_0110_3^11 - 1486824669*c_0110_3^10 - 599075030*c_0110_3^9 + 327882765*c_0110_3^8 + 375333765*c_0110_3^7 + 94654463*c_0110_3^6 - 43097232*c_0110_3^5 - 41808002*c_0110_3^4 - 15480685*c_0110_3^3 - 3223971*c_0110_3^2 - 375718*c_0110_3 - 19373, c_0101_0 - 296877915452243/113789*c_0110_3^32 + 6047934975089277/113789*c_0110_3^31 - 40249016930424586/113789*c_0110_3^30 + 62466228513188901/113789*c_0110_3^29 + 379925269151087534/113789*c_0110_3^28 - 1365557975897268336/113789*c_0110_3^27 - 1187383858116232719/113789*c_0110_3^26 + 9496458653176625606/113789*c_0110_3^25 + 131731131153011488/113789*c_0110_3^24 - 38734515789730433512/113789*c_0110_3^23 + 8857256063580208175/113789*c_0110_3^22 + 8339795659466108283/8753*c_0110_3^21 - 23967476515286719026/113789*c_0110_3^20 - 221715835847706644134/113789*c_0110_3^19 + 16522510572223642099/113789*c_0110_3^18 + 336312785188396737579/113789*c_0110_3^17 + 52731162506711236173/113789*c_0110_3^16 - 365421525337517613192/113789*c_0110_3^15 - 164188160421425325156/113789*c_0110_3^14 + 253049716995425374165/113789*c_0110_3^13 + 215983188924180610122/113789*c_0110_3^12 - 72062418769902702733/113789*c_0110_3^11 - 148273044918587112051/113789*c_0110_3^10 - 33618539405665397822/113789*c_0110_3^9 + 42640177120836066820/113789*c_0110_3^8 + 31870530542771127239/113789*c_0110_3^7 + 4057053479866806314/113789*c_0110_3^6 - 5213229513603352484/113789*c_0110_3^5 - 3456591219660025132/113789*c_0110_3^4 - 1065432791607539785/113789*c_0110_3^3 - 188874129110431302/113789*c_0110_3^2 - 18638348422961091/113789*c_0110_3 - 799891271715837/113789, c_0101_1 + c_0110_3^32 - 20*c_0110_3^31 + 128*c_0110_3^30 - 160*c_0110_3^29 - 1358*c_0110_3^28 + 4124*c_0110_3^27 + 5710*c_0110_3^26 - 30502*c_0110_3^25 - 12337*c_0110_3^24 + 130316*c_0110_3^23 + 18671*c_0110_3^22 - 376315*c_0110_3^21 - 55024*c_0110_3^20 + 776923*c_0110_3^19 + 221957*c_0110_3^18 - 1153688*c_0110_3^17 - 598719*c_0110_3^16 + 1165094*c_0110_3^15 + 1010628*c_0110_3^14 - 647034*c_0110_3^13 - 1044446*c_0110_3^12 - 27529*c_0110_3^11 + 589782*c_0110_3^10 + 298832*c_0110_3^9 - 101613*c_0110_3^8 - 160747*c_0110_3^7 - 53545*c_0110_3^6 + 12493*c_0110_3^5 + 18170*c_0110_3^4 + 7914*c_0110_3^3 + 1969*c_0110_3^2 + 300*c_0110_3 + 25, c_0101_4 - 456374812529552/113789*c_0110_3^32 + 9293901658590860/113789*c_0110_3^31 - 61804828786831723/113789*c_0110_3^30 + 95556953192888559/113789*c_0110_3^29 + 584904727664936000/113789*c_0110_3^28 - 2095342336121077663/113789*c_0110_3^27 - 1841804845007711790/113789*c_0110_3^26 + 14591565139262586729/113789*c_0110_3^25 + 309697575968297918/113789*c_0110_3^24 - 59583596838516713489/113789*c_0110_3^23 + 13203910967088624907/113789*c_0110_3^22 + 12839804052914193135/8753*c_0110_3^21 - 35745528434317515329/113789*c_0110_3^20 - 341510885044937171712/113789*c_0110_3^19 + 23213934522349553687/113789*c_0110_3^18 + 518002828372784867069/113789*c_0110_3^17 + 84383838447569896513/113789*c_0110_3^16 - 562416493994877851431/113789*c_0110_3^15 - 256166762527577888271/113789*c_0110_3^14 + 388613766384956045032/113789*c_0110_3^13 + 334950462668077357355/113789*c_0110_3^12 - 109505003213827442635/113789*c_0110_3^11 - 229204732792987470825/113789*c_0110_3^10 - 52832504273205202889/113789*c_0110_3^9 + 65612314025364634531/113789*c_0110_3^8 + 49437962829151956295/113789*c_0110_3^7 + 6419926219215271403/113789*c_0110_3^6 - 8038255228412480633/113789*c_0110_3^5 - 5361861888794453314/113789*c_0110_3^4 - 1657736094457621382/113789*c_0110_3^3 - 294592321395435108/113789*c_0110_3^2 - 29135744030412671/113789*c_0110_3 - 1253100117969302/113789, c_0101_5 + 45440392808918/113789*c_0110_3^32 - 930590096297076/113789*c_0110_3^31 + 6261947007205665/113789*c_0110_3^30 - 10261609279005366/113789*c_0110_3^29 - 56862097166657427/113789*c_0110_3^28 + 214788010017830628/113789*c_0110_3^27 + 157106052220715053/113789*c_0110_3^26 - 1463901644378002859/113789*c_0110_3^25 + 140056966353919939/113789*c_0110_3^24 + 5871175112812397157/113789*c_0110_3^23 - 1971991982088174049/113789*c_0110_3^22 - 1247603608948545502/8753*c_0110_3^21 + 5313520733583724521/113789*c_0110_3^20 + 32928046879618950505/113789*c_0110_3^19 - 5803678574631717655/113789*c_0110_3^18 - 49983249524770472744/113789*c_0110_3^17 - 3090361461448802714/113789*c_0110_3^16 + 54942738669069979560/113789*c_0110_3^15 + 19482802203911107744/113789*c_0110_3^14 - 39329281375129276254/113789*c_0110_3^13 - 28669289947408335618/113789*c_0110_3^12 + 12949344391313123860/113789*c_0110_3^11 + 20792474989939292994/113789*c_0110_3^10 + 3413742927499820114/113789*c_0110_3^9 - 6434190661387212820/113789*c_0110_3^8 - 4210491628665465792/113789*c_0110_3^7 - 345205245368498396/113789*c_0110_3^6 + 761899635341755383/113789*c_0110_3^5 + 456674738806577714/113789*c_0110_3^4 + 133160796967497626/113789*c_0110_3^3 + 22522660681066153/113789*c_0110_3^2 + 2124526701849876/113789*c_0110_3 + 87109318466590/113789, c_0110_3^33 - 20*c_0110_3^32 + 128*c_0110_3^31 - 160*c_0110_3^30 - 1358*c_0110_3^29 + 4124*c_0110_3^28 + 5710*c_0110_3^27 - 30502*c_0110_3^26 - 12337*c_0110_3^25 + 130316*c_0110_3^24 + 18671*c_0110_3^23 - 376315*c_0110_3^22 - 55024*c_0110_3^21 + 776923*c_0110_3^20 + 221957*c_0110_3^19 - 1153688*c_0110_3^18 - 598719*c_0110_3^17 + 1165094*c_0110_3^16 + 1010628*c_0110_3^15 - 647034*c_0110_3^14 - 1044446*c_0110_3^13 - 27529*c_0110_3^12 + 589782*c_0110_3^11 + 298832*c_0110_3^10 - 101613*c_0110_3^9 - 160747*c_0110_3^8 - 53545*c_0110_3^7 + 12493*c_0110_3^6 + 18170*c_0110_3^5 + 7914*c_0110_3^4 + 1969*c_0110_3^3 + 299*c_0110_3^2 + 26*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB