Magma V2.19-8 Tue Aug 20 2013 16:18:14 on localhost [Seed = 3035965837] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2450 geometric_solution 5.79309348 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 -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.493920630940 0.338715933641 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.129051746275 0.605608250618 1 3 4 5 0132 0213 0132 0132 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 -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.455742405398 0.569373569749 5 4 2 1 0132 3201 0213 0132 0 0 0 0 0 -1 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455742405398 0.569373569749 4 4 3 2 1302 2031 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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.510507861688 1.068469553608 3 6 2 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.105316533991 1.880784931949 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.407359617703 0.209082517636 ==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' : 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' : 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' : 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_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], '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_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 15955755455950907745663437121649048/3214603818367351720422009580389\ 85*c_0110_6^22 + 83621779701750147111698278114397334/32146038183673\ 5172042200958038985*c_0110_6^21 - 209696385852804896970698254236852\ 72/24727721679748859387861612156845*c_0110_6^20 + 7349161461222309038454200867862751/4069118757427027494205075418215*\ c_0110_6^19 - 41467381278465887679898492967620118/29223671076066833\ 822018268912635*c_0110_6^18 - 957058067714071812759023409631533092/\ 321460381836735172042200958038985*c_0110_6^17 + 3714167429948355940585547518520018602/32146038183673517204220095803\ 8985*c_0110_6^16 - 3851765551298095196937899307433265859/3214603818\ 36735172042200958038985*c_0110_6^15 - 2713950804461359880799923569835729421/32146038183673517204220095803\ 8985*c_0110_6^14 + 11680888859307442899531530345085814103/321460381\ 836735172042200958038985*c_0110_6^13 - 10471790892929621139059925137882957547/3214603818367351720422009580\ 38985*c_0110_6^12 - 9222425072526141758902640633255494556/321460381\ 836735172042200958038985*c_0110_6^11 + 17305935937727411791643510941196540668/3214603818367351720422009580\ 38985*c_0110_6^10 - 1463568662038015176209143242031901208/321460381\ 836735172042200958038985*c_0110_6^9 - 1978950412246199043246631354462634000/64292076367347034408440191607\ 797*c_0110_6^8 + 1771200423800254688757409891793888556/321460381836\ 735172042200958038985*c_0110_6^7 + 700587310106221209125745254943923244/247277216797488593878616121568\ 45*c_0110_6^6 + 195510058196587597902590640908853020/64292076367347\ 034408440191607797*c_0110_6^5 - 83549012284591579229096897053191002\ 17/321460381836735172042200958038985*c_0110_6^4 + 34552249603250005354310552641233396/6429207636734703440844019160779\ 7*c_0110_6^3 + 2669545810348332858958915907918676372/32146038183673\ 5172042200958038985*c_0110_6^2 - 2571698037370064860778001912540724\ 3/24727721679748859387861612156845*c_0110_6 - 138247003807349989451104709492613376/321460381836735172042200958038\ 985, c_0011_0 - 1, c_0011_1 + 884769314984284151688611543/517370471382965987820098591*c_01\ 10_6^22 - 4686514419832231989833681481/517370471382965987820098591*\ c_0110_6^21 + 15291271259941784959674898009/51737047138296598782009\ 8591*c_0110_6^20 - 32639541248123614578123111424/517370471382965987\ 820098591*c_0110_6^19 + 25848661699038617928710971501/5173704713829\ 65987820098591*c_0110_6^18 + 54114414388116375337790340305/51737047\ 1382965987820098591*c_0110_6^17 - 210115782187415358938705865287/51\ 7370471382965987820098591*c_0110_6^16 + 219406003981619061700202156983/517370471382965987820098591*c_0110_6\ ^15 + 155599830928224450995589181933/517370471382965987820098591*c_\ 0110_6^14 - 668483505579306864742629847303/517370471382965987820098\ 591*c_0110_6^13 + 596776753934490007536454248826/517370471382965987\ 820098591*c_0110_6^12 + 531555697500416712571072137180/517370471382\ 965987820098591*c_0110_6^11 - 1019909168804901539599859062529/51737\ 0471382965987820098591*c_0110_6^10 + 72124532341545498551934353604/517370471382965987820098591*c_0110_6^\ 9 + 606288501181783296087972369454/517370471382965987820098591*c_01\ 10_6^8 - 112514128819366033122823019472/517370471382965987820098591\ *c_0110_6^7 - 541362917086003632133750186120/5173704713829659878200\ 98591*c_0110_6^6 - 33536342166191715014819702596/517370471382965987\ 820098591*c_0110_6^5 + 506979752936713390710234293010/5173704713829\ 65987820098591*c_0110_6^4 - 10308847024416170339759876016/517370471\ 382965987820098591*c_0110_6^3 - 178136838791773453760950602785/5173\ 70471382965987820098591*c_0110_6^2 + 15944914771920984962545506485/517370471382965987820098591*c_0110_6 + 14019169298810593655216817115/517370471382965987820098591, c_0011_3 - 413648580801393403060999188/517370471382965987820098591*c_01\ 10_6^22 + 2236496199615766954659132005/517370471382965987820098591*\ c_0110_6^21 - 7383816696344399639715543741/517370471382965987820098\ 591*c_0110_6^20 + 16031209197488170673559108270/5173704713829659878\ 20098591*c_0110_6^19 - 13751745353362267585494762214/51737047138296\ 5987820098591*c_0110_6^18 - 23878403291538228499007462301/517370471\ 382965987820098591*c_0110_6^17 + 100488748134994725591962529315/517\ 370471382965987820098591*c_0110_6^16 - 112318768125763754068472169908/517370471382965987820098591*c_0110_6\ ^15 - 62207127868887163793082746235/517370471382965987820098591*c_0\ 110_6^14 + 318239662975016011065824836230/5173704713829659878200985\ 91*c_0110_6^13 - 307618811161282911450651321261/5173704713829659878\ 20098591*c_0110_6^12 - 221275528255048612391496255807/5173704713829\ 65987820098591*c_0110_6^11 + 497510700986875893465042212104/5173704\ 71382965987820098591*c_0110_6^10 - 70381612959687364464529913757/517370471382965987820098591*c_0110_6^\ 9 - 281665795554218634439246016869/517370471382965987820098591*c_01\ 10_6^8 + 70725512336795114690356942118/517370471382965987820098591*\ c_0110_6^7 + 254528928022146704703239321171/51737047138296598782009\ 8591*c_0110_6^6 - 7711610944898046788678728670/51737047138296598782\ 0098591*c_0110_6^5 - 242110038605175241924526038440/517370471382965\ 987820098591*c_0110_6^4 + 21946143645754095375832420073/51737047138\ 2965987820098591*c_0110_6^3 + 85657690291788844836092849767/5173704\ 71382965987820098591*c_0110_6^2 - 10318440707502555901847852808/517\ 370471382965987820098591*c_0110_6 - 7002414358856373366686969607/517370471382965987820098591, c_0011_4 + 125179726889138694688793655692/33629080639892789208306408415\ *c_0110_6^22 - 657049517839164774228250903951/336290806398927892083\ 06408415*c_0110_6^21 + 2136051639005476409693093371409/336290806398\ 92789208306408415*c_0110_6^20 - 4533566812499267764448033805631/336\ 29080639892789208306408415*c_0110_6^19 + 268746340128414086466725332969/2586852356914829939100492955*c_0110_\ 6^18 + 7725460602777329745441184122718/3362908063989278920830640841\ 5*c_0110_6^17 - 29343870086384849609674718398933/336290806398927892\ 08306408415*c_0110_6^16 + 29944170555308842272405455816886/33629080\ 639892789208306408415*c_0110_6^15 + 22690132685197386479024520365924/33629080639892789208306408415*c_01\ 10_6^14 - 93152622911674904085989485950227/336290806398927892083064\ 08415*c_0110_6^13 + 81178883982900839639491962087888/33629080639892\ 789208306408415*c_0110_6^12 + 76750132266892770342399247947959/3362\ 9080639892789208306408415*c_0110_6^11 - 139817414713244246750199349890227/33629080639892789208306408415*c_0\ 110_6^10 + 7121463495235847375750613654387/336290806398927892083064\ 08415*c_0110_6^9 + 16770121211391510330103068869127/672581612797855\ 7841661281683*c_0110_6^8 - 13410330000411191295366868280544/3362908\ 0639892789208306408415*c_0110_6^7 - 75355523856432798136531601309373/33629080639892789208306408415*c_01\ 10_6^6 - 1506090653322649829360391745748/67258161279785578416612816\ 83*c_0110_6^5 + 69582994256894446460680035413048/336290806398927892\ 08306408415*c_0110_6^4 + 4978107113191969073637070373/6725816127978\ 557841661281683*c_0110_6^3 - 24026745619222291644756863853153/33629\ 080639892789208306408415*c_0110_6^2 + 1915590333303645323684948352066/33629080639892789208306408415*c_011\ 0_6 + 1844402730045869223442894102719/33629080639892789208306408415\ , c_0101_0 + 127302813996745111347198949019/33629080639892789208306408415\ *c_0110_6^22 - 669461577244940607504223150247/336290806398927892083\ 06408415*c_0110_6^21 + 2178371525416613621126244511103/336290806398\ 92789208306408415*c_0110_6^20 - 4629167410930311223687076908432/336\ 29080639892789208306408415*c_0110_6^19 + 276082453746594016541193620578/2586852356914829939100492955*c_0110_\ 6^18 + 7842760409263226217682965149296/3362908063989278920830640841\ 5*c_0110_6^17 - 29940408285689766957334692264991/336290806398927892\ 08306408415*c_0110_6^16 + 30726942832445449577580178284857/33629080\ 639892789208306408415*c_0110_6^15 + 22888670148377884539657786873498/33629080639892789208306408415*c_01\ 10_6^14 - 95100924855457843824847202998509/336290806398927892083064\ 08415*c_0110_6^13 + 83457782144943616245842709346751/33629080639892\ 789208306408415*c_0110_6^12 + 77558976202806738066635704305128/3362\ 9080639892789208306408415*c_0110_6^11 - 143318897203848535306392144071674/33629080639892789208306408415*c_0\ 110_6^10 + 8473840971312917264415503369229/336290806398927892083064\ 08415*c_0110_6^9 + 17118328617301741729245794352581/672581612797855\ 7841661281683*c_0110_6^8 - 14550609265394072501709654726563/3362908\ 0639892789208306408415*c_0110_6^7 - 76702539350988828458239208761311/33629080639892789208306408415*c_01\ 10_6^6 - 1388684077329001953912414560794/67258161279785578416612816\ 83*c_0110_6^5 + 71119791838514538911746552205386/336290806398927892\ 08306408415*c_0110_6^4 - 136290724810901617330061967905/67258161279\ 78557841661281683*c_0110_6^3 - 24606181472434969251739310548591/336\ 29080639892789208306408415*c_0110_6^2 + 2197501528015712465161918845277/33629080639892789208306408415*c_011\ 0_6 + 1887633763705166045113860197803/33629080639892789208306408415\ , c_0101_1 - 1804400213715310427988260642/517370471382965987820098591*c_0\ 110_6^22 + 9461412339367983193175160181/517370471382965987820098591\ *c_0110_6^21 - 30712181007729150904107116593/5173704713829659878200\ 98591*c_0110_6^20 + 65044434526180063378434543018/51737047138296598\ 7820098591*c_0110_6^19 - 49536710933549549703357406191/517370471382\ 965987820098591*c_0110_6^18 - 112683226231997724629989307045/517370\ 471382965987820098591*c_0110_6^17 + 423420260290903905694207545776/517370471382965987820098591*c_0110_6\ ^16 - 428421547694056054566014522876/517370471382965987820098591*c_\ 0110_6^15 - 334940420304706117560521755313/517370471382965987820098\ 591*c_0110_6^14 + 1347971651636430610840424452314/51737047138296598\ 7820098591*c_0110_6^13 - 1162079051269939565782866071450/5173704713\ 82965987820098591*c_0110_6^12 - 1127564227323624326595964742490/517\ 370471382965987820098591*c_0110_6^11 + 2027882786505243489140069730645/517370471382965987820098591*c_0110_\ 6^10 - 86594510105427100095313756767/517370471382965987820098591*c_\ 0110_6^9 - 1225483154592798714130644278190/517370471382965987820098\ 591*c_0110_6^8 + 195550018716054380571029168119/5173704713829659878\ 20098591*c_0110_6^7 + 1091706016409693471263797099616/5173704713829\ 65987820098591*c_0110_6^6 + 114883835103743287943614807244/51737047\ 1382965987820098591*c_0110_6^5 - 1012760175404127349264003014371/51\ 7370471382965987820098591*c_0110_6^4 - 7021694448524686791155110445/517370471382965987820098591*c_0110_6^3 + 351528264613920943482730214012/517370471382965987820098591*c_0110\ _6^2 - 28071331256125013115266562104/517370471382965987820098591*c_\ 0110_6 - 26524244494223841326578223607/517370471382965987820098591, c_0110_6^23 - 6*c_0110_6^22 + 21*c_0110_6^21 - 49*c_0110_6^20 + 55*c_0110_6^19 + 41*c_0110_6^18 - 281*c_0110_6^17 + 415*c_0110_6^16 + 3*c_0110_6^15 - 882*c_0110_6^14 + 1207*c_0110_6^13 + 130*c_0110_6^12 - 1582*c_0110_6^11 + 894*c_0110_6^10 + 632*c_0110_6^9 - 612*c_0110_6^8 - 523*c_0110_6^7 + 392*c_0110_6^6 + 604*c_0110_6^5 - 417*c_0110_6^4 - 194*c_0110_6^3 + 160*c_0110_6^2 + 3*c_0110_6 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB