Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 105355813] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s361 geometric_solution 4.57925848 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 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 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 1.534312258347 0.208613585624 0 2 2 0 3201 0132 1023 0132 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 0 1 -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 0 0 0 1.214194083284 0.357083199766 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 0 0 1 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 0.613495733554 0.550467075774 2 4 4 5 0132 0321 1302 0132 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 -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.640238445640 0.681194285116 3 5 2 3 2031 1023 0132 0321 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 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.640238445640 0.681194285116 4 5 3 5 1023 2310 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 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.794137504810 0.448897959189 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : 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_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' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], '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_0011_4, c_0101_0, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 110882878155909777711397771065111/10337237860801659048111042016157*\ c_0110_5^20 + 2356192189673961420992382791285630/310117135824049771\ 44333126048471*c_0110_5^19 + 1386597625277181136223417866673416/103\ 37237860801659048111042016157*c_0110_5^18 - 4479874472342441901135171488057105/31011713582404977144333126048471\ *c_0110_5^17 - 46772617452749015012021013663078995/3101171358240497\ 7144333126048471*c_0110_5^16 - 56818442961042593641583004220716976/\ 31011713582404977144333126048471*c_0110_5^15 + 107118659146604914580783148776547818/310117135824049771443331260484\ 71*c_0110_5^14 + 65525676787003410193879789815637134/10337237860801\ 659048111042016157*c_0110_5^13 - 1487240074934953548921227008161757\ 22/31011713582404977144333126048471*c_0110_5^12 - 377888789831851626346855740607555340/310117135824049771443331260484\ 71*c_0110_5^11 + 260532931817810191492790396484493334/3101171358240\ 4977144333126048471*c_0110_5^10 + 553104041156214401995716985081941\ 286/31011713582404977144333126048471*c_0110_5^9 - 32786482848666514385855567108379155/1033723786080165904811104201615\ 7*c_0110_5^8 - 348403219235883182315483157987034924/310117135824049\ 77144333126048471*c_0110_5^7 - 106378618898582757236431417264184927\ /31011713582404977144333126048471*c_0110_5^6 + 26350864713936952795211270600982617/3101171358240497714433312604847\ 1*c_0110_5^5 - 14905074437023895272927569208314754/3101171358240497\ 7144333126048471*c_0110_5^4 - 5051109172447056194487028811722082/10\ 337237860801659048111042016157*c_0110_5^3 + 18232964608870829024969125983368284/3101171358240497714433312604847\ 1*c_0110_5^2 + 26602917897397533286763011160297/1206681462350388215\ 73280646103*c_0110_5 - 1169922690314265938083763604154901/310117135\ 82404977144333126048471, c_0011_0 - 1, c_0011_1 - 2917303387758902711922898765078/1033723786080165904811104201\ 6157*c_0110_5^20 - 20149917643099186163286655611828/103372378608016\ 59048111042016157*c_0110_5^19 - 32983206370577854504245668445819/10\ 337237860801659048111042016157*c_0110_5^18 + 44811081339588636691996829184893/10337237860801659048111042016157*c\ _0110_5^17 + 402160447333998626147234669014288/10337237860801659048\ 111042016157*c_0110_5^16 + 428939428607888066325153657570237/103372\ 37860801659048111042016157*c_0110_5^15 - 1008958374839207978772327666998149/10337237860801659048111042016157\ *c_0110_5^14 - 1547451831471016067196127039651075/10337237860801659\ 048111042016157*c_0110_5^13 + 1550266494115091992648223784780723/10\ 337237860801659048111042016157*c_0110_5^12 + 3034878283675414793437039602465675/10337237860801659048111042016157\ *c_0110_5^11 - 2760604889924586634646917285940657/10337237860801659\ 048111042016157*c_0110_5^10 - 4338793047696935415724685892104420/10\ 337237860801659048111042016157*c_0110_5^9 + 1522266333747237141497041186588756/10337237860801659048111042016157\ *c_0110_5^8 + 2761303788055228205569275701137912/103372378608016590\ 48111042016157*c_0110_5^7 + 549046368149370737635869979180635/10337\ 237860801659048111042016157*c_0110_5^6 - 293502721464312741012018475828788/10337237860801659048111042016157*\ c_0110_5^5 + 152473629682987058716012962773269/10337237860801659048\ 111042016157*c_0110_5^4 + 62580835097837782250347115831738/10337237\ 860801659048111042016157*c_0110_5^3 - 182378116824608013926495872976623/10337237860801659048111042016157*\ c_0110_5^2 - 138801258884015853473397734205/40222715411679607191093\ 548701*c_0110_5 + 12086745694127468312953482578555/1033723786080165\ 9048111042016157, c_0011_4 - 7415941571261570922546269746065/1033723786080165904811104201\ 6157*c_0110_5^20 - 49130198003427622781969777401904/103372378608016\ 59048111042016157*c_0110_5^19 - 70775754266286341186501430152310/10\ 337237860801659048111042016157*c_0110_5^18 + 128944250955257565298755923902862/10337237860801659048111042016157*\ c_0110_5^17 + 980209842088974838102236994729425/1033723786080165904\ 8111042016157*c_0110_5^16 + 829332867618090623046189322889196/10337\ 237860801659048111042016157*c_0110_5^15 - 2701058290919955325771463404740310/10337237860801659048111042016157\ *c_0110_5^14 - 3119600180221387799260730614402235/10337237860801659\ 048111042016157*c_0110_5^13 + 4522907852974528531397219617515544/10\ 337237860801659048111042016157*c_0110_5^12 + 6232105434459442629394688791827410/10337237860801659048111042016157\ *c_0110_5^11 - 8236255047902548191866751977654713/10337237860801659\ 048111042016157*c_0110_5^10 - 8295097286894673293189290346841781/10\ 337237860801659048111042016157*c_0110_5^9 + 5193758740800474866476732168296547/10337237860801659048111042016157\ *c_0110_5^8 + 5143707883802559095651203652174420/103372378608016590\ 48111042016157*c_0110_5^7 + 625875836473726971807454301664030/10337\ 237860801659048111042016157*c_0110_5^6 - 763740109180300600890045868972836/10337237860801659048111042016157*\ c_0110_5^5 + 587622209967437987833812523473297/10337237860801659048\ 111042016157*c_0110_5^4 + 26727913113432587613385004379991/10337237\ 860801659048111042016157*c_0110_5^3 - 349442833444081569698457924351339/10337237860801659048111042016157*\ c_0110_5^2 - 114677456304483890668296305533/40222715411679607191093\ 548701*c_0110_5 + 17039137770451524144509732314874/1033723786080165\ 9048111042016157, c_0101_0 - 567010870469714018461795273003/10337237860801659048111042016\ 157*c_0110_5^20 - 3053807745960227953168794436125/10337237860801659\ 048111042016157*c_0110_5^19 - 494565918262461999986686313076/103372\ 37860801659048111042016157*c_0110_5^18 + 18260412071714509606328883063353/10337237860801659048111042016157*c\ _0110_5^17 + 65075177908908717237252878075711/103372378608016590481\ 11042016157*c_0110_5^16 - 33708242788151891646463370515988/10337237\ 860801659048111042016157*c_0110_5^15 - 318283844690789591581436883531411/10337237860801659048111042016157*\ c_0110_5^14 - 8926472783238328559023226782305/103372378608016590481\ 11042016157*c_0110_5^13 + 727441859676270268805079009883163/1033723\ 7860801659048111042016157*c_0110_5^12 + 137199044655093322135490722981967/10337237860801659048111042016157*\ c_0110_5^11 - 1352767136554574589736047020606826/103372378608016590\ 48111042016157*c_0110_5^10 - 20575734866602849191937592393306/10337\ 237860801659048111042016157*c_0110_5^9 + 1428512651108914378452179255929567/10337237860801659048111042016157\ *c_0110_5^8 + 89783470429218782372241679465781/10337237860801659048\ 111042016157*c_0110_5^7 - 521280531082210066376236489491701/1033723\ 7860801659048111042016157*c_0110_5^6 - 211620779084473871275799862874526/10337237860801659048111042016157*\ c_0110_5^5 + 24731868595418725933775166133558/103372378608016590481\ 11042016157*c_0110_5^4 - 57158227265913972461132256334935/103372378\ 60801659048111042016157*c_0110_5^3 - 63435643012547401608417592446225/10337237860801659048111042016157*c\ _0110_5^2 + 131776532197120649369658275906/402227154116796071910935\ 48701*c_0110_5 + 8301120176784470360239099872074/103372378608016590\ 48111042016157, c_0101_2 + 1218782741721269388212225313175/1033723786080165904811104201\ 6157*c_0110_5^20 + 7245610501240848242534662060425/1033723786080165\ 9048111042016157*c_0110_5^19 + 6153034271960672517960780640859/1033\ 7237860801659048111042016157*c_0110_5^18 - 29060948707983419640748811741752/10337237860801659048111042016157*c\ _0110_5^17 - 146902994969996002298629033744612/10337237860801659048\ 111042016157*c_0110_5^16 - 27860054187740781059999370916265/1033723\ 7860801659048111042016157*c_0110_5^15 + 534847276096744845031348665695457/10337237860801659048111042016157*\ c_0110_5^14 + 215624424480634672634182693146280/1033723786080165904\ 8111042016157*c_0110_5^13 - 1073188198852136180816939760978605/1033\ 7237860801659048111042016157*c_0110_5^12 - 517532575932447499405264013840230/10337237860801659048111042016157*\ c_0110_5^11 + 2002780564593798185040363927977388/103372378608016590\ 48111042016157*c_0110_5^10 + 425708716301629247604803939191452/1033\ 7237860801659048111042016157*c_0110_5^9 - 1695738550592183044812219950121616/10337237860801659048111042016157\ *c_0110_5^8 - 235432421577395697175845258070009/1033723786080165904\ 8111042016157*c_0110_5^7 + 347960998420512179705181957545554/103372\ 37860801659048111042016157*c_0110_5^6 + 141224754823309436672688775509206/10337237860801659048111042016157*\ c_0110_5^5 - 128983357287476726732519478567935/10337237860801659048\ 111042016157*c_0110_5^4 + 93903152314502420262948556094070/10337237\ 860801659048111042016157*c_0110_5^3 + 63275968634677488044488381132280/10337237860801659048111042016157*c\ _0110_5^2 - 130958960934738915721242084543/402227154116796071910935\ 48701*c_0110_5 - 4332244492874425223635037984377/103372378608016590\ 48111042016157, c_0110_5^21 + 7*c_0110_5^20 + 12*c_0110_5^19 - 14*c_0110_5^18 - 139*c_0110_5^17 - 161*c_0110_5^16 + 326*c_0110_5^15 + 561*c_0110_5^14 - 461*c_0110_5^13 - 1081*c_0110_5^12 + 809*c_0110_5^11 + 1557*c_0110_5^10 - 306*c_0110_5^9 - 984*c_0110_5^8 - 335*c_0110_5^7 + 82*c_0110_5^6 - 34*c_0110_5^5 - 30*c_0110_5^4 + 49*c_0110_5^3 + 21*c_0110_5^2 - 2*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB