Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 223121865] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2327 geometric_solution 5.71692525 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.289526755868 0.243918545637 2 0 3 0 0132 2310 0132 0132 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 0 0 0 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690359393194 1.457973326380 1 3 4 5 0132 3201 0132 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 -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.092734512641 1.003221981283 5 4 2 1 3201 0132 2310 0132 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 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.092734512641 1.003221981283 6 3 6 2 0132 0132 2310 0132 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 1 0 0 -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.756185505115 0.816957125050 5 5 2 3 1230 3012 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 1.185145419396 1.191721431192 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.410233463083 0.235461216898 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], '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' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 5304456881554859503116074426587375720393056774365491023/38178802069\ 8854672952934489059806079317439639533846*c_0101_4^39 - 1220059597867583089985841883004797256609854715274475969833/19089401\ 03494273364764672445299030396587198197669230*c_0101_4^37 + 24213384735201473569264099831156418397728767608833972761003/1908940\ 103494273364764672445299030396587198197669230*c_0101_4^35 - 134816392593846735012564660911960116572391112632291526960269/954470\ 051747136682382336222649515198293599098834615*c_0101_4^33 + 1931692466658455984676959095624112316602674048751793354072231/19089\ 40103494273364764672445299030396587198197669230*c_0101_4^31 - 945739325424078814522574555464075499571626837173386235266166/190894\ 010349427336476467244529903039658719819766923*c_0101_4^29 + 32472650427349000176678348434355714722192459822198601048469479/1908\ 940103494273364764672445299030396587198197669230*c_0101_4^27 - 39773814162994971142119136584446005472472977179420445624776313/9544\ 70051747136682382336222649515198293599098834615*c_0101_4^25 + 70499007159675173766331940803848455989700388232536467739970982/9544\ 70051747136682382336222649515198293599098834615*c_0101_4^23 - 91377317588221551990353690922465652794102225408499679955351183/9544\ 70051747136682382336222649515198293599098834615*c_0101_4^21 + 174332417811617587302195691079770306384491186094327058748570361/190\ 8940103494273364764672445299030396587198197669230*c_0101_4^19 - 122658337782119417377098005210259957696723026963350798799729237/190\ 8940103494273364764672445299030396587198197669230*c_0101_4^17 + 31769729611076595775146320158321676242515323041795419593012193/9544\ 70051747136682382336222649515198293599098834615*c_0101_4^15 - 24089112750757818195742244452879607493734839421266734427848573/1908\ 940103494273364764672445299030396587198197669230*c_0101_4^13 + 660550473897888181290640127047178049353186555440227960765406/190894\ 010349427336476467244529903039658719819766923*c_0101_4^11 - 640695338999162104049814659127522501486553038454837773008854/954470\ 051747136682382336222649515198293599098834615*c_0101_4^9 + 84355022674545846279255737447297174922656701249995399661126/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^7 - 13953291918120357589096059450962887035200636058311223068061/1908940\ 103494273364764672445299030396587198197669230*c_0101_4^5 + 311126409042433394991464564912466702056071812956772833502/954470051\ 747136682382336222649515198293599098834615*c_0101_4^3 - 4767018650129169713542141768734113573729547691001520898/95447005174\ 7136682382336222649515198293599098834615*c_0101_4, c_0011_0 - 1, c_0011_1 + 280199784830336678606280662654253116682651995328454524/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^38 - 12783007232479421530249803025717542120799677770175385002/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^36 + 250962019782428041837896438299749816117049352128759646707/954470051\ 747136682382336222649515198293599098834615*c_0101_4^34 - 2753867213991229130064292136198006458046587022560173540856/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^32 + 19374138737814360615828748232440800111383110279487143352036/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^30 - 92691209356601035907519137191598986098583727287388325542487/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^28 + 308787657273390884215727367525034443928900512890146231817952/954470\ 051747136682382336222649515198293599098834615*c_0101_4^26 - 727381518143274744103610560035291211490854117621868520476888/954470\ 051747136682382336222649515198293599098834615*c_0101_4^24 + 1226710584863904212869937824766901252327817260945018967345872/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^22 - 1493907258253017619944373398804043058897882106729786186028714/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^20 + 1318770281559072818611225296539557273831298895960021182153552/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^18 - 168615549417685687622235858724919916226689085958376358604258/190894\ 010349427336476467244529903039658719819766923*c_0101_4^16 + 77655903453904786615557807604344876131421763668355216826287/1908940\ 10349427336476467244529903039658719819766923*c_0101_4^14 - 127617233881049949575422437623140035451158254165431150857478/954470\ 051747136682382336222649515198293599098834615*c_0101_4^12 + 29459373849271411924193313657300902733257094823151336524649/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^10 - 4632539909084536161939084815866731149877888494671092495399/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^8 + 93609268238949943505533960398657356313653320656818984590/1908940103\ 49427336476467244529903039658719819766923*c_0101_4^6 - 27442777391087256209635449837107352481707984269506071218/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^4 + 752686017065121554159049048348654729205127046393307737/954470051747\ 136682382336222649515198293599098834615*c_0101_4^2 - 7565478009461919346214989811033797278347071773235536/95447005174713\ 6682382336222649515198293599098834615, c_0011_3 + 218163262604587827906477568416681308641764598255230393/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^39 - 9953640533712146885006667092164615543240123704644171184/95447005174\ 7136682382336222649515198293599098834615*c_0101_4^37 + 195437299403705373249823454394033806272564497582756022814/954470051\ 747136682382336222649515198293599098834615*c_0101_4^35 - 2144959818204817202492350879280951389643449893691575736587/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^33 + 15094122187753762789225948397199398476192815188481620117842/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^31 - 72240812879719634652604335236173277897073110834000355810704/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^29 + 240792433260904526919012116130898928404470911777035343496924/954470\ 051747136682382336222649515198293599098834615*c_0101_4^27 - 567683237018524798968980935923675536770824600493296523257706/954470\ 051747136682382336222649515198293599098834615*c_0101_4^25 + 958560851628905172204410087086962121945524269042956670177824/954470\ 051747136682382336222649515198293599098834615*c_0101_4^23 - 1169413186361409429496776261217657151328817218198155992080073/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^21 + 1034859829523949083507740359439086287487201888580350247548599/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^19 - 132753907841891099157572602209922880003074579678841664082188/190894\ 010349427336476467244529903039658719819766923*c_0101_4^17 + 61401190956013126167449683081852114726072668320800816140453/1908940\ 10349427336476467244529903039658719819766923*c_0101_4^15 - 101429879102973104669084546309188703243411841779680281201731/954470\ 051747136682382336222649515198293599098834615*c_0101_4^13 + 23551568167854714356657045508565933439094544092244723336668/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^11 - 3725122697130472269093125307188248678701875650763387310373/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^9 + 75534394148246262578093239994518496605871250575543018548/1908940103\ 49427336476467244529903039658719819766923*c_0101_4^7 - 21968179639027688298270314631344590487376844815175742491/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^5 + 568063325750277937023503416876850691478579451930631059/954470051747\ 136682382336222649515198293599098834615*c_0101_4^3 - 1923360166110806200255796949802943119262437587231872/95447005174713\ 6682382336222649515198293599098834615*c_0101_4, c_0011_5 - 651113096057629219914424758995411986329564653627388393/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^39 + 29782546023236456948346342214874057397408093187023865479/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^37 - 586647786999624601389286489896747720946552774482901236279/954470051\ 747136682382336222649515198293599098834615*c_0101_4^35 + 6465369743475262160501522272765672604999943379796514087767/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^33 - 45714609382439812876630808568681233983088219721279395351887/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^31 + 220017399358866864209940301570125184609225906912888073750049/954470\ 051747136682382336222649515198293599098834615*c_0101_4^29 - 738211577612439053955056779292882085452117408532313327278194/954470\ 051747136682382336222649515198293599098834615*c_0101_4^27 + 1753157059209404645997635653162232581320317264151781061420936/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^25 - 2982486839566817158261336103900182371893947070771387145538204/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^23 + 3663923719154333819732413430885850366334170404784738965018403/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^21 - 3260990098060576971999206200970752951345951719637567575912364/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^19 + 419938023680936449178821802676975938159949721807620316744423/190894\ 010349427336476467244529903039658719819766923*c_0101_4^17 - 194516539806784171906696086445799180643216621277384712461552/190894\ 010349427336476467244529903039658719819766923*c_0101_4^15 + 321029997528734929761861353632219119923824203467296832381721/954470\ 051747136682382336222649515198293599098834615*c_0101_4^13 - 74346315469490814330270941668735885697764381674712674487598/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^11 + 11729506230757269739486793481599608446866979383983815279553/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^9 - 238533168605056423426797655809468102422260745496049968686/190894010\ 349427336476467244529903039658719819766923*c_0101_4^7 + 71368905481467322804730330495297655108913643131674172036/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^5 - 2101762350396087698193300632884689676314225933140040924/95447005174\ 7136682382336222649515198293599098834615*c_0101_4^3 + 24421539850332729631047714096650951409270569607201857/9544700517471\ 36682382336222649515198293599098834615*c_0101_4, c_0101_0 - 119750634708456981784193858011745834545648109592387492/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^38 + 5467114538472119070313617659258044644145207420662655041/95447005174\ 7136682382336222649515198293599098834615*c_0101_4^36 - 107432659830992750494339651454102985377356070037714234306/954470051\ 747136682382336222649515198293599098834615*c_0101_4^34 + 1180338066579543274923004634118777865915881669046320777938/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^32 - 8316152763004592463640649210370586273792577355203342395343/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^30 + 39858027374603040663460541725077395748066278163813550042221/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^28 - 133078413444461251725561844962927175514540847323934123609041/954470\ 051747136682382336222649515198293599098834615*c_0101_4^26 + 314329899093645359912697615409392688928496581422015893288839/954470\ 051747136682382336222649515198293599098834615*c_0101_4^24 - 531790448051924870362900569323291400949308439255605145181581/954470\ 051747136682382336222649515198293599098834615*c_0101_4^22 + 649982747381315848836334688562198909577184246930250296183992/954470\ 051747136682382336222649515198293599098834615*c_0101_4^20 - 576205892850129733102189866540217660477638277478072426578981/954470\ 051747136682382336222649515198293599098834615*c_0101_4^18 + 74048278910203768218116183266248052806991021740971583385620/1908940\ 10349427336476467244529903039658719819766923*c_0101_4^16 - 34328738979967380969847922445579191361710965621628670132638/1908940\ 10349427336476467244529903039658719819766923*c_0101_4^14 + 56943478861203237365957404761082350065725921959991754972254/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^12 - 13331928553875016124886925447767380891605737627680465818417/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^10 + 2143890267379342143209519928768856670813249445603044470272/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^8 - 44948306919468781228449208859771841544875713996759117702/1908940103\ 49427336476467244529903039658719819766923*c_0101_4^6 + 14021496042962542953269870077596113639716417496103793159/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^4 - 426157769993577311931335536886643813515444021997102951/954470051747\ 136682382336222649515198293599098834615*c_0101_4^2 + 4273514329017069021233179273476978008553901824821848/95447005174713\ 6682382336222649515198293599098834615, c_0101_1 - 645527093083021777751531553674320942791615827650073133/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^38 + 29548056926510983516412570181832466639813880384555663384/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^36 - 582556256485847949064522893889095841827990106159733962484/954470051\ 747136682382336222649515198293599098834615*c_0101_4^34 + 6427945947314383627758151782397842673768215533593074686587/95447005\ 1747136682382336222649515198293599098834615*c_0101_4^32 - 45514064901268130782252496501879421934728420588704668402612/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^30 + 219425527341387700883766152309185785728301084962647043445534/954470\ 051747136682382336222649515198293599098834615*c_0101_4^28 - 737773739253905971760694529242889634752662418495357416675654/954470\ 051747136682382336222649515198293599098834615*c_0101_4^26 + 1756514315079056759458514803393458499584960371005480305785226/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^24 - 2996787504416059740312367361674366882373924991468076023873114/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^22 + 3693240635738796523024887739078798429830456098985980518572158/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^20 - 3298483788601392111995095109887683021367101343203831490436439/95447\ 0051747136682382336222649515198293599098834615*c_0101_4^18 + 426340846288415308739911513127692337247691398980013818048785/190894\ 010349427336476467244529903039658719819766923*c_0101_4^16 - 198249048531469929976984161521979578823761617063501084076825/190894\ 010349427336476467244529903039658719819766923*c_0101_4^14 + 328470970024945100698839473388816323310939148904800867090866/954470\ 051747136682382336222649515198293599098834615*c_0101_4^12 - 76343294292625302608074359296871051085888477087133757029113/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^10 + 12072930129264518771084111850358444581384751077888603888653/9544700\ 51747136682382336222649515198293599098834615*c_0101_4^8 - 245046707970946119395265131174017289891208691234864967112/190894010\ 349427336476467244529903039658719819766923*c_0101_4^6 + 72086222483858974235263584635348077165080360026306617286/9544700517\ 47136682382336222649515198293599098834615*c_0101_4^4 - 1981720867815351194170910561568133426943145719280316959/95447005174\ 7136682382336222649515198293599098834615*c_0101_4^2 + 18362585965482505748332499220385283543244155878596307/9544700517471\ 36682382336222649515198293599098834615, c_0101_4^40 - 516/11*c_0101_4^38 + 31496/33*c_0101_4^36 - 362414/33*c_0101_4^34 + 2699738/33*c_0101_4^32 - 13857940/33*c_0101_4^30 + 50443691/33*c_0101_4^28 - 132577498/33*c_0101_4^26 + 85006824/11*c_0101_4^24 - 362444545/33*c_0101_4^22 + 127502851/11*c_0101_4^20 - 299884652/33*c_0101_4^18 + 173964955/33*c_0101_4^16 - 74074846/33*c_0101_4^14 + 22866226/33*c_0101_4^12 - 1673194/11*c_0101_4^10 + 757859/33*c_0101_4^8 - 24707/11*c_0101_4^6 + 4237/33*c_0101_4^4 - 38/11*c_0101_4^2 + 1/33 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB