Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 475889880] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0444 geometric_solution 4.48914662 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 2.267891769842 0.887701829024 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.629666992125 0.118842783180 0 3 4 0 3201 0132 0132 0132 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 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.556276696492 0.805505062198 5 2 4 4 0132 0132 1302 2031 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 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.334113605331 0.408148315190 3 3 5 2 2031 1302 2310 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 -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.334113605331 0.408148315190 3 4 6 6 0132 3201 3201 0132 0 0 0 0 0 -1 1 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 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.915844703006 1.238187424420 5 6 5 6 2310 2310 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.362757660441 0.719527103335 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_2'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 55729855008167203247242/27172143782998788301*c_0101_5^15 - 470161503027099398796812/27172143782998788301*c_0101_5^14 - 879561859757821855568206/27172143782998788301*c_0101_5^13 + 6846008933909114905740243/27172143782998788301*c_0101_5^12 + 13802926716357397566681053/27172143782998788301*c_0101_5^11 - 15653009669788722160996887/27172143782998788301*c_0101_5^10 - 35516015861348156043917480/27172143782998788301*c_0101_5^9 + 12549716393655706415642642/27172143782998788301*c_0101_5^8 + 36998883072267048208873855/27172143782998788301*c_0101_5^7 + 33053360611540037182617/298594986626360311*c_0101_5^6 - 22475134729941687462746472/27172143782998788301*c_0101_5^5 - 1158051479958251309047345/3881734826142684043*c_0101_5^4 + 10802158983545659739878438/27172143782998788301*c_0101_5^3 - 199765153722678305892014/27172143782998788301*c_0101_5^2 - 9140869895874256760841/298594986626360311*c_0101_5 + 8607712796993920762450/27172143782998788301, c_0011_0 - 1, c_0011_2 - 9543447230991306054/3881734826142684043*c_0101_5^15 + 80861186053159431714/3881734826142684043*c_0101_5^14 + 147546576325538389694/3881734826142684043*c_0101_5^13 - 1176825840164041051507/3881734826142684043*c_0101_5^12 - 2317802354420670460450/3881734826142684043*c_0101_5^11 + 2751868207514705289618/3881734826142684043*c_0101_5^10 + 5938485260884825972415/3881734826142684043*c_0101_5^9 - 2357799710314641384106/3881734826142684043*c_0101_5^8 - 6157855721543051534366/3881734826142684043*c_0101_5^7 - 282747382410895802600/3881734826142684043*c_0101_5^6 + 3771255506658682924799/3881734826142684043*c_0101_5^5 + 93744090975326250482/298594986626360311*c_0101_5^4 - 1853031698366998990363/3881734826142684043*c_0101_5^3 + 141135887180592992756/3881734826142684043*c_0101_5^2 + 119684369635053861850/3881734826142684043*c_0101_5 - 9651381481283092764/3881734826142684043, c_0011_4 + 20254195982974208196/3881734826142684043*c_0101_5^15 - 172828125490291329258/3881734826142684043*c_0101_5^14 - 303351525807215825570/3881734826142684043*c_0101_5^13 + 2520365097577767534056/3881734826142684043*c_0101_5^12 + 4779964388558980143521/3881734826142684043*c_0101_5^11 - 6194458554657125852480/3881734826142684043*c_0101_5^10 - 12415127730561386279818/3881734826142684043*c_0101_5^9 + 5844991140556954140433/3881734826142684043*c_0101_5^8 + 13169183348999200272437/3881734826142684043*c_0101_5^7 - 184269548895285745794/3881734826142684043*c_0101_5^6 - 8433691667495965940271/3881734826142684043*c_0101_5^5 - 2249778598490101894011/3881734826142684043*c_0101_5^4 + 4270375749978436186695/3881734826142684043*c_0101_5^3 - 375928434460583778924/3881734826142684043*c_0101_5^2 - 309983110870457173854/3881734826142684043*c_0101_5 + 21929814695195157555/3881734826142684043, c_0011_6 - 14343876314281194784/3881734826142684043*c_0101_5^15 + 122241122088481460632/3881734826142684043*c_0101_5^14 + 216439336302156613716/3881734826142684043*c_0101_5^13 - 1784893131237079592502/3881734826142684043*c_0101_5^12 - 3409781674282785432620/3881734826142684043*c_0101_5^11 + 4381085471292853633450/3881734826142684043*c_0101_5^10 + 686384849588181601927/298594986626360311*c_0101_5^9 - 4055686928211683717907/3881734826142684043*c_0101_5^8 - 9509974938322035261336/3881734826142684043*c_0101_5^7 - 25858650644971159336/3881734826142684043*c_0101_5^6 + 6048782786574127027620/3881734826142684043*c_0101_5^5 + 1729914585505990399982/3881734826142684043*c_0101_5^4 - 3022976633586544024419/3881734826142684043*c_0101_5^3 + 209064965355844092772/3881734826142684043*c_0101_5^2 + 226945680697363504138/3881734826142684043*c_0101_5 - 1115469165727447340/298594986626360311, c_0101_0 + 57798574217382377038/3881734826142684043*c_0101_5^15 - 491141649636178223702/3881734826142684043*c_0101_5^14 - 882668198400210311370/3881734826142684043*c_0101_5^13 + 7157548849105405074853/3881734826142684043*c_0101_5^12 + 13885978483525504019328/3881734826142684043*c_0101_5^11 - 17131887413175288612294/3881734826142684043*c_0101_5^10 - 35905917417354939307520/3881734826142684043*c_0101_5^9 + 15288435725716195177543/3881734826142684043*c_0101_5^8 + 37710729362554672141724/3881734826142684043*c_0101_5^7 + 62300325694459216505/298594986626360311*c_0101_5^6 - 23596287894642133056384/3881734826142684043*c_0101_5^5 - 7054649262056726092118/3881734826142684043*c_0101_5^4 + 11738947970214625130327/3881734826142684043*c_0101_5^3 - 855930466719850252156/3881734826142684043*c_0101_5^2 - 65744584880196021186/298594986626360311*c_0101_5 + 60501215264151427210/3881734826142684043, c_0101_1 + 3274351686346972824/298594986626360311*c_0101_5^15 - 361874172432081860652/3881734826142684043*c_0101_5^14 - 648539280908890251126/3881734826142684043*c_0101_5^13 + 5272894874759298952674/3881734826142684043*c_0101_5^12 + 10204746561380679036578/3881734826142684043*c_0101_5^11 - 12643931114713934552575/3881734826142684043*c_0101_5^10 - 26373531013696616036114/3881734826142684043*c_0101_5^9 + 871443821739183409863/298594986626360311*c_0101_5^8 + 27670171751479333170141/3881734826142684043*c_0101_5^7 + 500756139023031471812/3881734826142684043*c_0101_5^6 - 17331850882774006971055/3881734826142684043*c_0101_5^5 - 5108834695942358303165/3881734826142684043*c_0101_5^4 + 8649580445796433482489/3881734826142684043*c_0101_5^3 - 667433710687556610027/3881734826142684043*c_0101_5^2 - 621386975360714613701/3881734826142684043*c_0101_5 + 44065895632321286197/3881734826142684043, c_0101_5^16 - 9*c_0101_5^15 - 11*c_0101_5^14 + 263/2*c_0101_5^13 + 178*c_0101_5^12 - 417*c_0101_5^11 - 472*c_0101_5^10 + 1153/2*c_0101_5^9 + 519*c_0101_5^8 - 314*c_0101_5^7 - 415*c_0101_5^6 + 167/2*c_0101_5^5 + 529/2*c_0101_5^4 - 117*c_0101_5^3 - 15/2*c_0101_5^2 + 17/2*c_0101_5 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB