Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 2901225591] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0897 geometric_solution 4.79700420 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 1023 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 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.068632242186 1.149863448464 0 1 0 1 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441465251930 0.102851237158 3 0 3 4 3201 0132 3012 0132 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 -1 0 1 -1 0 1 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.534759162840 1.340564593946 4 2 0 2 1023 1230 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 0 -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.534759162840 1.340564593946 5 3 2 5 0132 1023 0132 1023 0 0 0 0 0 1 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 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.644238081968 0.222776039035 4 6 6 4 0132 0132 3201 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.974023582556 0.383301722371 5 5 6 6 2310 0132 1230 3012 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 0 0 0 0 0 0 0 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.488892615767 0.357790303053 ==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' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 115058679082261507155279540148742707022162352137/121069679096694027\ 294264803665206372285801499*c_0101_6^20 - 68571872669555709840331820322234161463899658976/9313052238207232868\ 789600281938951714292423*c_0101_6^19 - 477628527701772911794739019038860892827422444427/931305223820723286\ 8789600281938951714292423*c_0101_6^18 + 32269359363767223113972872613325321200034782717079/1210696790966940\ 27294264803665206372285801499*c_0101_6^17 + 118432614738783290228095892920330213858301383524546/121069679096694\ 027294264803665206372285801499*c_0101_6^16 - 345529667551896116491135288449019654557843720288153/121069679096694\ 027294264803665206372285801499*c_0101_6^15 - 928448947575767998487237727735698977757397162626842/121069679096694\ 027294264803665206372285801499*c_0101_6^14 + 10331769581859588034691818589152922438992179716438/8466411125642938\ 97162690934721722883117493*c_0101_6^13 + 2997872708022908461586744602622254878947390705518730/12106967909669\ 4027294264803665206372285801499*c_0101_6^12 - 2685856908942432339082539268241393654924888151994271/12106967909669\ 4027294264803665206372285801499*c_0101_6^11 - 2961509553599040804428104991613106043321048838707502/12106967909669\ 4027294264803665206372285801499*c_0101_6^10 + 2513860141681845902818668260247623211867751866431179/12106967909669\ 4027294264803665206372285801499*c_0101_6^9 - 1007178609617304197124163730813638300233437038831089/12106967909669\ 4027294264803665206372285801499*c_0101_6^8 - 1849200185976067578134569093483515229236199838410094/12106967909669\ 4027294264803665206372285801499*c_0101_6^7 + 952375826101513075992445220426339988318909537154549/121069679096694\ 027294264803665206372285801499*c_0101_6^6 - 58245329427077842490977970927635166716316494032379/1210696790966940\ 27294264803665206372285801499*c_0101_6^5 - 168457628856713610024249585534970181924554829376774/121069679096694\ 027294264803665206372285801499*c_0101_6^4 + 128487225588535342895537179980250728008776882181654/121069679096694\ 027294264803665206372285801499*c_0101_6^3 - 32232985527264183270843825074935946735698911050660/1210696790966940\ 27294264803665206372285801499*c_0101_6^2 + 6621458495237271729992964197740908107683950289469/12106967909669402\ 7294264803665206372285801499*c_0101_6 - 235244974454988228886137651531151948049792542826/121069679096694027\ 294264803665206372285801499, c_0011_0 - 1, c_0011_3 - 1781322905615576053446657779238246449164897/9313052238207232\ 868789600281938951714292423*c_0101_6^20 + 1050085178783720211651634492105307929244011/71638863370824868221458\ 4637072227054945571*c_0101_6^19 + 747970909112284075410552598038928\ 4796748252/716388633708248682214584637072227054945571*c_0101_6^18 - 491041669489387806682837727033416472013631623/931305223820723286878\ 9600281938951714292423*c_0101_6^17 - 1872852360990990136098222711728549343396416203/93130522382072328687\ 89600281938951714292423*c_0101_6^16 + 5178045640170025728411256209254776001972393972/93130522382072328687\ 89600281938951714292423*c_0101_6^15 + 14775296868218963840506228933772877306165840783/9313052238207232868\ 789600281938951714292423*c_0101_6^14 - 150119388389339113365265838255459338277681283/651262394280226074740\ 53148824747914085961*c_0101_6^13 - 47971517105989714770188112586975450367900413884/9313052238207232868\ 789600281938951714292423*c_0101_6^12 + 36720125228756067439660433900720527823572319440/9313052238207232868\ 789600281938951714292423*c_0101_6^11 + 48220459273583550526068788840802214460397294509/9313052238207232868\ 789600281938951714292423*c_0101_6^10 - 32952924116543502905603916991400661115768638745/9313052238207232868\ 789600281938951714292423*c_0101_6^9 + 13280373984986589395753873155627808306407222253/9313052238207232868\ 789600281938951714292423*c_0101_6^8 + 27835815454101918324557420573981160941234744857/9313052238207232868\ 789600281938951714292423*c_0101_6^7 - 11521224057549859561299938696201249573007456376/9313052238207232868\ 789600281938951714292423*c_0101_6^6 + 520284532658701261621474221279356340473658538/931305223820723286878\ 9600281938951714292423*c_0101_6^5 + 1848513182071147308264239396455441445895796133/93130522382072328687\ 89600281938951714292423*c_0101_6^4 - 1702210694261665362505699108067123921518756606/93130522382072328687\ 89600281938951714292423*c_0101_6^3 + 472142324401279797712663407550372485137819204/931305223820723286878\ 9600281938951714292423*c_0101_6^2 - 123051363091925543394081281356560862704920649/931305223820723286878\ 9600281938951714292423*c_0101_6 + 122099480849728521388925386819856\ 97262275124/9313052238207232868789600281938951714292423, c_0101_0 - 7534616640267224895937692946720335634774802/9313052238207232\ 868789600281938951714292423*c_0101_6^20 + 4523157758423149590064496447860979728659412/71638863370824868221458\ 4637072227054945571*c_0101_6^19 + 310316341307331297961987341397367\ 62115467881/716388633708248682214584637072227054945571*c_0101_6^18 - 2136827344882348583707521725352251791327651309/93130522382072328687\ 89600281938951714292423*c_0101_6^17 - 7642161079467924759662544154425609802426151230/93130522382072328687\ 89600281938951714292423*c_0101_6^16 + 23089276059485881058687393061450938093718014733/9313052238207232868\ 789600281938951714292423*c_0101_6^15 + 59643663132177795146800051129214943503955735003/9313052238207232868\ 789600281938951714292423*c_0101_6^14 - 702175226153959915422559358153122025089844244/651262394280226074740\ 53148824747914085961*c_0101_6^13 - 191856968816958656946458880133694655949666549680/931305223820723286\ 8789600281938951714292423*c_0101_6^12 + 187672525867435203781398253755083058534439794983/931305223820723286\ 8789600281938951714292423*c_0101_6^11 + 187409634679001012474828359856993399305129659810/931305223820723286\ 8789600281938951714292423*c_0101_6^10 - 176004240129517980374778985987898832523369974193/931305223820723286\ 8789600281938951714292423*c_0101_6^9 + 71368124342934897628273332794435376174454810586/9313052238207232868\ 789600281938951714292423*c_0101_6^8 + 117599105817896529990839382815773597580722564245/931305223820723286\ 8789600281938951714292423*c_0101_6^7 - 68938794787559828077583612361240472700356823938/9313052238207232868\ 789600281938951714292423*c_0101_6^6 + 5319969688936434069037027256079801473481720133/93130522382072328687\ 89600281938951714292423*c_0101_6^5 + 10539323430473064250841853678539408420106777534/9313052238207232868\ 789600281938951714292423*c_0101_6^4 - 8741856480688585506624490027691682341838360393/93130522382072328687\ 89600281938951714292423*c_0101_6^3 + 2493103908642020111014919621802651481235808456/93130522382072328687\ 89600281938951714292423*c_0101_6^2 - 521170748059327286250597982943417130092656836/931305223820723286878\ 9600281938951714292423*c_0101_6 + 518488553568138255679851587032430\ 06977690469/9313052238207232868789600281938951714292423, c_0101_1 - 10183378591415750824338605697407494437668001/931305223820723\ 2868789600281938951714292423*c_0101_6^20 + 6109866871064561640991606182248806651062516/71638863370824868221458\ 4637072227054945571*c_0101_6^19 + 419672724091169210444983608817669\ 47316905671/716388633708248682214584637072227054945571*c_0101_6^18 - 2885724124303909140090075174458899230731519052/93130522382072328687\ 89600281938951714292423*c_0101_6^17 - 10340995342837156733959065297535746648696136900/9313052238207232868\ 789600281938951714292423*c_0101_6^16 + 31164693239207997363845965919014828206355743163/9313052238207232868\ 789600281938951714292423*c_0101_6^15 + 80736367945202493005435693823551376626686644641/9313052238207232868\ 789600281938951714292423*c_0101_6^14 - 946977771580344850590739561198747534159425167/651262394280226074740\ 53148824747914085961*c_0101_6^13 - 259789037680607288889996219770757139990563091413/931305223820723286\ 8789600281938951714292423*c_0101_6^12 + 252947332837199720670824318170593833049926905975/931305223820723286\ 8789600281938951714292423*c_0101_6^11 + 254015761113297242706250975205952628159334171319/931305223820723286\ 8789600281938951714292423*c_0101_6^10 - 238079127501206176784693333592490883445759694705/931305223820723286\ 8789600281938951714292423*c_0101_6^9 + 95884174704634195862577900961800904588083014810/9313052238207232868\ 789600281938951714292423*c_0101_6^8 + 160535746587172837113643048727597961971577257547/931305223820723286\ 8789600281938951714292423*c_0101_6^7 - 92792104915604566310832708101740076965044312881/9313052238207232868\ 789600281938951714292423*c_0101_6^6 + 7187462949309833491277258152748359885994688310/93130522382072328687\ 89600281938951714292423*c_0101_6^5 + 14871510493291047458438002084107705238120257324/9313052238207232868\ 789600281938951714292423*c_0101_6^4 - 11772968549317586377529822340490334502690001980/9313052238207232868\ 789600281938951714292423*c_0101_6^3 + 3355321174084086206360859168026901469251222834/93130522382072328687\ 89600281938951714292423*c_0101_6^2 - 681366287910918283992911390671238153726904763/931305223820723286878\ 9600281938951714292423*c_0101_6 + 581942863827148921471712458767099\ 54842566349/9313052238207232868789600281938951714292423, c_0101_2 + 989498030373185518208952616114207971427249/93130522382072328\ 68789600281938951714292423*c_0101_6^20 - 589919840921155160536279786878951886681454/716388633708248682214584\ 637072227054945571*c_0101_6^19 - 4107970501428004791089448838586160\ 361956529/716388633708248682214584637072227054945571*c_0101_6^18 + 277851678236466503590291834869031336327703851/931305223820723286878\ 9600281938951714292423*c_0101_6^17 + 1019208116531781657682854383722757084456512939/93130522382072328687\ 89600281938951714292423*c_0101_6^16 - 2981094480876774550482410558457764556356914441/93130522382072328687\ 89600281938951714292423*c_0101_6^15 - 8004890647438015105630009039318757606984583292/93130522382072328687\ 89600281938951714292423*c_0101_6^14 + 89483146283587081046826456390827988062723755/6512623942802260747405\ 3148824747914085961*c_0101_6^13 + 259713804819953195167296266030131\ 99705439200088/9313052238207232868789600281938951714292423*c_0101_6\ ^12 - 23426028303932234429216822932670939018412921515/9313052238207\ 232868789600281938951714292423*c_0101_6^11 - 26124615313113764650637658973217870898812739285/9313052238207232868\ 789600281938951714292423*c_0101_6^10 + 22045561778314995225486636014445846092247822743/9313052238207232868\ 789600281938951714292423*c_0101_6^9 - 8040718573772321961083687372690213632329912676/93130522382072328687\ 89600281938951714292423*c_0101_6^8 - 16177501084800779783632081931378958357144567006/9313052238207232868\ 789600281938951714292423*c_0101_6^7 + 8451269595175994522662409764823535254099811396/93130522382072328687\ 89600281938951714292423*c_0101_6^6 - 115946055820915354558202976993811055872502464/931305223820723286878\ 9600281938951714292423*c_0101_6^5 - 1500299114828987609520226337310847624609810474/93130522382072328687\ 89600281938951714292423*c_0101_6^4 + 1157006276679730917307475838956566384808888361/93130522382072328687\ 89600281938951714292423*c_0101_6^3 - 260116988870819170395699232620692034707201963/931305223820723286878\ 9600281938951714292423*c_0101_6^2 + 35260148615593865626519367921717952621573488/9313052238207232868789\ 600281938951714292423*c_0101_6 + 5585806937401097484191741531505403\ 09255603/9313052238207232868789600281938951714292423, c_0101_5 - 1637067214564289614152916712119265209436148/9313052238207232\ 868789600281938951714292423*c_0101_6^20 + 1006595223461107494311818261786735359360961/71638863370824868221458\ 4637072227054945571*c_0101_6^19 + 656161075353229391837430483453921\ 5512751438/716388633708248682214584637072227054945571*c_0101_6^18 - 481425236249800774343401244342665572445217491/931305223820723286878\ 9600281938951714292423*c_0101_6^17 - 1576084795483340187942180910043273757425965724/93130522382072328687\ 89600281938951714292423*c_0101_6^16 + 5351816790965653623474933725962068394162504111/93130522382072328687\ 89600281938951714292423*c_0101_6^15 + 12073749868771955680636576308585141812397631323/9313052238207232868\ 789600281938951714292423*c_0101_6^14 - 171381357352379429983270556623938973625673429/651262394280226074740\ 53148824747914085961*c_0101_6^13 - 38048309078890205773435706181197792666628642473/9313052238207232868\ 789600281938951714292423*c_0101_6^12 + 49807403554551748157608105812045417267536067394/9313052238207232868\ 789600281938951714292423*c_0101_6^11 + 34579263317495551391565964122748954382265732300/9313052238207232868\ 789600281938951714292423*c_0101_6^10 - 48434834978101449521478954680360974490724006827/9313052238207232868\ 789600281938951714292423*c_0101_6^9 + 21189156626731617215558987769869915382063696871/9313052238207232868\ 789600281938951714292423*c_0101_6^8 + 25166343045011135335676590930001719998205042341/9313052238207232868\ 789600281938951714292423*c_0101_6^7 - 20565046533567569713551818945398596687932259617/9313052238207232868\ 789600281938951714292423*c_0101_6^6 + 2754672163383210864171571149196941222607809666/93130522382072328687\ 89600281938951714292423*c_0101_6^5 + 3116147667619310410062179889153291328239587590/93130522382072328687\ 89600281938951714292423*c_0101_6^4 - 2341471080109187765394775623772098588475305400/93130522382072328687\ 89600281938951714292423*c_0101_6^3 + 710817307346400971255600167316647292082272746/931305223820723286878\ 9600281938951714292423*c_0101_6^2 - 118076397006601309260067578344531302965818880/931305223820723286878\ 9600281938951714292423*c_0101_6 + 778553592752193438077487601720762\ 7560896460/9313052238207232868789600281938951714292423, c_0101_6^21 - 8*c_0101_6^20 - 52*c_0101_6^19 + 294*c_0101_6^18 + 958*c_0101_6^17 - 3260*c_0101_6^16 - 7301*c_0101_6^15 + 14847*c_0101_6^14 + 22732*c_0101_6^13 - 29791*c_0101_6^12 - 19580*c_0101_6^11 + 28116*c_0101_6^10 - 14536*c_0101_6^9 - 13650*c_0101_6^8 + 12252*c_0101_6^7 - 2761*c_0101_6^6 - 1258*c_0101_6^5 + 1484*c_0101_6^4 - 577*c_0101_6^3 + 139*c_0101_6^2 - 19*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB