Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 2816883526] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0569 geometric_solution 4.59092720 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 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.226612635866 0.111543392828 0 0 2 2 0132 2310 2310 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 -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 2.743621639246 1.674932228761 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 -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.353174004205 0.739756395072 2 4 4 5 0132 2310 3201 0132 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 1 -1 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.116034843793 0.670441001156 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 1 -1 1 0 -1 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.116034843793 0.670441001156 4 6 3 6 1023 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 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.883623682591 1.103896933394 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439894877957 0.311222683037 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2046984532904074425953046028686/21109050800046274778324924887*c_011\ 0_6^21 + 4434077629405600682257414207998/21109050800046274778324924\ 887*c_0110_6^20 + 627020802158798482660650904930/211090508000462747\ 78324924887*c_0110_6^19 - 150543864151108474125056162212/2110905080\ 0046274778324924887*c_0110_6^18 - 47176829738898898584350263109358/\ 21109050800046274778324924887*c_0110_6^17 - 61051959720800858539290829990740/21109050800046274778324924887*c_01\ 10_6^16 - 165208239301460102192891025704213/21109050800046274778324\ 924887*c_0110_6^15 - 152709939764426736930935634301032/211090508000\ 46274778324924887*c_0110_6^14 + 70012951835810499863296797010035/21\ 109050800046274778324924887*c_0110_6^13 + 760060285563257939553143680238676/21109050800046274778324924887*c_0\ 110_6^12 + 2459074478920500348685206969278951/211090508000462747783\ 24924887*c_0110_6^11 - 1261078432014831514112038984734981/211090508\ 00046274778324924887*c_0110_6^10 - 5819037423797164726380378543798095/21109050800046274778324924887*c_\ 0110_6^9 + 1182434111933500353828917195065733/211090508000462747783\ 24924887*c_0110_6^8 + 5650569002342830704521747988612355/2110905080\ 0046274778324924887*c_0110_6^7 - 521279958021127133562374454865786/\ 21109050800046274778324924887*c_0110_6^6 - 2774396126941149812624808609724187/21109050800046274778324924887*c_\ 0110_6^5 + 17610999443066058425419762148421/21109050800046274778324\ 924887*c_0110_6^4 + 701897662564668997449560131375009/2110905080004\ 6274778324924887*c_0110_6^3 + 34350762740539445123367971288644/2110\ 9050800046274778324924887*c_0110_6^2 - 77985903610042194694624124468303/21109050800046274778324924887*c_01\ 10_6 - 509246852850096583468350593872/21109050800046274778324924887\ , c_0011_0 - 1, c_0011_2 + 168119647094766314129416642/297310574648539081384858097*c_01\ 10_6^21 + 443068978402997556807822830/297310574648539081384858097*c\ _0110_6^20 + 329975114467516507786644800/29731057464853908138485809\ 7*c_0110_6^19 + 293115328055622555450336145/29731057464853908138485\ 8097*c_0110_6^18 - 3660576691759135446041325819/2973105746485390813\ 84858097*c_0110_6^17 - 6618567106325503139880855764/297310574648539\ 081384858097*c_0110_6^16 - 18251407396686303321515452332/2973105746\ 48539081384858097*c_0110_6^15 - 23069987601502928151201530393/29731\ 0574648539081384858097*c_0110_6^14 - 12047317876856522909507046009/297310574648539081384858097*c_0110_6^\ 13 + 50209541355033811854180925574/297310574648539081384858097*c_01\ 10_6^12 + 222402579549310317867926064816/29731057464853908138485809\ 7*c_0110_6^11 + 22116404335741466674200508269/297310574648539081384\ 858097*c_0110_6^10 - 385682549718307023632937468571/297310574648539\ 081384858097*c_0110_6^9 - 111818144856999131389466411570/2973105746\ 48539081384858097*c_0110_6^8 + 278962369256866401317557398054/29731\ 0574648539081384858097*c_0110_6^7 + 102410158587646224151110929859/297310574648539081384858097*c_0110_6\ ^6 - 93690486841185114271186320577/297310574648539081384858097*c_01\ 10_6^5 - 39214766516786650903963692795/297310574648539081384858097*\ c_0110_6^4 + 13900905551264386568054708446/297310574648539081384858\ 097*c_0110_6^3 + 4932455441658959467273686038/297310574648539081384\ 858097*c_0110_6^2 - 1634560033137851272211494821/297310574648539081\ 384858097*c_0110_6 + 41404392660208098476789020/2973105746485390813\ 84858097, c_0011_4 + 24739745686384132210898046/297310574648539081384858097*c_011\ 0_6^21 + 24042480889877211767152926/297310574648539081384858097*c_0\ 110_6^20 + 6152007692687348706118225/297310574648539081384858097*c_\ 0110_6^19 + 103631805159267215513673940/297310574648539081384858097\ *c_0110_6^18 - 536530296048979807388299287/297310574648539081384858\ 097*c_0110_6^17 + 36790877982201493981694543/2973105746485390813848\ 58097*c_0110_6^16 - 2531332026830823981876386182/297310574648539081\ 384858097*c_0110_6^15 - 761497579910594742450233583/297310574648539\ 081384858097*c_0110_6^14 - 2687600803153026799355945864/29731057464\ 8539081384858097*c_0110_6^13 + 4028584359820350301630405190/2973105\ 74648539081384858097*c_0110_6^12 + 17225556407243292453948404988/297310574648539081384858097*c_0110_6^\ 11 - 31859090750798934562352007642/297310574648539081384858097*c_01\ 10_6^10 + 14126363781600501810622148641/297310574648539081384858097\ *c_0110_6^9 + 52198663335308038514305567648/29731057464853908138485\ 8097*c_0110_6^8 - 52731246963597461430647349017/2973105746485390813\ 84858097*c_0110_6^7 - 36644358924919201519551933085/297310574648539\ 081384858097*c_0110_6^6 + 36183219310311374790154155221/29731057464\ 8539081384858097*c_0110_6^5 + 15197653825216389351146847168/2973105\ 74648539081384858097*c_0110_6^4 - 9516822469652194456754862914/2973\ 10574648539081384858097*c_0110_6^3 - 3017546727572830446562691524/297310574648539081384858097*c_0110_6^2 + 1241537172866367962795298750/297310574648539081384858097*c_0110_6 - 125609197311762084498728038/297310574648539081384858097, c_0101_0 + 79604630585596328062109937/297310574648539081384858097*c_011\ 0_6^21 + 259069881476747128442423211/297310574648539081384858097*c_\ 0110_6^20 + 209999371309531487552176099/297310574648539081384858097\ *c_0110_6^19 + 51683153420820840941436135/2973105746485390813848580\ 97*c_0110_6^18 - 1785641676220316597631133983/297310574648539081384\ 858097*c_0110_6^17 - 4404323466072723186924450174/29731057464853908\ 1384858097*c_0110_6^16 - 8997299798708844559960990345/2973105746485\ 39081384858097*c_0110_6^15 - 13761765305044776675358138693/29731057\ 4648539081384858097*c_0110_6^14 - 4226675459121750784535309388/2973\ 10574648539081384858097*c_0110_6^13 + 30331949977683937361143161125/297310574648539081384858097*c_0110_6^\ 12 + 127305579593974233985333173115/297310574648539081384858097*c_0\ 110_6^11 + 58116865915103964913364118635/29731057464853908138485809\ 7*c_0110_6^10 - 266386075584021339564196660034/29731057464853908138\ 4858097*c_0110_6^9 - 159424802657115517581065715504/297310574648539\ 081384858097*c_0110_6^8 + 232856755828787739147938977501/2973105746\ 48539081384858097*c_0110_6^7 + 124734233802234966384068289172/29731\ 0574648539081384858097*c_0110_6^6 - 92118137144806081185896215986/297310574648539081384858097*c_0110_6^\ 5 - 40591546970195392984944792595/297310574648539081384858097*c_011\ 0_6^4 + 15077757527079512156682827335/297310574648539081384858097*c\ _0110_6^3 + 4108218068903575823706379891/29731057464853908138485809\ 7*c_0110_6^2 - 1601597261474567948603020662/29731057464853908138485\ 8097*c_0110_6 + 323703394901271471702686535/29731057464853908138485\ 8097, c_0101_1 - 173760450451806871016436160/297310574648539081384858097*c_01\ 10_6^21 - 448980066029928208462992276/297310574648539081384858097*c\ _0110_6^20 - 299101370647741408681878836/29731057464853908138485809\ 7*c_0110_6^19 - 254714253445390364585172357/29731057464853908138485\ 8097*c_0110_6^18 + 3804420803842029612116073601/2973105746485390813\ 84858097*c_0110_6^17 + 6671417824181684266227481623/297310574648539\ 081384858097*c_0110_6^16 + 18084895234647359423079247254/2973105746\ 48539081384858097*c_0110_6^15 + 22548637405797437096395824509/29731\ 0574648539081384858097*c_0110_6^14 + 9550764813890423787867095486/297310574648539081384858097*c_0110_6^1\ 3 - 53461968527654200902414976484/297310574648539081384858097*c_011\ 0_6^12 - 227486015694114320829182236540/297310574648539081384858097\ *c_0110_6^11 - 5097142157200877063865970394/29731057464853908138485\ 8097*c_0110_6^10 + 418848343229448257447667233837/29731057464853908\ 1384858097*c_0110_6^9 + 79635549042537441303750662312/2973105746485\ 39081384858097*c_0110_6^8 - 321232331823523487919336372801/29731057\ 4648539081384858097*c_0110_6^7 - 75430602012899397639743555295/2973\ 10574648539081384858097*c_0110_6^6 + 114717572543684129008805724923/297310574648539081384858097*c_0110_6\ ^5 + 28061814593357175448871917999/297310574648539081384858097*c_01\ 10_6^4 - 17750679900882392970496314622/297310574648539081384858097*\ c_0110_6^3 - 1715962168462286502682770364/2973105746485390813848580\ 97*c_0110_6^2 + 1343125049616150822332978046/2973105746485390813848\ 58097*c_0110_6 - 443819232349957141177059063/2973105746485390813848\ 58097, c_0101_3 - 84183080801445969404886264/297310574648539081384858097*c_011\ 0_6^21 - 201400685463807434269444385/297310574648539081384858097*c_\ 0110_6^20 - 116195482036231954104866121/297310574648539081384858097\ *c_0110_6^19 - 107048855738872597781129603/297310574648539081384858\ 097*c_0110_6^18 + 1889251228951308950202396788/29731057464853908138\ 4858097*c_0110_6^17 + 2894141251685830055943318432/2973105746485390\ 81384858097*c_0110_6^16 + 8494792856296793134859730980/297310574648\ 539081384858097*c_0110_6^15 + 9282091838771193943753701321/29731057\ 4648539081384858097*c_0110_6^14 + 3375587326056216169534712265/2973\ 10574648539081384858097*c_0110_6^13 - 27523882875583066486732738785/297310574648539081384858097*c_0110_6^\ 12 - 106824935112592225869978198899/297310574648539081384858097*c_0\ 110_6^11 + 12088154872049357431817305406/29731057464853908138485809\ 7*c_0110_6^10 + 191090514134768876761917336976/29731057464853908138\ 4858097*c_0110_6^9 + 21901026891659575771879953206/2973105746485390\ 81384858097*c_0110_6^8 - 140473637536491161264787820484/29731057464\ 8539081384858097*c_0110_6^7 - 24398105994870461289095208189/2973105\ 74648539081384858097*c_0110_6^6 + 48210540204399466627320572903/297\ 310574648539081384858097*c_0110_6^5 + 7047577340274048970320115885/297310574648539081384858097*c_0110_6^4 - 7045585932418918385355066395/297310574648539081384858097*c_0110_6\ ^3 + 130958468989069801004848600/297310574648539081384858097*c_0110\ _6^2 + 753089573068826452026781558/297310574648539081384858097*c_01\ 10_6 - 156912008357375056917036584/297310574648539081384858097, c_0110_6^22 + 2*c_0110_6^21 - 23*c_0110_6^18 - 26*c_0110_6^17 - 77*c_0110_6^16 - 63*c_0110_6^15 + 42*c_0110_6^14 + 361*c_0110_6^13 + 1141*c_0110_6^12 - 795*c_0110_6^11 - 2672*c_0110_6^10 + 1028*c_0110_6^9 + 2507*c_0110_6^8 - 711*c_0110_6^7 - 1166*c_0110_6^6 + 248*c_0110_6^5 + 275*c_0110_6^4 - 52*c_0110_6^3 - 27*c_0110_6^2 + 9*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB