Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 2715827534] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0676 geometric_solution 4.64751467 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 -1 1 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 1 -1 -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 -2.467918670556 1.698833001312 0 0 1 1 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 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 0 -1 1 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.335354546333 0.051057096987 0 0 4 3 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162072940572 0.285622111483 4 4 2 5 1230 1023 0132 0132 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 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446446556908 1.255126393780 3 3 5 2 1023 3012 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 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.446446556908 1.255126393780 6 4 3 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428204279593 0.724511482066 5 6 6 5 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.463055248491 0.531082114408 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), '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_0101_1']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 84337906860137366738031597628/7518228032423111620816938689*c_0101_6\ ^20 + 78212858312216666913943267990/7518228032423111620816938689*c_\ 0101_6^19 - 10845856545561188500547045395/7518228032423111620816938\ 689*c_0101_6^18 - 3892306077948548556608693188695/75182280324231116\ 20816938689*c_0101_6^17 - 8333766576801976354499750432554/751822803\ 2423111620816938689*c_0101_6^16 - 22950741011369468174971137005163/\ 7518228032423111620816938689*c_0101_6^15 - 14296330355578369154703121545498/7518228032423111620816938689*c_010\ 1_6^14 - 19085547168342208070826706490093/7518228032423111620816938\ 689*c_0101_6^13 + 23108590288166410267749228074746/7518228032423111\ 620816938689*c_0101_6^12 + 17009593173050796298340213589850/7518228\ 032423111620816938689*c_0101_6^11 + 25638823760261389849937630223957/7518228032423111620816938689*c_010\ 1_6^10 + 5604534995317612128361223049947/75182280324231116208169386\ 89*c_0101_6^9 - 7162834238140112232450168475909/7518228032423111620\ 816938689*c_0101_6^8 + 5169980805882340707177461051295/751822803242\ 3111620816938689*c_0101_6^7 - 9118769769271442280075782485486/75182\ 28032423111620816938689*c_0101_6^6 + 4877127042488690483144536723837/7518228032423111620816938689*c_0101\ _6^5 - 9554556057806775684904256111013/7518228032423111620816938689\ *c_0101_6^4 + 4913195696474946123459424764230/751822803242311162081\ 6938689*c_0101_6^3 + 1590457262558805018456802787198/75182280324231\ 11620816938689*c_0101_6^2 - 1828325277136862233294386880107/7518228\ 032423111620816938689*c_0101_6 - 341128492058586706920093285663/751\ 8228032423111620816938689, c_0011_0 - 1, c_0011_3 + 894794675497880543963767375/7518228032423111620816938689*c_0\ 101_6^20 + 1012400165492361572335731090/751822803242311162081693868\ 9*c_0101_6^19 + 312626979921987856102726016/75182280324231116208169\ 38689*c_0101_6^18 - 40889542300454365000846718483/75182280324231116\ 20816938689*c_0101_6^17 - 96542136615353567132782053260/75182280324\ 23111620816938689*c_0101_6^16 - 273172769694242565833826879138/7518\ 228032423111620816938689*c_0101_6^15 - 235434096184705293899180748206/7518228032423111620816938689*c_0101_\ 6^14 - 329761214127731013689270796820/7518228032423111620816938689*\ c_0101_6^13 + 84861827831384153220211405668/75182280324231116208169\ 38689*c_0101_6^12 + 74787453651861941728304938003/75182280324231116\ 20816938689*c_0101_6^11 + 249014054921354411943404901857/7518228032\ 423111620816938689*c_0101_6^10 + 111563348008359433565721307397/751\ 8228032423111620816938689*c_0101_6^9 + 1525000803862789767756485437/7518228032423111620816938689*c_0101_6^\ 8 + 112592747753657432804224287467/7518228032423111620816938689*c_0\ 101_6^7 - 53500920459933769134007656650/751822803242311162081693868\ 9*c_0101_6^6 + 81160860945455061726028978091/7518228032423111620816\ 938689*c_0101_6^5 - 83692539978821411827253359045/75182280324231116\ 20816938689*c_0101_6^4 + 52576645775299706342863755563/751822803242\ 3111620816938689*c_0101_6^3 + 10451654618890124890134541302/7518228\ 032423111620816938689*c_0101_6^2 - 23896304913974088463715092265/7518228032423111620816938689*c_0101_6 + 308077072706964966827561285/7518228032423111620816938689, c_0011_5 - 1246875953015571836412738244/7518228032423111620816938689*c_\ 0101_6^20 - 1108284865589838846769082319/75182280324231116208169386\ 89*c_0101_6^19 + 126114848282187556531426087/7518228032423111620816\ 938689*c_0101_6^18 + 57466994032540813704189479427/7518228032423111\ 620816938689*c_0101_6^17 + 120945217434871089927126230596/751822803\ 2423111620816938689*c_0101_6^16 + 338069358388892917336745644156/75\ 18228032423111620816938689*c_0101_6^15 + 205913066993300541252480194093/7518228032423111620816938689*c_0101_\ 6^14 + 297973070768749553108072497211/7518228032423111620816938689*\ c_0101_6^13 - 330296646737193592448386305905/7518228032423111620816\ 938689*c_0101_6^12 - 195706474162248694596676442737/751822803242311\ 1620816938689*c_0101_6^11 - 356308559505957521066000919095/75182280\ 32423111620816938689*c_0101_6^10 - 44195235076843175600351697895/7518228032423111620816938689*c_0101_6\ ^9 + 104765953135326741613753339464/7518228032423111620816938689*c_\ 0101_6^8 - 86976904688920857823753304608/75182280324231116208169386\ 89*c_0101_6^7 + 136491898888869568234269436302/75182280324231116208\ 16938689*c_0101_6^6 - 90096576523098382123939222396/751822803242311\ 1620816938689*c_0101_6^5 + 158148768668271928545190553592/751822803\ 2423111620816938689*c_0101_6^4 - 91275177732943924942988193952/7518\ 228032423111620816938689*c_0101_6^3 - 19089127923001556255873088661/7518228032423111620816938689*c_0101_6\ ^2 + 19513131539907553758673168249/7518228032423111620816938689*c_0\ 101_6 + 96058542440615099146636123/7518228032423111620816938689, c_0101_0 + 86417298898694678085054213/7518228032423111620816938689*c_01\ 01_6^20 - 398077896882914203242565160/7518228032423111620816938689*\ c_0101_6^19 - 482478945823645867720262266/7518228032423111620816938\ 689*c_0101_6^18 - 4156538458934507583182354158/75182280324231116208\ 16938689*c_0101_6^17 + 13163503225760170031504080367/75182280324231\ 11620816938689*c_0101_6^16 + 24798787233274703475925221568/75182280\ 32423111620816938689*c_0101_6^15 + 127532241485753877586124490618/7518228032423111620816938689*c_0101_\ 6^14 + 97491717294297139835589612976/7518228032423111620816938689*c\ _0101_6^13 + 213826596641594170437139944463/75182280324231116208169\ 38689*c_0101_6^12 - 11847549468910400189997260384/75182280324231116\ 20816938689*c_0101_6^11 + 33429743072606910791655028160/75182280324\ 23111620816938689*c_0101_6^10 - 115075722973312000067171747344/7518\ 228032423111620816938689*c_0101_6^9 - 74243149172283209816566884012/7518228032423111620816938689*c_0101_6\ ^8 - 27668096155700576902537976308/7518228032423111620816938689*c_0\ 101_6^7 - 92863210449147089020765881602/751822803242311162081693868\ 9*c_0101_6^6 + 31202350004128823007426520217/7518228032423111620816\ 938689*c_0101_6^5 - 54178422468269364418798273191/75182280324231116\ 20816938689*c_0101_6^4 + 54978470712473984963448305933/751822803242\ 3111620816938689*c_0101_6^3 - 30201547223827962302587568519/7518228\ 032423111620816938689*c_0101_6^2 - 8328193251000810435067971/7518228032423111620816938689*c_0101_6 + 7555181516325972691019739686/7518228032423111620816938689, c_0101_1 - 1636936679243695422704275651/7518228032423111620816938689*c_\ 0101_6^20 - 1246876980910830552228188682/75182280324231116208169386\ 89*c_0101_6^19 + 314948329780923878730964698/7518228032423111620816\ 938689*c_0101_6^18 + 75280526792797088398720143556/7518228032423111\ 620816938689*c_0101_6^17 + 149069892826415433920931895175/751822803\ 2423111620816938689*c_0101_6^16 + 425271557314388692406352857714/75\ 18228032423111620816938689*c_0101_6^15 + 222460818161147839184456695742/7518228032423111620816938689*c_0101_\ 6^14 + 378259856160574363246467670944/7518228032423111620816938689*\ c_0101_6^13 - 445080588048841784897073761141/7518228032423111620816\ 938689*c_0101_6^12 - 167297481877259276288425479624/751822803242311\ 1620816938689*c_0101_6^11 - 408335440980407420812854821557/75182280\ 32423111620816938689*c_0101_6^10 - 14474941770421738945637193456/7518228032423111620816938689*c_0101_6\ ^9 + 129232572564430925927173516595/7518228032423111620816938689*c_\ 0101_6^8 - 159307502927147219998222797406/7518228032423111620816938\ 689*c_0101_6^7 + 173127331986335584516029216055/7518228032423111620\ 816938689*c_0101_6^6 - 159148341271787496474565539456/7518228032423\ 111620816938689*c_0101_6^5 + 193171287689639329784694987622/7518228\ 032423111620816938689*c_0101_6^4 - 134116342516492406549318726984/7518228032423111620816938689*c_0101_\ 6^3 + 2199251347952212775764082839/7518228032423111620816938689*c_0\ 101_6^2 + 39561492404330812884287913744/751822803242311162081693868\ 9*c_0101_6 - 2918438899899629960564034035/7518228032423111620816938\ 689, c_0101_3 - 1571258567276520573093281289/7518228032423111620816938689*c_\ 0101_6^20 - 1701448969116897178229969246/75182280324231116208169386\ 89*c_0101_6^19 - 182290072773375774150878653/7518228032423111620816\ 938689*c_0101_6^18 + 72208795850463643244758939429/7518228032423111\ 620816938689*c_0101_6^17 + 166296747879681544995590080581/751822803\ 2423111620816938689*c_0101_6^16 + 458780174548337172354499620799/75\ 18228032423111620816938689*c_0101_6^15 + 356947262979947674706538916459/7518228032423111620816938689*c_0101_\ 6^14 + 462490487661697865912387250822/7518228032423111620816938689*\ c_0101_6^13 - 280145684592892460628997557806/7518228032423111620816\ 938689*c_0101_6^12 - 267614761661927337228380721099/751822803242311\ 1620816938689*c_0101_6^11 - 443711099880791531162630038929/75182280\ 32423111620816938689*c_0101_6^10 - 153382356188354573038170310832/7518228032423111620816938689*c_0101_\ 6^9 + 115635678722199901952761041595/7518228032423111620816938689*c\ _0101_6^8 - 112596928104777668422457815604/751822803242311162081693\ 8689*c_0101_6^7 + 127259897607982919094779192106/751822803242311162\ 0816938689*c_0101_6^6 - 105389981133210244009030153738/751822803242\ 3111620816938689*c_0101_6^5 + 140532786900739539357030929446/751822\ 8032423111620816938689*c_0101_6^4 - 74009498952280796347282126913/7518228032423111620816938689*c_0101_6\ ^3 - 42279232283161525604898072252/7518228032423111620816938689*c_0\ 101_6^2 + 34054912904736854646809303319/751822803242311162081693868\ 9*c_0101_6 + 1400100351408380313668817683/7518228032423111620816938\ 689, c_0101_6^21 + c_0101_6^20 - 46*c_0101_6^18 - 102*c_0101_6^17 - 282*c_0101_6^16 - 200*c_0101_6^15 - 269*c_0101_6^14 + 208*c_0101_6^13 + 159*c_0101_6^12 + 270*c_0101_6^11 + 74*c_0101_6^10 - 70*c_0101_6^9 + 81*c_0101_6^8 - 88*c_0101_6^7 + 63*c_0101_6^6 - 101*c_0101_6^5 + 54*c_0101_6^4 + 24*c_0101_6^3 - 23*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB