Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 71669821] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0124 geometric_solution 3.63720978 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 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 -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.763786403126 0.967016285356 0 0 4 4 0132 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.942819774796 1.319171025325 3 0 5 3 2310 0132 0132 3201 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 0 1 0 -1 1 0 0 -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.199726973677 0.405354837376 5 2 2 0 1023 2310 3201 0132 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 0 1 -1 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.199726973677 0.405354837376 1 6 1 6 2310 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.097147604883 0.288100655669 5 3 5 2 2310 1023 3201 0132 0 0 0 0 0 0 1 -1 -1 0 1 0 -1 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 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.978078551378 1.985054220947 6 4 6 4 2310 0132 3201 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.490378666022 0.022616043674 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 9973243106598940755390544481413125605577/30920785034184959809902819\ 373153509356*c_0101_6^24 + 3599472926818385050210718987744358478403\ 963/359805498579606805060687352705786290688*c_0101_6^22 - 236675438252302609221308269129229233124167497/197893024218783742783\ 3780439881824598784*c_0101_6^20 + 134657849212029696714088976365489\ 4742295218631/3957860484375674855667560879763649197568*c_0101_6^18 - 2089218292934898079314413507073201066448311489/39578604843756748556\ 67560879763649197568*c_0101_6^16 + 2215226597085534893074605427128890155834473473/39578604843756748556\ 67560879763649197568*c_0101_6^14 - 452064149212526852028758589554687374002583075/989465121093918713916\ 890219940912299392*c_0101_6^12 + 1122506408206507154150139214538770\ 635159423839/3957860484375674855667560879763649197568*c_0101_6^10 - 45879697632763637379982605479509688544229929/3598054985796068050606\ 87352705786290688*c_0101_6^8 + 163597429150743142148386917203187898\ 279957421/3957860484375674855667560879763649197568*c_0101_6^6 - 3486138641139823597792130851324724220264663/35980549857960680506068\ 7352705786290688*c_0101_6^4 + 5088416177460782752719369046443947122\ 23901/359805498579606805060687352705786290688*c_0101_6^2 - 250118086588749664049263145081889032112445/395786048437567485566756\ 0879763649197568, c_0011_0 - 1, c_0011_3 + 114522395460562432717109668033954064352/70274511441329454113\ 4154985753488849*c_0101_6^24 - 143483047012521331060382791075902581\ 19359/2810980457653178164536619943013955396*c_0101_6^22 + 43533727371070756026218316944454819405986/7027451144132945411341549\ 85753488849*c_0101_6^20 - 53294477755858248112856972203291102364700\ 5/2810980457653178164536619943013955396*c_0101_6^18 + 870487789987408395761921725294073511825727/281098045765317816453661\ 9943013955396*c_0101_6^16 - 945356760700917897574535079272835999011\ 725/2810980457653178164536619943013955396*c_0101_6^14 + 384433389064966203516872158522771828469407/140549022882658908226830\ 9971506977698*c_0101_6^12 - 472810206025713658587619986283125656208\ 047/2810980457653178164536619943013955396*c_0101_6^10 + 203234400846693789948599086750325297089629/281098045765317816453661\ 9943013955396*c_0101_6^8 - 5459715960406767860064371070954908439812\ 7/2810980457653178164536619943013955396*c_0101_6^6 + 7879003003390360849501461679265672678925/28109804576531781645366199\ 43013955396*c_0101_6^4 - 474840217199650984164846883888714726199/28\ 10980457653178164536619943013955396*c_0101_6^2 + 11027716172879418188870922775983980143/2810980457653178164536619943\ 013955396, c_0011_4 - 18687014333989786279643558646135729978/702745114413294541134\ 154985753488849*c_0101_6^24 + 3707183065346265435123939960547783166\ 9533/44975687322450850632585919088223286336*c_0101_6^22 - 221282597733908322639138721182655103252743/224878436612254253162929\ 59544111643168*c_0101_6^20 + 12469834378740639413682909650014131185\ 47975/44975687322450850632585919088223286336*c_0101_6^18 - 1859881749223406979274026165432736768271693/44975687322450850632585\ 919088223286336*c_0101_6^16 + 1849877102702562540373352471377122141\ 782545/44975687322450850632585919088223286336*c_0101_6^14 - 348726826367741158237194908724447592121125/112439218306127126581464\ 79772055821584*c_0101_6^12 + 77747674058117119607149430045716128063\ 8787/44975687322450850632585919088223286336*c_0101_6^10 - 279414038801148626930218978674369284181971/449756873224508506325859\ 19088223286336*c_0101_6^8 + 562807108595514426374744267155249160587\ 45/44975687322450850632585919088223286336*c_0101_6^6 - 5993652064783801483435650952391496074141/44975687322450850632585919\ 088223286336*c_0101_6^4 + 492727419471838512045100722778772454579/4\ 4975687322450850632585919088223286336*c_0101_6^2 + 4804642664552529229773687180429369723/44975687322450850632585919088\ 223286336, c_0101_0 + 54075523790782635150985644574637192484/702745114413294541134\ 154985753488849*c_0101_6^25 - 5402627468443311763602590394085092160\ 8137/22487843661225425316292959544111643168*c_0101_6^23 + 20385824799625586895342052579495701825627/7027451144132945411341549\ 85753488849*c_0101_6^21 - 19472778508825256944867530744661273173576\ 53/22487843661225425316292959544111643168*c_0101_6^19 + 3089051115261339683707594206456040600683333/22487843661225425316292\ 959544111643168*c_0101_6^17 - 3258368909345051162808099193938379178\ 291803/22487843661225425316292959544111643168*c_0101_6^15 + 161400349103774071350998709755273294434341/140549022882658908226830\ 9971506977698*c_0101_6^13 - 153890556316732210236009946444494873814\ 9955/22487843661225425316292959544111643168*c_0101_6^11 + 626220310499724610810710511326269295684385/224878436612254253162929\ 59544111643168*c_0101_6^9 - 154170367103499847303696185203514828431\ 625/22487843661225425316292959544111643168*c_0101_6^7 + 20134962498744640387856759518720331131783/2248784366122542531629295\ 9544111643168*c_0101_6^5 - 1461044384873271164433689989294042098619\ /22487843661225425316292959544111643168*c_0101_6^3 + 131671279772668081371481039701655832515/224878436612254253162929595\ 44111643168*c_0101_6, c_0101_1 - 14068172051838569469318302588515522182/702745114413294541134\ 154985753488849*c_0101_6^25 + 2816849989301958351270846596935474116\ 1411/44975687322450850632585919088223286336*c_0101_6^23 - 170582462898105712168500438588914109519803/224878436612254253162929\ 59544111643168*c_0101_6^21 + 10329962241682956629645851718607261591\ 65677/44975687322450850632585919088223286336*c_0101_6^19 - 1649222278341980991351850070187029101439307/44975687322450850632585\ 919088223286336*c_0101_6^17 + 1742471093186888091310877279130268956\ 852891/44975687322450850632585919088223286336*c_0101_6^15 - 344715251416182194366317172767959732683341/112439218306127126581464\ 79772055821584*c_0101_6^13 + 82105128631710349130467079378960964818\ 2821/44975687322450850632585919088223286336*c_0101_6^11 - 331411000263887938525674739388720192258369/449756873224508506325859\ 19088223286336*c_0101_6^9 + 792771183460143954987375702112708716189\ 91/44975687322450850632585919088223286336*c_0101_6^7 - 9620974821852467995289684295774536937391/44975687322450850632585919\ 088223286336*c_0101_6^5 + 657613245541737488441404032964522415173/4\ 4975687322450850632585919088223286336*c_0101_6^3 - 143383835933572470469356155165959682239/449756873224508506325859190\ 88223286336*c_0101_6, c_0101_2 + 250610918726614668554934269043737528484/70274511441329454113\ 4154985753488849*c_0101_6^25 - 252401796611397137046086628132595775\ 885993/22487843661225425316292959544111643168*c_0101_6^23 + 771563357110554187374168381739022497473501/562196091530635632907323\ 9886027910792*c_0101_6^21 - 978378089422657667553008647530667752870\ 9513/22487843661225425316292959544111643168*c_0101_6^19 + 16562568127633155701812129115157641470586749/2248784366122542531629\ 2959544111643168*c_0101_6^17 - 186044369615719790997079369189724486\ 96903063/22487843661225425316292959544111643168*c_0101_6^15 + 1947942544114414056871348115531382033019901/28109804576531781645366\ 19943013955396*c_0101_6^13 - 99296544168242424525741937704419980912\ 55291/22487843661225425316292959544111643168*c_0101_6^11 + 4517916467254077626054080427542309484092821/22487843661225425316292\ 959544111643168*c_0101_6^9 - 13294889282416717606916218657487220291\ 54865/22487843661225425316292959544111643168*c_0101_6^7 + 222160143369410260147124676493686090280067/224878436612254253162929\ 59544111643168*c_0101_6^5 - 171764568241499515118242664961220476693\ 15/22487843661225425316292959544111643168*c_0101_6^3 + 535775015454906079808406741962435081319/224878436612254253162929595\ 44111643168*c_0101_6, c_0101_6^26 - 36361/1152*c_0101_6^24 + 446543/1152*c_0101_6^22 - 1443521/1152*c_0101_6^20 + 620981/288*c_0101_6^18 - 1412971/576*c_0101_6^16 + 2389025/1152*c_0101_6^14 - 1538587/1152*c_0101_6^12 + 118381/192*c_0101_6^10 - 53083/288*c_0101_6^8 + 17975/576*c_0101_6^6 - 22/9*c_0101_6^4 + 13/144*c_0101_6^2 - 1/1152 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB