Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 880125981] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0049 geometric_solution 3.61503109 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.132121118511 1.843782251536 0 0 3 3 0132 3201 3201 0132 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.341809099410 0.233688875983 0 0 4 4 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.114588044295 0.028005214419 1 5 1 6 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.982268044633 0.521475955261 2 4 2 4 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9.140216795281 2.031629228214 6 3 6 6 3120 0132 3012 1230 0 0 0 0 0 -1 1 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 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.985369001029 1.009296723856 5 5 3 5 3012 1230 0132 3120 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985369001029 1.009296723856 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : 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' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 8518366367690640521042895/43471422203394629964026*c_0101_4^19 + 110552921181614363310720311/21735711101697314982013*c_0101_4^18 - 153906569168436086672477547/43471422203394629964026*c_0101_4^17 - 781216400066289977890222847/21735711101697314982013*c_0101_4^16 + 181201268074126452825098329/21735711101697314982013*c_0101_4^15 + 413050083246154635046469421/3343955554107279228002*c_0101_4^14 - 208044580902454951152382373/21735711101697314982013*c_0101_4^13 - 5220122941383038403383002632/21735711101697314982013*c_0101_4^12 + 55702825039154733747217857/3343955554107279228002*c_0101_4^11 + 5849822028025064671069347264/21735711101697314982013*c_0101_4^10 - 506669619227846823617101721/21735711101697314982013*c_0101_4^9 - 3797618071369016279373723473/21735711101697314982013*c_0101_4^8 + 547567032979705053061017137/43471422203394629964026*c_0101_4^7 + 2847680444570195390399844723/43471422203394629964026*c_0101_4^6 + 812812620456337276721233/3343955554107279228002*c_0101_4^5 - 569241411829067518772798449/43471422203394629964026*c_0101_4^4 - 96959798049893743250024695/43471422203394629964026*c_0101_4^3 + 19132926107810392833885422/21735711101697314982013*c_0101_4^2 + 18133980369159382705391727/43471422203394629964026*c_0101_4 + 789153200621115470248269/43471422203394629964026, c_0011_0 - 1, c_0011_3 + 5266636548826240936610/1671977777053639614001*c_0101_4^19 + 137576445487991792699941/1671977777053639614001*c_0101_4^18 - 75321846595008744439794/1671977777053639614001*c_0101_4^17 - 1056981253266888230187960/1671977777053639614001*c_0101_4^16 + 77479946040075371262164/1671977777053639614001*c_0101_4^15 + 3843644161872575059512862/1671977777053639614001*c_0101_4^14 + 418083321144546013516704/1671977777053639614001*c_0101_4^13 - 7959357501817707460285895/1671977777053639614001*c_0101_4^12 - 1141057674214344206863688/1671977777053639614001*c_0101_4^11 + 9714414716835636874235511/1671977777053639614001*c_0101_4^10 + 1262594754104449528406198/1671977777053639614001*c_0101_4^9 - 6978906985391103469697076/1671977777053639614001*c_0101_4^8 - 847079730683302317752524/1671977777053639614001*c_0101_4^7 + 2855346177104130983686900/1671977777053639614001*c_0101_4^6 + 443985154752823333417593/1671977777053639614001*c_0101_4^5 - 579435435166953575951625/1671977777053639614001*c_0101_4^4 - 175560364980213466210996/1671977777053639614001*c_0101_4^3 + 20950451562385954141339/1671977777053639614001*c_0101_4^2 + 26008384326478296235464/1671977777053639614001*c_0101_4 + 2068192662511785659427/1671977777053639614001, c_0011_4 + 2377220193423644475495/1671977777053639614001*c_0101_4^19 + 62683969356246748248017/1671977777053639614001*c_0101_4^18 - 18170204826023332599981/1671977777053639614001*c_0101_4^17 - 470985217401156934588585/1671977777053639614001*c_0101_4^16 - 72764005067910664240314/1671977777053639614001*c_0101_4^15 + 1660151602916777634934604/1671977777053639614001*c_0101_4^14 + 514843450738749990339079/1671977777053639614001*c_0101_4^13 - 3345931469587668177648582/1671977777053639614001*c_0101_4^12 - 1088744993659731374115620/1671977777053639614001*c_0101_4^11 + 4030565259689170531595900/1671977777053639614001*c_0101_4^10 + 1184179473106247552593980/1671977777053639614001*c_0101_4^9 - 2912695802439616820836532/1671977777053639614001*c_0101_4^8 - 766729769279388225563661/1671977777053639614001*c_0101_4^7 + 1222132503175349432351795/1671977777053639614001*c_0101_4^6 + 320442622982108614470925/1671977777053639614001*c_0101_4^5 - 257513687494139252369417/1671977777053639614001*c_0101_4^4 - 85746624151745521169290/1671977777053639614001*c_0101_4^3 + 7608585440137488227011/1671977777053639614001*c_0101_4^2 + 8774719199166905380544/1671977777053639614001*c_0101_4 + 2760656715660050711907/1671977777053639614001, c_0011_6 + 12718183505982572772630/1671977777053639614001*c_0101_4^19 + 332486956921488000015198/1671977777053639614001*c_0101_4^18 - 174360384276621196234765/1671977777053639614001*c_0101_4^17 - 2536242776505846347655736/1671977777053639614001*c_0101_4^16 + 127985485919098302944868/1671977777053639614001*c_0101_4^15 + 9154324994332349562834687/1671977777053639614001*c_0101_4^14 + 1177791100479355882717650/1671977777053639614001*c_0101_4^13 - 18791502676542848792561868/1671977777053639614001*c_0101_4^12 - 3017416611310871151550212/1671977777053639614001*c_0101_4^11 + 22724374060641039630016537/1671977777053639614001*c_0101_4^10 + 3299826785838024650280909/1671977777053639614001*c_0101_4^9 - 16187353540412517459194746/1671977777053639614001*c_0101_4^8 - 2186753186348646318799632/1671977777053639614001*c_0101_4^7 + 6582008623459368058974033/1671977777053639614001*c_0101_4^6 + 1096842761248673248737837/1671977777053639614001*c_0101_4^5 - 1334365796975568997571672/1671977777053639614001*c_0101_4^4 - 395634033864859778771275/1671977777053639614001*c_0101_4^3 + 52872812682108457894106/1671977777053639614001*c_0101_4^2 + 47801854849622735362588/1671977777053639614001*c_0101_4 + 3242562116376822003568/1671977777053639614001, c_0101_0 - 5443394693032055489530/1671977777053639614001*c_0101_4^19 - 142417078641229031546003/1671977777053639614001*c_0101_4^18 + 72482079803704448129171/1671977777053639614001*c_0101_4^17 + 1108612496631612153732729/1671977777053639614001*c_0101_4^16 - 20272136818102740055501/1671977777053639614001*c_0101_4^15 - 4058417599305981693674180/1671977777053639614001*c_0101_4^14 - 712079804306592147402570/1671977777053639614001*c_0101_4^13 + 8425184618652933027724075/1671977777053639614001*c_0101_4^12 + 1859042535889583281440004/1671977777053639614001*c_0101_4^11 - 10328363145612342362043842/1671977777053639614001*c_0101_4^10 - 2196678269139500948426420/1671977777053639614001*c_0101_4^9 + 7507226748532283209232028/1671977777053639614001*c_0101_4^8 + 1508429367241018647759734/1671977777053639614001*c_0101_4^7 - 3142227213318577241194553/1671977777053639614001*c_0101_4^6 - 689587713017508455571141/1671977777053639614001*c_0101_4^5 + 653578378195670410430161/1671977777053639614001*c_0101_4^4 + 210618256106617519730163/1671977777053639614001*c_0101_4^3 - 17159851019541622001212/1671977777053639614001*c_0101_4^2 - 22291126002394793998262/1671977777053639614001*c_0101_4 - 4289428064110027794328/1671977777053639614001, c_0101_1 + 5425526613838055867925/1671977777053639614001*c_0101_4^19 + 141758853331850390555895/1671977777053639614001*c_0101_4^18 - 75819862879461881200476/1671977777053639614001*c_0101_4^17 - 1062323688993904612578155/1671977777053639614001*c_0101_4^16 + 123931325656182493287723/1671977777053639614001*c_0101_4^15 + 3789881703689949507394098/1671977777053639614001*c_0101_4^14 + 65858234442699095309522/1671977777053639614001*c_0101_4^13 - 7802957949337027724486566/1671977777053639614001*c_0101_4^12 - 32416083218066857036095/1671977777053639614001*c_0101_4^11 + 9549947410411368967878889/1671977777053639614001*c_0101_4^10 - 516158440953556319557821/1671977777053639614001*c_0101_4^9 - 6879037955116567162702807/1671977777053639614001*c_0101_4^8 + 676557947894226537829223/1671977777053639614001*c_0101_4^7 + 2813040728284978793316289/1671977777053639614001*c_0101_4^6 - 248963111520234913837716/1671977777053639614001*c_0101_4^5 - 597376226261674079059492/1671977777053639614001*c_0101_4^4 - 12209231503964509757844/1671977777053639614001*c_0101_4^3 + 47695243286344428429670/1671977777053639614001*c_0101_4^2 + 11509393997238622657742/1671977777053639614001*c_0101_4 - 1004059565033018374362/1671977777053639614001, c_0101_4^20 + 133/5*c_0101_4^19 - 9/5*c_0101_4^18 - 207*c_0101_4^17 - 414/5*c_0101_4^16 + 3661/5*c_0101_4^15 + 2179/5*c_0101_4^14 - 7266/5*c_0101_4^13 - 4781/5*c_0101_4^12 + 8487/5*c_0101_4^11 + 1144*c_0101_4^10 - 5808/5*c_0101_4^9 - 4061/5*c_0101_4^8 + 2182/5*c_0101_4^7 + 1756/5*c_0101_4^6 - 306/5*c_0101_4^5 - 86*c_0101_4^4 - 63/5*c_0101_4^3 + 29/5*c_0101_4^2 + 12/5*c_0101_4 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB