Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 2033771899] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s392 geometric_solution 4.62824205 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 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 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.551954720406 0.485225500946 3 2 2 0 0132 3012 2031 0132 0 0 0 0 0 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 1 -1 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.710663316308 0.714008201896 1 3 0 1 1230 3201 0132 1302 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 -1 1 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.710663316308 0.714008201896 1 4 2 4 0132 0132 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 -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.889975651175 1.002831339360 5 3 5 3 0132 0132 1023 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.693520896174 0.386785952210 4 5 4 5 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750358999860 0.143696963797 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 53207671038225235374/3778220265405985063*c_0101_5^16 - 13385307843220372975/3778220265405985063*c_0101_5^15 - 1273592551329005649438/3778220265405985063*c_0101_5^14 + 1807772922752196276066/3778220265405985063*c_0101_5^13 - 5084765630745480467141/3778220265405985063*c_0101_5^12 + 2880105069085735570755/3778220265405985063*c_0101_5^11 + 23156281273558620201103/3778220265405985063*c_0101_5^10 + 485560034932736571017/539745752200855009*c_0101_5^9 + 4518532127696575288438/3778220265405985063*c_0101_5^8 + 500160235807024138850/539745752200855009*c_0101_5^7 - 3078305102885495905805/539745752200855009*c_0101_5^6 - 837844402981347160067/539745752200855009*c_0101_5^5 + 1390506562412511860895/539745752200855009*c_0101_5^4 + 2490065049747060588856/3778220265405985063*c_0101_5^3 - 283013077546274026471/539745752200855009*c_0101_5^2 - 319252666839038018334/3778220265405985063*c_0101_5 + 183004431496159591190/3778220265405985063, c_0011_0 - 1, c_0011_1 + 1644699764712251898/539745752200855009*c_0101_5^16 - 1199826667392947161/539745752200855009*c_0101_5^15 - 39108823881899754677/539745752200855009*c_0101_5^14 + 74610293325676037472/539745752200855009*c_0101_5^13 - 185333676320033294205/539745752200855009*c_0101_5^12 + 167916907289167983081/539745752200855009*c_0101_5^11 + 664975058215375999478/539745752200855009*c_0101_5^10 - 227264434054052552615/539745752200855009*c_0101_5^9 + 112752073037566013231/539745752200855009*c_0101_5^8 + 13887751920124414844/539745752200855009*c_0101_5^7 - 716119482770314845804/539745752200855009*c_0101_5^6 + 139652949731031916617/539745752200855009*c_0101_5^5 + 357197896514090008386/539745752200855009*c_0101_5^4 - 43148883041069656022/539745752200855009*c_0101_5^3 - 77580013161291421799/539745752200855009*c_0101_5^2 + 4467408362043043202/539745752200855009*c_0101_5 + 6400322708166493616/539745752200855009, c_0101_0 - 2095470255334178144/539745752200855009*c_0101_5^16 + 784347635404770806/539745752200855009*c_0101_5^15 + 49799033402456248268/539745752200855009*c_0101_5^14 - 77311858397373374747/539745752200855009*c_0101_5^13 + 215963955781788182951/539745752200855009*c_0101_5^12 - 147211502458655952120/539745752200855009*c_0101_5^11 - 869390948959117986679/539745752200855009*c_0101_5^10 - 35719476276746601355/539745752200855009*c_0101_5^9 - 285496553080135371155/539745752200855009*c_0101_5^8 - 148903141336139765710/539745752200855009*c_0101_5^7 + 806727811113252649286/539745752200855009*c_0101_5^6 + 75627657586635798446/539745752200855009*c_0101_5^5 - 317836981526887345625/539745752200855009*c_0101_5^4 - 28024256727110114076/539745752200855009*c_0101_5^3 + 52829237112767375824/539745752200855009*c_0101_5^2 + 4260414912517115267/539745752200855009*c_0101_5 - 3080181187423510313/539745752200855009, c_0101_1 + 2111981960903983760/539745752200855009*c_0101_5^16 - 821528855669011677/539745752200855009*c_0101_5^15 - 50257475385775761101/539745752200855009*c_0101_5^14 + 78619382820000129540/539745752200855009*c_0101_5^13 - 216968606646519547525/539745752200855009*c_0101_5^12 + 150281951260477124582/539745752200855009*c_0101_5^11 + 880285093928421038765/539745752200855009*c_0101_5^10 + 24351319495563413389/539745752200855009*c_0101_5^9 + 252243655866465527446/539745752200855009*c_0101_5^8 + 118053405986456168654/539745752200855009*c_0101_5^7 - 841462344115340472209/539745752200855009*c_0101_5^6 - 92594802116966543055/539745752200855009*c_0101_5^5 + 337099580844783655336/539745752200855009*c_0101_5^4 + 40323245497200906128/539745752200855009*c_0101_5^3 - 56235357116327766974/539745752200855009*c_0101_5^2 - 4826209814043365732/539745752200855009*c_0101_5 + 3266908269774543381/539745752200855009, c_0101_4 - 2831209978952169502/539745752200855009*c_0101_5^16 + 763498429129038935/539745752200855009*c_0101_5^15 + 67404814827616702539/539745752200855009*c_0101_5^14 - 97420240566320239041/539745752200855009*c_0101_5^13 + 280641573254594448584/539745752200855009*c_0101_5^12 - 167985731625406619900/539745752200855009*c_0101_5^11 - 1196895362363144081756/539745752200855009*c_0101_5^10 - 170355041439915427569/539745752200855009*c_0101_5^9 - 387812175463122776580/539745752200855009*c_0101_5^8 - 242403664794505071228/539745752200855009*c_0101_5^7 + 1078731969663095816848/539745752200855009*c_0101_5^6 + 225714718665271931556/539745752200855009*c_0101_5^5 - 415372658760383073541/539745752200855009*c_0101_5^4 - 74795673378063066017/539745752200855009*c_0101_5^3 + 66352320830463709525/539745752200855009*c_0101_5^2 + 8253069536673981214/539745752200855009*c_0101_5 - 3701447231059768250/539745752200855009, c_0101_5^17 - 24*c_0101_5^15 + 28*c_0101_5^14 - 87*c_0101_5^13 + 29*c_0101_5^12 + 450*c_0101_5^11 + 169*c_0101_5^10 + 102*c_0101_5^9 + 106*c_0101_5^8 - 378*c_0101_5^7 - 196*c_0101_5^6 + 168*c_0101_5^5 + 83*c_0101_5^4 - 30*c_0101_5^3 - 15*c_0101_5^2 + 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB