Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 627358199] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1339 geometric_solution 5.21571096 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 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 2 -2 0 0 0 0 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.526486547495 0.145782747125 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.289102241158 0.265950106682 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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723940917857 0.825803983715 2 5 4 6 0132 0132 3201 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 0 0 0 0 0 0 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.013821976684 0.775091792237 3 6 2 5 2310 1023 0132 2310 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 -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.013821976684 0.775091792237 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 -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.292265402224 0.429295749218 4 6 3 6 1023 1302 0132 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.826406097611 1.015821086211 ==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' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['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_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2951473743823575706828774151826247/14546389746561214747121347944749\ 8752*c_0110_5^22 - 2439939055943024485907044028053369/4040663818489\ 226318644818873541632*c_0110_5^20 - 452680900730690101541760815606173765/484879658218707158237378264824\ 99584*c_0110_5^18 + 3945802946096869707739999106261497819/145463897\ 465612147471213479447498752*c_0110_5^16 + 5923988640847963430473498024204368397/80813276369784526372896377470\ 83264*c_0110_5^14 + 178104830592341605300964979998818139207/7273194\ 8732806073735606739723749376*c_0110_5^12 - 77585492715154783638371233743098042245/7273194873280607373560673972\ 3749376*c_0110_5^10 - 1877269580665634105597373981163175191843/1454\ 63897465612147471213479447498752*c_0110_5^8 + 151567605950585387728651561977940091713/727319487328060737356067397\ 23749376*c_0110_5^6 + 112764476535933412952485359140064921877/18182\ 987183201518433901684930937344*c_0110_5^4 + 8004577563069169534370953776135265979/45457467958003796084754212327\ 34336*c_0110_5^2 - 297227740454018318250440908952105177/37881223298\ 3364967372951769394528, c_0011_0 - 1, c_0011_1 - 587713400608270252388522137499/44896264649880292429386876372\ 6848*c_0110_5^22 + 8742929774195714081604072680719/2244813232494014\ 62146934381863424*c_0110_5^20 + 270564889546048038967206143951679/4\ 48962646498802924293868763726848*c_0110_5^18 - 783432256236986748924585871960193/448962646498802924293868763726848\ *c_0110_5^16 - 5309771530650047233066463622205681/11224066162470073\ 1073467190931712*c_0110_5^14 - 35553889529708301035732304293104863/\ 224481323249401462146934381863424*c_0110_5^12 + 15134282482926019529934998714134083/2244813232494014621469343818634\ 24*c_0110_5^10 + 373905551549667379544610705808269587/4489626464988\ 02924293868763726848*c_0110_5^8 - 143285796847192045303915571845696\ 69/112240661624700731073467190931712*c_0110_5^6 - 11218977097649314904199350541527903/2806016540617518276836679773292\ 8*c_0110_5^4 - 407610290538090408591309856564591/350752067577189784\ 6045849716616*c_0110_5^2 + 86785716250420728652014101407075/1753760\ 337885948923022924858308, c_0011_4 - 7315303741321190542443249941491/4040663818489226318644818873\ 541632*c_0110_5^23 + 12094930313808131216678772029619/2244813232494\ 01462146934381863424*c_0110_5^21 + 1121976954444545622884628601353901/13468879394964087728816062911805\ 44*c_0110_5^19 - 9780050473562661214924757276205169/404066381848922\ 6318644818873541632*c_0110_5^17 - 734136434960236111525477926807237\ 1/112240661624700731073467190931712*c_0110_5^15 - 441423920367022713373826552093865335/202033190924461315932240943677\ 0816*c_0110_5^13 + 192340420412091557484436299167504995/20203319092\ 44613159322409436770816*c_0110_5^11 + 4652382455598619566215025150748265371/40406638184892263186448188735\ 41632*c_0110_5^9 - 188492322772608761262799878008745791/10101659546\ 22306579661204718385408*c_0110_5^7 - 139809804551601975190929958401796943/252541488655576644915301179596\ 352*c_0110_5^5 - 2439951921369527798911172508875815/157838430409735\ 40307206323724772*c_0110_5^3 + 366473594914387934773988923932151/52\ 61281013657846769068774574924*c_0110_5, c_0101_0 + 22810571036157323271814162727653/242439829109353579118689132\ 41249792*c_0110_5^23 - 37695600468152739156881900255953/13468879394\ 96408772881606291180544*c_0110_5^21 - 3501838219063311167889837739093963/80813276369784526372896377470832\ 64*c_0110_5^19 + 30334648149376853849955754637980687/24243982910935\ 357911868913241249792*c_0110_5^17 + 22901892281929751624880975537948907/6734439697482043864408031455902\ 72*c_0110_5^15 + 1382686907922923632757897152621798625/121219914554\ 67678955934456620624896*c_0110_5^13 - 575817466218313133376757953954452173/121219914554676789559344566206\ 24896*c_0110_5^11 - 14500791499106375105284383647382978637/24243982\ 910935357911868913241249792*c_0110_5^9 + 532328237395901871427682624391962543/606099572773383947796722831031\ 2448*c_0110_5^7 + 430836183478551921349886896072157273/151524893193\ 3459869491807077578112*c_0110_5^5 + 16168755120165432340121390092619969/1894061164916824836864758846972\ 64*c_0110_5^3 - 1062358176731399523544721208970699/3156768608194708\ 0614412647449544*c_0110_5, c_0101_2 - 14614348056687380678966438037107/404066381848922631864481887\ 3541632*c_0110_5^23 + 24160217238398074298882793679479/224481323249\ 401462146934381863424*c_0110_5^21 + 2241953355947115067956153434869469/13468879394964087728816062911805\ 44*c_0110_5^19 - 19515518172865263091855418833848857/40406638184892\ 26318644818873541632*c_0110_5^17 - 14668274943494362024386394314184789/1122406616247007310734671909317\ 12*c_0110_5^15 - 882765732744701552902435037509461559/2020331909244\ 613159322409436770816*c_0110_5^13 + 381275925832235366292726142049720747/202033190924461315932240943677\ 0816*c_0110_5^11 + 9297463730534837772972647766576054923/4040663818\ 489226318644818873541632*c_0110_5^9 - 368381500124783463009049541102563009/101016595462230657966120471838\ 5408*c_0110_5^7 - 279686017088972014126332104742957931/252541488655\ 576644915301179596352*c_0110_5^5 - 9932631376296066116116776240947869/31567686081947080614412647449544\ *c_0110_5^3 + 726411742204798228845087713249555/5261281013657846769\ 068774574924*c_0110_5, c_0101_3 - 1090484720952689580773454792507/4489626464988029242938687637\ 26848*c_0110_5^22 + 16224766157349665276883939036799/22448132324940\ 1462146934381863424*c_0110_5^20 + 501873805573859058340082444891487\ /448962646498802924293868763726848*c_0110_5^18 - 1455917637064743995258683687629313/44896264649880292429386876372684\ 8*c_0110_5^16 - 9850279075111748527494462996563305/1122406616247007\ 31073467190931712*c_0110_5^14 - 65878645677603107980811536603322719\ /224481323249401462146934381863424*c_0110_5^12 + 28361159899697739808039291159713923/2244813232494014621469343818634\ 24*c_0110_5^10 + 693298451050168309069915395040588531/4489626464988\ 02924293868763726848*c_0110_5^8 - 274175704381552270824471326122057\ 41/112240661624700731073467190931712*c_0110_5^6 - 20740971402655572684599242095626299/2806016540617518276836679773292\ 8*c_0110_5^4 - 743426402047793156391397259027453/350752067577189784\ 6045849716616*c_0110_5^2 + 161295588799499436558449707101667/175376\ 0337885948923022924858308, c_0110_5^24 - 30*c_0110_5^22 - 453*c_0110_5^20 + 1447*c_0110_5^18 + 35808*c_0110_5^16 + 112042*c_0110_5^14 - 81434*c_0110_5^12 - 623329*c_0110_5^10 + 255104*c_0110_5^8 + 280736*c_0110_5^6 + 13120*c_0110_5^4 - 59136*c_0110_5^2 + 9216 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB