Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 1124261447] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3317 geometric_solution 6.44885891 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640357480535 0.973666279002 0 3 5 4 0132 0132 0132 0132 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 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.576359234166 0.839016444321 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 -1 0 0 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 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.576359234166 0.839016444321 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 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 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 0.339761274271 0.899088843850 2 6 1 6 2310 0132 0132 1023 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 0 0 0 0 0 0 0 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.110011311388 0.783696225145 2 5 5 1 3201 3201 2310 0132 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 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.534743031448 0.716889144507 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535254836266 0.226899939584 ==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' : 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' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), '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_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), '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_4']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), '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_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 477545223780735495632297277744248356995373379853588235/121957193561\ 67418447208232832871005805720571290562367808*c_0110_6^34 - 660138423168385952835761687020294298929334011636014359/381116229880\ 231826475257276027218931428767852830073994*c_0110_6^32 + 15578262663834248968021729543777173804232358898544837251/7622324597\ 60463652950514552054437862857535705660147988*c_0110_6^30 - 107287879695143721546591478330153337809392212030318652797/304892983\ 9041854611802058208217751451430142822640591952*c_0110_6^28 - 5005496840256888939922403320614692453012065005818219279859/12195719\ 356167418447208232832871005805720571290562367808*c_0110_6^26 - 2829303770945435621674901705153632814044696696262327101711/30489298\ 39041854611802058208217751451430142822640591952*c_0110_6^24 + 8552818610675609516000792952499015370062562203903755919303/38111622\ 9880231826475257276027218931428767852830073994*c_0110_6^22 - 532514558630165258069794882038514147950448308752348435253269/609785\ 9678083709223604116416435502902860285645281183904*c_0110_6^20 + 930689370602849976886210583165768853904962313758616416441223/609785\ 9678083709223604116416435502902860285645281183904*c_0110_6^18 - 775367345014965534283832316079298991047049128000150369640613/609785\ 9678083709223604116416435502902860285645281183904*c_0110_6^16 + 436304735943745539517444238632586793939817940563791621490597/121957\ 19356167418447208232832871005805720571290562367808*c_0110_6^14 + 104002998176472503010847409591083819095166621025084428727217/121957\ 19356167418447208232832871005805720571290562367808*c_0110_6^12 - 6028476771079802215144278427982210259298847235365859140575/30489298\ 39041854611802058208217751451430142822640591952*c_0110_6^10 - 9823898856158134313777834314160495269918395292411229117177/12195719\ 356167418447208232832871005805720571290562367808*c_0110_6^8 - 2420933782671264323629880079313124786910071193944870260955/60978596\ 78083709223604116416435502902860285645281183904*c_0110_6^6 - 2301865293135247549824422363385311003092558158098611244593/12195719\ 356167418447208232832871005805720571290562367808*c_0110_6^4 - 701605223417855649726107276465047261068909469518498324609/121957193\ 56167418447208232832871005805720571290562367808*c_0110_6^2 - 53292644999291977422021340144086575140422689507317318835/3048929839\ 041854611802058208217751451430142822640591952, c_0011_0 - 1, c_0011_4 + 96356457191959950012232845323969710601578340805851525/106712\ 54436646491141307203728762130080005499879242071832*c_0110_6^35 - 529284790709061586912928203158437962168217597034705700/133390680458\ 0811392663400466095266260000687484905258979*c_0110_6^33 + 6138790810840156899356485791333946264360082529350464911/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6^31 - 18632172155725705928045512573184358485040973528962503401/2667813609\ 161622785326800932190532520001374969810517958*c_0110_6^29 - 1006659233221557630272397717530541343435636764912893406773/10671254\ 436646491141307203728762130080005499879242071832*c_0110_6^27 - 650101496118907269906332526594383539748196201921489015557/266781360\ 9161622785326800932190532520001374969810517958*c_0110_6^25 + 6737865679419021178058049325558981951172119252483729287049/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^23 - 100479196948502308532497235459281380596433958805316736467275/533562\ 7218323245570653601864381065040002749939621035916*c_0110_6^21 + 24643792685102074577705506922784575353479158189572039082031/7622324\ 59760463652950514552054437862857535705660147988*c_0110_6^19 - 151071908659325107438367103952203037402462061300642242072191/533562\ 7218323245570653601864381065040002749939621035916*c_0110_6^17 + 123753950982905143976890068614652410474003724482755831955611/106712\ 54436646491141307203728762130080005499879242071832*c_0110_6^15 - 14162681878244177588584994223483203108104602832359740636537/1067125\ 4436646491141307203728762130080005499879242071832*c_0110_6^13 - 872538688837457970609944503294074954000908573922254133547/266781360\ 9161622785326800932190532520001374969810517958*c_0110_6^11 + 1732221893902209616045399646561888332643471444611447554329/10671254\ 436646491141307203728762130080005499879242071832*c_0110_6^9 - 81883893252763398103972352688294104453903176628417516121/5335627218\ 323245570653601864381065040002749939621035916*c_0110_6^7 - 283105843527387989121911952064634296604947782117427750887/106712544\ 36646491141307203728762130080005499879242071832*c_0110_6^5 + 65233306782629588509313235708989289704375347974602999545/1067125443\ 6646491141307203728762130080005499879242071832*c_0110_6^3 - 1535846737584296601995124660856543446843881918944302321/26678136091\ 61622785326800932190532520001374969810517958*c_0110_6, c_0101_0 + 10403727645317806813984617048406637370577736310980329/133390\ 6804580811392663400466095266260000687484905258979*c_0110_6^35 - 453618451903080728310837831236183927915142695786167445/133390680458\ 0811392663400466095266260000687484905258979*c_0110_6^33 + 5145697750949611423228062527525512662247942227656371421/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6^31 - 6219408886372527352754515977686732638805265335557732952/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6^29 - 111577613066710391402636730588762627807875242678405953613/133390680\ 4580811392663400466095266260000687484905258979*c_0110_6^27 - 317897689322372860194299033355576137787370310145157782198/133390680\ 4580811392663400466095266260000687484905258979*c_0110_6^25 + 5727006580623423299120250997775822542870317272513170126248/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^23 - 19694803698046606748743376766106510255081307769121106648748/1333906\ 804580811392663400466095266260000687484905258979*c_0110_6^21 + 4238811553852514990832270904509238674331125230909745689523/19055811\ 4940115913237628638013609465714383926415036997*c_0110_6^19 - 19428481538112645791776451559288993227729628523472959643705/1333906\ 804580811392663400466095266260000687484905258979*c_0110_6^17 + 1745057872967532731431015957707494488657638084151443060349/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^15 + 2955880839439291084788809955554859204992658217811514825597/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^13 - 432156775132805413215774244139151721938531146892366098866/133390680\ 4580811392663400466095266260000687484905258979*c_0110_6^11 - 177855726236039912435873419267569677571961320713613931964/133390680\ 4580811392663400466095266260000687484905258979*c_0110_6^9 + 26423685693334991749085828164018728066268548912358093525/1333906804\ 580811392663400466095266260000687484905258979*c_0110_6^7 - 11182609592135751168927063046248674924253918673363606388/1333906804\ 580811392663400466095266260000687484905258979*c_0110_6^5 - 5769931414551730645654822641911780195608142400976697890/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6^3 + 1914620569417417658667838228260811840272127531430346258/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6, c_0101_1 + 4799266371533270043283561068552669576174403563694156/1333906\ 804580811392663400466095266260000687484905258979*c_0110_6^34 - 210898649887667494625690119487046592024920318983551020/133390680458\ 0811392663400466095266260000687484905258979*c_0110_6^32 + 2445036988700643530772156221145218939627547934239476513/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6^30 - 3667113859597200083088112144431202207229037392222365356/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6^28 - 50655789709529935687947172148713139276746244580456120668/1333906804\ 580811392663400466095266260000687484905258979*c_0110_6^26 - 128812833531465167639753792024057743418085905046461199102/133390680\ 4580811392663400466095266260000687484905258979*c_0110_6^24 + 2695669879017333067248859187323159309482744120128705235058/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^22 - 9979672463144604589024632319751067420287205159860128161380/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^20 + 2373329542683898127893236227353985743398288593216861989010/19055811\ 4940115913237628638013609465714383926415036997*c_0110_6^18 - 13003194434711322193366459798930893292824545845144365908063/1333906\ 804580811392663400466095266260000687484905258979*c_0110_6^16 + 2858160888462789562298509825420282925867278080138884834191/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^14 + 1871017618494084341799244871262378224097137538191030645074/13339068\ 04580811392663400466095266260000687484905258979*c_0110_6^12 - 946905914795274430388213854214758989276170969444626371049/133390680\ 4580811392663400466095266260000687484905258979*c_0110_6^10 + 52329297598766592892584996730124246931116076739808178237/1333906804\ 580811392663400466095266260000687484905258979*c_0110_6^8 + 15847937857269276571054933474018577518452927082287574079/1333906804\ 580811392663400466095266260000687484905258979*c_0110_6^6 - 14087923302638911232091459413962591491334318166601689351/1333906804\ 580811392663400466095266260000687484905258979*c_0110_6^4 + 2104851608816982846326077661413159482715283157798628188/13339068045\ 80811392663400466095266260000687484905258979*c_0110_6^2 + 1502979731665229622349504323823646472885504223431758851/13339068045\ 80811392663400466095266260000687484905258979, c_0101_2 + 8350952991321511023519321301483673916934709929389615/1524464\ 919520927305901029104108875725715071411320295976*c_0110_6^35 - 46479139220914724812341269120718042386886955932457387/1905581149401\ 15913237628638013609465714383926415036997*c_0110_6^33 + 558510224932448144593710580882068942136723553949246008/190558114940\ 115913237628638013609465714383926415036997*c_0110_6^31 - 2215066751522825436201907942623254118494809454378713273/38111622988\ 0231826475257276027218931428767852830073994*c_0110_6^29 - 84355938844818755881902529427507902778218757214905760007/1524464919\ 520927305901029104108875725715071411320295976*c_0110_6^27 - 43349413647769126218180187149978769024400384351352071837/3811162298\ 80231826475257276027218931428767852830073994*c_0110_6^25 + 602632489675492348423197531884797243687815243050883202688/190558114\ 940115913237628638013609465714383926415036997*c_0110_6^23 - 10042796729358250122704075934940094455222688299235007426889/7622324\ 59760463652950514552054437862857535705660147988*c_0110_6^21 + 19537817139198868874492757440171299770695862753458400940999/7622324\ 59760463652950514552054437862857535705660147988*c_0110_6^19 - 20063255183687546775073349542925036168214782153548788863893/7622324\ 59760463652950514552054437862857535705660147988*c_0110_6^17 + 20326564025366381133592431135503231514354184024099471968729/1524464\ 919520927305901029104108875725715071411320295976*c_0110_6^15 - 3014790398809219472551711673967079199426466286193398121419/15244649\ 19520927305901029104108875725715071411320295976*c_0110_6^13 - 233624370130135928255784418106906783924219428488341977039/381116229\ 880231826475257276027218931428767852830073994*c_0110_6^11 + 201672868676219928357500873474238388917181412782168401419/152446491\ 9520927305901029104108875725715071411320295976*c_0110_6^9 + 528492943614750925525021766816797231910240396772330429/762232459760\ 463652950514552054437862857535705660147988*c_0110_6^7 - 23675618105492665224643643934062978550297343292734476341/1524464919\ 520927305901029104108875725715071411320295976*c_0110_6^5 + 17203252683269568752102808246559848161838048323516638851/1524464919\ 520927305901029104108875725715071411320295976*c_0110_6^3 + 103926284825031396996765035698151551276317462272343597/381116229880\ 231826475257276027218931428767852830073994*c_0110_6, c_0101_5 - 725600923783991579103326756201968760350283096063051/76223245\ 9760463652950514552054437862857535705660147988*c_0110_6^34 + 8169927977476399777292464640003206948867130477487547/19055811494011\ 5913237628638013609465714383926415036997*c_0110_6^32 - 101105116496223060183777267517698546957370937838499916/190558114940\ 115913237628638013609465714383926415036997*c_0110_6^30 + 238317913509114421699547050012340867427090323216612261/190558114940\ 115913237628638013609465714383926415036997*c_0110_6^28 + 7109768875047006256365783352254626516529713135353245071/76223245976\ 0463652950514552054437862857535705660147988*c_0110_6^26 + 2777687600145003902851583134080779390247245580348156454/19055811494\ 0115913237628638013609465714383926415036997*c_0110_6^24 - 107603573978474572575901499419185906027670259767459987619/190558114\ 940115913237628638013609465714383926415036997*c_0110_6^22 + 974297612402588729351426724796550369459178475385610314233/381116229\ 880231826475257276027218931428767852830073994*c_0110_6^20 - 2047561133316576178815651832743227816251881131094665168001/38111622\ 9880231826475257276027218931428767852830073994*c_0110_6^18 + 2283607314864698548542144289564303794226104543957782211367/38111622\ 9880231826475257276027218931428767852830073994*c_0110_6^16 - 2561935320282693841028952246820238414748464733534474265065/76223245\ 9760463652950514552054437862857535705660147988*c_0110_6^14 + 479024598050874873834756874618555736031653696827138867611/762232459\ 760463652950514552054437862857535705660147988*c_0110_6^12 + 27575679881366039919685490864660483766480466624024671017/1905581149\ 40115913237628638013609465714383926415036997*c_0110_6^10 - 58752821088160737442960101397669733288093567341255079167/7622324597\ 60463652950514552054437862857535705660147988*c_0110_6^8 + 12231864773046267425353373193649322355249126136806544897/3811162298\ 80231826475257276027218931428767852830073994*c_0110_6^6 - 3744589626927946907271121260560936452262948269300797611/76223245976\ 0463652950514552054437862857535705660147988*c_0110_6^4 - 649449387993680493024834319769977049265284512109449219/762232459760\ 463652950514552054437862857535705660147988*c_0110_6^2 + 13981964221468349918586173119870539393065105932318481/1905581149401\ 15913237628638013609465714383926415036997, c_0110_6^36 - 44*c_0110_6^34 + 512*c_0110_6^32 - 796*c_0110_6^30 - 10473*c_0110_6^28 - 26312*c_0110_6^26 + 562400*c_0110_6^24 - 2112830*c_0110_6^22 + 3621010*c_0110_6^20 - 3067126*c_0110_6^18 + 1034839*c_0110_6^16 + 100383*c_0110_6^14 - 115144*c_0110_6^12 + 12469*c_0110_6^10 + 290*c_0110_6^8 - 2923*c_0110_6^6 + 609*c_0110_6^4 + 176*c_0110_6^2 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB