Magma V2.19-8 Tue Aug 20 2013 16:19:21 on localhost [Seed = 1696921699] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3460 geometric_solution 6.65502219 oriented_manifold CS_known 0.0000000000000001 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 -1 0 1 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.609328407976 0.905229351363 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 -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.544167045353 0.832445172611 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 1 -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 0.544167045353 0.832445172611 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 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.402503178896 0.927478662489 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 -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 1.209689278180 0.913094756949 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490850825935 0.758557243486 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 1 -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.642007420387 0.356349280611 ==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' : d['1'], 's_2_0' : 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_0101_6'], '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' : negation(d['c_0101_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' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 148460446881122982288878966570584373802460141419133151/279545998973\ 0457487177181196056567918683423261586310*c_0101_6^38 - 10676110052784049841019987203725241710016267296878625319/2795459989\ 730457487177181196056567918683423261586310*c_0101_6^36 + 96624256341806609707810495327450832282280265840272670573/1397729994\ 865228743588590598028283959341711630793155*c_0101_6^34 - 725950319868461435858387402932553556491929918875748771363/139772999\ 4865228743588590598028283959341711630793155*c_0101_6^32 + 704742196880804287107085201150104425521438980978248176816/279545998\ 973045748717718119605656791868342326158631*c_0101_6^30 - 12690355876019990604326411049059510754213114764346551283028/1397729\ 994865228743588590598028283959341711630793155*c_0101_6^28 + 32979924035489130074757629031813251309059587844614516813256/1397729\ 994865228743588590598028283959341711630793155*c_0101_6^26 - 126792244844566021601523154109945153205056452923661011292327/279545\ 9989730457487177181196056567918683423261586310*c_0101_6^24 + 13193777886374418459880956050517400641688616257331862182829/1863639\ 99315363832478478746403771194578894884105754*c_0101_6^22 - 52698566770891746342540018210085749641989149009150095902763/5590919\ 97946091497435436239211313583736684652317262*c_0101_6^20 + 97123906426837768896202536678742154932817472673906059342689/9318199\ 96576819162392393732018855972894474420528770*c_0101_6^18 - 133047631737953922494081804406705392678951726206360007755217/139772\ 9994865228743588590598028283959341711630793155*c_0101_6^16 + 20427966513768937232483645108860907916100326911429669906135/2795459\ 98973045748717718119605656791868342326158631*c_0101_6^14 - 25187574741626891867039463155858111099071208902368574454983/5590919\ 97946091497435436239211313583736684652317262*c_0101_6^12 + 28366740154079898239476584221780157156370601355276671253436/1397729\ 994865228743588590598028283959341711630793155*c_0101_6^10 - 1762100048391775092207555716151966651721421707514100355064/27954599\ 8973045748717718119605656791868342326158631*c_0101_6^8 + 3828244334714548852661800298005207713359203988555663479757/27954599\ 89730457487177181196056567918683423261586310*c_0101_6^6 - 195606829299350831556958572287879309191357607467938378127/931819996\ 576819162392393732018855972894474420528770*c_0101_6^4 + 8426508815818689009507484998007570513666907014907617458/46590999828\ 8409581196196866009427986447237210264385*c_0101_6^2 - 1636863296927400254723741512035531923104304949857743867/27954599897\ 30457487177181196056567918683423261586310, c_0011_0 - 1, c_0011_4 + 1295856458103717222930958631576298587099586458836084/9318199\ 9657681916239239373201885597289447442052877*c_0101_6^39 - 93184870732070337969914773620881692081786556948986305/9318199965768\ 1916239239373201885597289447442052877*c_0101_6^37 + 1686585701953423502570254851152055972477045369956894650/93181999657\ 681916239239373201885597289447442052877*c_0101_6^35 - 12669487219868878222201738877933846138103798085602751800/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^33 + 122978928301277026452128248945187456439989029162772434469/186363999\ 315363832478478746403771194578894884105754*c_0101_6^31 - 221427199162222015488874057872735022170830282863926852164/931819996\ 57681916239239373201885597289447442052877*c_0101_6^29 + 575366525826528022835091392345102979102632861822923236248/931819996\ 57681916239239373201885597289447442052877*c_0101_6^27 - 2211732819100154570088807283023889186220345733046385446837/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^25 + 1726038196131164538433642133021927329504656254507335269784/93181999\ 657681916239239373201885597289447442052877*c_0101_6^23 - 2297955430872357104446304141253250335385861718334832447106/93181999\ 657681916239239373201885597289447442052877*c_0101_6^21 + 5081827122870992490934300539066425660076901921298451923323/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^19 - 4640943341128516753080773793355506537621598433226140262723/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^17 + 1781455282508726500938497469939329949703340828552830957516/93181999\ 657681916239239373201885597289447442052877*c_0101_6^15 - 1098246172390570251408095737184141017688701645842139614872/93181999\ 657681916239239373201885597289447442052877*c_0101_6^13 + 989648940721948530744142320930648325771153512010577244659/186363999\ 315363832478478746403771194578894884105754*c_0101_6^11 - 153775833201996319770573304840812606654636029906410051706/931819996\ 57681916239239373201885597289447442052877*c_0101_6^9 + 33420023860604557050392229088224007255076042280244072511/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^7 - 5120928141491973499161273109764891576358948264583766517/93181999657\ 681916239239373201885597289447442052877*c_0101_6^5 + 889406305157684968974813727022348399574512728906214011/186363999315\ 363832478478746403771194578894884105754*c_0101_6^3 - 30381622935135796876282207264368155376007338719991029/1863639993153\ 63832478478746403771194578894884105754*c_0101_6, c_0101_0 + 620562360204529467740685624113339848904875311227679/93181999\ 657681916239239373201885597289447442052877*c_0101_6^39 - 89152406353905050412858620780013832227935991281989163/1863639993153\ 63832478478746403771194578894884105754*c_0101_6^37 + 804204903013922065820687587618464126106463438145105259/931819996576\ 81916239239373201885597289447442052877*c_0101_6^35 - 6004726815260065068182019627497174152762441825801860107/93181999657\ 681916239239373201885597289447442052877*c_0101_6^33 + 57963799647648090333741817521712176888138089819514811637/1863639993\ 15363832478478746403771194578894884105754*c_0101_6^31 - 103805282693375474874878290229037526234449297748463796168/931819996\ 57681916239239373201885597289447442052877*c_0101_6^29 + 267566858748759332576681514007819230416052110667874949892/931819996\ 57681916239239373201885597289447442052877*c_0101_6^27 - 1018320493549947053842926641108370642687254955199853679575/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^25 + 1575927009136727005298944163389459739354234995695584253987/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^23 - 1041005489119629752304627035745760883531762676367510679845/93181999\ 657681916239239373201885597289447442052877*c_0101_6^21 + 1138624984841963542668751240703297692493377380427185383896/93181999\ 657681916239239373201885597289447442052877*c_0101_6^19 - 2052599699849886905428853251045024671736660831724492501333/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^17 + 777123034938571170261225631469493583093446453560783352169/931819996\ 57681916239239373201885597289447442052877*c_0101_6^15 - 468834791637390165673572637924660446271249989592740469440/931819996\ 57681916239239373201885597289447442052877*c_0101_6^13 + 202954092417168714823989491229604229534484999763797150568/931819996\ 57681916239239373201885597289447442052877*c_0101_6^11 - 118494850343394092515153992420477541338564088495061828289/186363999\ 315363832478478746403771194578894884105754*c_0101_6^9 + 23883269025854585702923031410660720074993796575714430719/1863639993\ 15363832478478746403771194578894884105754*c_0101_6^7 - 1666667729366804673573209930597178404592848352362723843/93181999657\ 681916239239373201885597289447442052877*c_0101_6^5 + 109343648090327961517649356687934021414954189701097007/931819996576\ 81916239239373201885597289447442052877*c_0101_6^3 - 1821742154523159493248273038426427174014524207536607/93181999657681\ 916239239373201885597289447442052877*c_0101_6, c_0101_1 + 168302631695466621444836880569587085248843967674525/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^38 - 6047837873715732556337593468068918051591323855570119/93181999657681\ 916239239373201885597289447442052877*c_0101_6^36 + 109272257402359347489935639467383934536001400443267024/931819996576\ 81916239239373201885597289447442052877*c_0101_6^34 - 818019647667329754627770721214069347810270932033848384/931819996576\ 81916239239373201885597289447442052877*c_0101_6^32 + 3955551125683621085317447757237919163117795392179791409/93181999657\ 681916239239373201885597289447442052877*c_0101_6^30 - 14189181939074443091660953228567814796168224069463016041/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^28 + 36653377739647815232189373250043877256419897293566104857/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^26 - 139739595777805229699052367397876848064308708541269468051/186363999\ 315363832478478746403771194578894884105754*c_0101_6^24 + 108150649361359078559114803732540135655728585603789289545/931819996\ 57681916239239373201885597289447442052877*c_0101_6^22 - 285768896736817226530088398446363648130219961652851298341/186363999\ 315363832478478746403771194578894884105754*c_0101_6^20 + 156334333502730897350668631339916868494180856230132065678/931819996\ 57681916239239373201885597289447442052877*c_0101_6^18 - 140730454273232742658830787888752308301914827987436803239/931819996\ 57681916239239373201885597289447442052877*c_0101_6^16 + 106297855937359269622622355977162766498520723443705696985/931819996\ 57681916239239373201885597289447442052877*c_0101_6^14 - 127866000597176378144417009488870732877639852661639518049/186363999\ 315363832478478746403771194578894884105754*c_0101_6^12 + 54762427021266373044921628774078474530780855455448688083/1863639993\ 15363832478478746403771194578894884105754*c_0101_6^10 - 15492784864607313272199477912358094258849552494689002377/1863639993\ 15363832478478746403771194578894884105754*c_0101_6^8 + 1477209458684770956169329143513545699947173967252205952/93181999657\ 681916239239373201885597289447442052877*c_0101_6^6 - 381450009394542719630354724079026857147254270709866901/186363999315\ 363832478478746403771194578894884105754*c_0101_6^4 + 16620073184916632225097811458459662465176158734867803/1863639993153\ 63832478478746403771194578894884105754*c_0101_6^2 + 146087666533762417025223184229682747382256663638344/931819996576819\ 16239239373201885597289447442052877, c_0101_2 - 700728937145069919153446738810847007960028661713633/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^39 + 50357344990928899104289818391125935412984653767576079/1863639993153\ 63832478478746403771194578894884105754*c_0101_6^37 - 454860187788313553017699337884307784332381525355953057/931819996576\ 81916239239373201885597289447442052877*c_0101_6^35 + 3404890885281999019694690160770175790050501839747800883/93181999657\ 681916239239373201885597289447442052877*c_0101_6^33 - 16472608752195411215117839223762657521840176121246838547/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^31 + 59137182718008083772660587719357222249062359230548678304/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^29 - 152963254588911584617298045442295011354971794637608941220/931819996\ 57681916239239373201885597289447442052877*c_0101_6^27 + 584718210460215866273477065698232956085030722190415679561/186363999\ 315363832478478746403771194578894884105754*c_0101_6^25 - 908360408189495366186446538929145540503524213887534066129/186363999\ 315363832478478746403771194578894884105754*c_0101_6^23 + 1204231733274128749451806975221794404630150145116308255889/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^21 - 1323633931837329462989235252061446071819627196738621601827/18636399\ 9315363832478478746403771194578894884105754*c_0101_6^19 + 600135458479780226581399321376400994222124067072547922533/931819996\ 57681916239239373201885597289447442052877*c_0101_6^17 - 457337720393829568848289401443195767810976380495233537013/931819996\ 57681916239239373201885597289447442052877*c_0101_6^15 + 557400077702907817254931832630715586781958882627934143229/186363999\ 315363832478478746403771194578894884105754*c_0101_6^13 - 122971824415015830752739943866022922202818594759906880842/931819996\ 57681916239239373201885597289447442052877*c_0101_6^11 + 37016444180514779532684319229238525143758647381488635816/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^9 - 15485075024325574533802438291469781426755772967193403071/1863639993\ 15363832478478746403771194578894884105754*c_0101_6^7 + 2262634213888276382818234537982998689451116185583548883/18636399931\ 5363832478478746403771194578894884105754*c_0101_6^5 - 86873866272358677001333797581181625967337932156224203/9318199965768\ 1916239239373201885597289447442052877*c_0101_6^3 + 4420887122720570409116588652560761875831472502960935/18636399931536\ 3832478478746403771194578894884105754*c_0101_6, c_0101_5 - 151855999531664008279227947781077587251731705301055/93181999\ 657681916239239373201885597289447442052877*c_0101_6^38 + 10907201238164652092784038019770555134590688345461798/9318199965768\ 1916239239373201885597289447442052877*c_0101_6^36 - 196732343378211356001734793607294670630154453234337487/931819996576\ 81916239239373201885597289447442052877*c_0101_6^34 + 2936886410237026522813987708312098704623451183310508317/18636399931\ 5363832478478746403771194578894884105754*c_0101_6^32 - 14174423541769481857426204811209217274086204064932923967/1863639993\ 15363832478478746403771194578894884105754*c_0101_6^30 + 25387451314771462340086869003248203308419360614662357173/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^28 - 130906507990618020439228222812776235190840648160600281467/186363999\ 315363832478478746403771194578894884105754*c_0101_6^26 + 249300755339533453889989909211848851915180254106537859395/186363999\ 315363832478478746403771194578894884105754*c_0101_6^24 - 193158573070360627099928996770605886747003060011268574018/931819996\ 57681916239239373201885597289447442052877*c_0101_6^22 + 511014520593501950908744971899765792981594913986256100773/186363999\ 315363832478478746403771194578894884105754*c_0101_6^20 - 279926118923459585198404154380534981314617660367798093798/931819996\ 57681916239239373201885597289447442052877*c_0101_6^18 + 506050722756877888560586230401762224651511979275532996393/186363999\ 315363832478478746403771194578894884105754*c_0101_6^16 - 192259229523483782154437719901565966312406224804348610738/931819996\ 57681916239239373201885597289447442052877*c_0101_6^14 + 233161563741528013248341871127007755366910108167598768367/186363999\ 315363832478478746403771194578894884105754*c_0101_6^12 - 102140786414785185594892459382041935867659543997468608365/186363999\ 315363832478478746403771194578894884105754*c_0101_6^10 + 15280844932829564038191797823532455113215861019292935051/9318199965\ 7681916239239373201885597289447442052877*c_0101_6^8 - 3189720916757213458284134063441535847922707977580585464/93181999657\ 681916239239373201885597289447442052877*c_0101_6^6 + 929967312068988472968344740634324391864635448804440451/186363999315\ 363832478478746403771194578894884105754*c_0101_6^4 - 35868996263633878738446440742764374953639662308500118/9318199965768\ 1916239239373201885597289447442052877*c_0101_6^2 + 2128217656869492687113296733441297900348674168274745/18636399931536\ 3832478478746403771194578894884105754, c_0101_6^40 - 72*c_0101_6^38 + 1308*c_0101_6^36 - 9894*c_0101_6^34 + 48328*c_0101_6^32 - 175121*c_0101_6^30 + 459270*c_0101_6^28 - 892933*c_0101_6^26 + 1407721*c_0101_6^24 - 1891265*c_0101_6^22 + 2117512*c_0101_6^20 - 1963445*c_0101_6^18 + 1532027*c_0101_6^16 - 967935*c_0101_6^14 + 455757*c_0101_6^12 - 151746*c_0101_6^10 + 36012*c_0101_6^8 - 6167*c_0101_6^6 + 681*c_0101_6^4 - 41*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB