Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 1747580064] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2306 geometric_solution 5.70524611 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.222057859470 0.179611997158 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 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.055649420607 2.022320568716 1 3 4 5 0132 3201 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284396528944 0.880108081391 5 4 2 1 1023 0132 2310 0132 0 0 0 0 0 1 0 -1 0 0 0 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 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.284396528944 0.880108081391 4 3 4 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598245657683 0.494580493795 6 3 2 6 0132 1023 0132 3201 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 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.758527012356 0.400343891568 5 5 6 6 0132 2310 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.454021951459 0.842560684364 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 72809831494213510934671837877259287594525556427/6478024620399421790\ 83802954005961993627227609*c_0101_6^37 + 2468439122115778147381707946792094217840142952759/64780246203994217\ 9083802954005961993627227609*c_0101_6^35 - 29467220748579961233495992142802550376414077941504/6478024620399421\ 79083802954005961993627227609*c_0101_6^33 + 137842692492250655570831126084946927063926388252174/647802462039942\ 179083802954005961993627227609*c_0101_6^31 - 67124240790523656175950049329268154387043708336073/6478024620399421\ 79083802954005961993627227609*c_0101_6^29 - 1193434110682546801971238093182928717741451358814426/64780246203994\ 2179083802954005961993627227609*c_0101_6^27 + 1392655567619474186559711260553774581324885907581585/64780246203994\ 2179083802954005961993627227609*c_0101_6^25 + 5447180708689005102516669056024611081261684502746400/64780246203994\ 2179083802954005961993627227609*c_0101_6^23 - 2010887750717678441137722477627134907644432873268577/64780246203994\ 2179083802954005961993627227609*c_0101_6^21 - 17186223871292461399852117167930448217125391574089735/6478024620399\ 42179083802954005961993627227609*c_0101_6^19 - 8334994785309450949908488353579213679622798422640898/64780246203994\ 2179083802954005961993627227609*c_0101_6^17 + 11674254216724445049837419320690894230458672327884760/6478024620399\ 42179083802954005961993627227609*c_0101_6^15 + 8250191701032476191107115636183687859668894916551070/64780246203994\ 2179083802954005961993627227609*c_0101_6^13 - 6564920662603999952008265623404100441439744545363407/64780246203994\ 2179083802954005961993627227609*c_0101_6^11 - 1945427091536545990484022404189922092459390175246865/64780246203994\ 2179083802954005961993627227609*c_0101_6^9 + 2688445574673528448831391231025055676006423420489172/64780246203994\ 2179083802954005961993627227609*c_0101_6^7 - 875808202433596118294188043190137879233683046315957/647802462039942\ 179083802954005961993627227609*c_0101_6^5 + 120116938656388704783783573578341913693674120218839/647802462039942\ 179083802954005961993627227609*c_0101_6^3 - 5840369994500592985023934788280095895039449671728/64780246203994217\ 9083802954005961993627227609*c_0101_6, c_0011_0 - 1, c_0011_1 + 2002588579784020632737047573133045113204121182/6478024620399\ 42179083802954005961993627227609*c_0101_6^36 - 67358902605297574688819910208997993034315915429/6478024620399421790\ 83802954005961993627227609*c_0101_6^34 + 792535170359649267984615402600120638088118539889/647802462039942179\ 083802954005961993627227609*c_0101_6^32 - 3580562442811894950887340178352444590609579853105/64780246203994217\ 9083802954005961993627227609*c_0101_6^30 + 898511634254834665671762289516846960311488880319/647802462039942179\ 083802954005961993627227609*c_0101_6^28 + 33033657649286369264043092416058693716054736934825/6478024620399421\ 79083802954005961993627227609*c_0101_6^26 - 29495687418684586379354875810390667065300651912120/6478024620399421\ 79083802954005961993627227609*c_0101_6^24 - 157388287026180396948390834905701643024214786216123/647802462039942\ 179083802954005961993627227609*c_0101_6^22 + 13152932953714066620415254426230466052602805835075/6478024620399421\ 79083802954005961993627227609*c_0101_6^20 + 474743010394333569318526625755392363670777171956531/647802462039942\ 179083802954005961993627227609*c_0101_6^18 + 355569218677458321894446014395470201960549964464692/647802462039942\ 179083802954005961993627227609*c_0101_6^16 - 222119560489049498135730562603750599877706550139889/647802462039942\ 179083802954005961993627227609*c_0101_6^14 - 281873537508593777847110146603312104418217516478533/647802462039942\ 179083802954005961993627227609*c_0101_6^12 + 104653660548519883549852840509241648869764185988448/647802462039942\ 179083802954005961993627227609*c_0101_6^10 + 78864247690476838688613490149011811200857683194895/6478024620399421\ 79083802954005961993627227609*c_0101_6^8 - 52610180214175953140789679946682624753850489682092/6478024620399421\ 79083802954005961993627227609*c_0101_6^6 + 10768911586046878604444179895808267098077085284588/6478024620399421\ 79083802954005961993627227609*c_0101_6^4 - 731121019467638361062439153644366001076811930778/647802462039942179\ 083802954005961993627227609*c_0101_6^2 + 6175856669274046389996645669109637467435156936/64780246203994217908\ 3802954005961993627227609, c_0011_3 - 711697263735404012414325778342313763727501889/64780246203994\ 2179083802954005961993627227609*c_0101_6^37 + 23940310865303567029292786807839333247797070435/6478024620399421790\ 83802954005961993627227609*c_0101_6^35 - 281716142735553532803161358434126853794467161925/647802462039942179\ 083802954005961993627227609*c_0101_6^33 + 1273180091612816285977861778789641958509099565313/64780246203994217\ 9083802954005961993627227609*c_0101_6^31 - 322476735112453334292900941413534429250005014177/647802462039942179\ 083802954005961993627227609*c_0101_6^29 - 11738789567743845057330953614133129610373389760732/6478024620399421\ 79083802954005961993627227609*c_0101_6^27 + 10511631289766289052552145089218109768093617888254/6478024620399421\ 79083802954005961993627227609*c_0101_6^25 + 55904701451546605687043122197730362356121658974811/6478024620399421\ 79083802954005961993627227609*c_0101_6^23 - 4815227412361183394500432772279839060266596712383/64780246203994217\ 9083802954005961993627227609*c_0101_6^21 - 168682934071543099776851782901175191540396668486612/647802462039942\ 179083802954005961993627227609*c_0101_6^19 - 125913175997463428781980821594522245879901533135433/647802462039942\ 179083802954005961993627227609*c_0101_6^17 + 79200340190880597590793193284285737522357788578328/6478024620399421\ 79083802954005961993627227609*c_0101_6^15 + 99813334104605502835585329786160219851043546809547/6478024620399421\ 79083802954005961993627227609*c_0101_6^13 - 37557951199015709912938907527809333326242621976827/6478024620399421\ 79083802954005961993627227609*c_0101_6^11 - 27901324464531938140301707226345455409786880275559/6478024620399421\ 79083802954005961993627227609*c_0101_6^9 + 18835147043906309129625481012331078236410734323860/6478024620399421\ 79083802954005961993627227609*c_0101_6^7 - 3873329527014305970361377507756035805597579932507/64780246203994217\ 9083802954005961993627227609*c_0101_6^5 + 256067243745489878708285141482304576898717349809/647802462039942179\ 083802954005961993627227609*c_0101_6^3 + 153370533237218065723276746269858522299572754/647802462039942179083\ 802954005961993627227609*c_0101_6, c_0101_0 + 1045740024868313998566116832170103752357975311/6478024620399\ 42179083802954005961993627227609*c_0101_6^36 - 35173553669202320656570781577857697312934808190/6478024620399421790\ 83802954005961993627227609*c_0101_6^34 + 413830100485900890390710355698204194738263742679/647802462039942179\ 083802954005961993627227609*c_0101_6^32 - 1869475766648243865608029722336196159117579480627/64780246203994217\ 9083802954005961993627227609*c_0101_6^30 + 468458562684344955522800915419155413582547439683/647802462039942179\ 083802954005961993627227609*c_0101_6^28 + 17246946128743242609299505839048766890781962972271/6478024620399421\ 79083802954005961993627227609*c_0101_6^26 - 15389024820936526591688237701697625774245913895907/6478024620399421\ 79083802954005961993627227609*c_0101_6^24 - 82164631305266961889424306477588946030497908026832/6478024620399421\ 79083802954005961993627227609*c_0101_6^22 + 6787046116872598568457712842506171911909762183346/64780246203994217\ 9083802954005961993627227609*c_0101_6^20 + 247734256040506228489151225937516946624327342079300/647802462039942\ 179083802954005961993627227609*c_0101_6^18 + 185802498864656595677163122696533877764413680612548/647802462039942\ 179083802954005961993627227609*c_0101_6^16 - 115351695959198289541765841151835104467693740964469/647802462039942\ 179083802954005961993627227609*c_0101_6^14 - 146646020632447016922391278947295666797711003179933/647802462039942\ 179083802954005961993627227609*c_0101_6^12 + 54594386985330006891531288264237665676922073093749/6478024620399421\ 79083802954005961993627227609*c_0101_6^10 + 40924538378171302544264098866714276072472410830611/6478024620399421\ 79083802954005961993627227609*c_0101_6^8 - 27481190024421975441368871642469128825282073815925/6478024620399421\ 79083802954005961993627227609*c_0101_6^6 + 5679186431642359156189150464056358809511307085379/64780246203994217\ 9083802954005961993627227609*c_0101_6^4 - 394438079002325411755396943131632652353483418791/647802462039942179\ 083802954005961993627227609*c_0101_6^2 + 3449273145820883558541248847100495832272360675/64780246203994217908\ 3802954005961993627227609, c_0101_1 - 142320303390059224028678856936155368850244215/64780246203994\ 2179083802954005961993627227609*c_0101_6^36 + 4774355724125343021737786251147537374378738572/64780246203994217908\ 3802954005961993627227609*c_0101_6^34 - 55899519032634797284509486686011204861722560974/6478024620399421790\ 83802954005961993627227609*c_0101_6^32 + 249540006951385547499088501873832620568179855709/647802462039942179\ 083802954005961993627227609*c_0101_6^30 - 42377299250429773626241021084048556573053488842/6478024620399421790\ 83802954005961993627227609*c_0101_6^28 - 2347910407960751056789220358377426394632131863159/64780246203994217\ 9083802954005961993627227609*c_0101_6^26 + 1886765855360652882845650051915761265555546029895/64780246203994217\ 9083802954005961993627227609*c_0101_6^24 + 11318823918370369042678841076310391819944396203275/6478024620399421\ 79083802954005961993627227609*c_0101_6^22 + 94535602159642687969540937303177851411008487887/6478024620399421790\ 83802954005961993627227609*c_0101_6^20 - 33556505595051300170655741623243388342525530360792/6478024620399421\ 79083802954005961993627227609*c_0101_6^18 - 28212584499071711504245798613110845140459727407796/6478024620399421\ 79083802954005961993627227609*c_0101_6^16 + 12783611804965941548642958628742510418105732239988/6478024620399421\ 79083802954005961993627227609*c_0101_6^14 + 20602904698749909193569761826996420125947212716793/6478024620399421\ 79083802954005961993627227609*c_0101_6^12 - 5598750455963059208500723896089790129171871362781/64780246203994217\ 9083802954005961993627227609*c_0101_6^10 - 5813436839774677545229647706226801000891375165046/64780246203994217\ 9083802954005961993627227609*c_0101_6^8 + 3226859958921580992334487806193884409530333096378/64780246203994217\ 9083802954005961993627227609*c_0101_6^6 - 554556986684450138421068232950248269622357052946/647802462039942179\ 083802954005961993627227609*c_0101_6^4 + 27185162869264591041969807997046070471155481465/6478024620399421790\ 83802954005961993627227609*c_0101_6^2 - 73869004621942571104896324188121783588986054/6478024620399421790838\ 02954005961993627227609, c_0101_3 + 1704715732466729807391941289704487066069159675/6478024620399\ 42179083802954005961993627227609*c_0101_6^37 - 57339503672467622212066055445857055611477788240/6478024620399421790\ 83802954005961993627227609*c_0101_6^35 + 674643288813501348695511295850613083959114723192/647802462039942179\ 083802954005961993627227609*c_0101_6^33 - 3047863701679970713457294109885324389284150805495/64780246203994217\ 9083802954005961993627227609*c_0101_6^31 + 764043573143261517752032504418217828625406163977/647802462039942179\ 083802954005961993627227609*c_0101_6^29 + 28122474213609739848576686330682800980722288561731/6478024620399421\ 79083802954005961993627227609*c_0101_6^27 - 25106006009292377978626508907734798225755494766408/6478024620399421\ 79083802954005961993627227609*c_0101_6^25 - 134001710981078780674430712467028327875913963634602/647802462039942\ 179083802954005961993627227609*c_0101_6^23 + 11201106244216561461258946353254086820610787437679/6478024620399421\ 79083802954005961993627227609*c_0101_6^21 + 404231596314302713377749646910355312565006298017581/647802462039942\ 179083802954005961993627227609*c_0101_6^19 + 302717402612793270415179008756729869089834725448206/647802462039942\ 179083802954005961993627227609*c_0101_6^17 - 189355749759936502623524452427793218746656255509471/647802462039942\ 179083802954005961993627227609*c_0101_6^15 - 240209438700043341608554018463994090182147536687563/647802462039942\ 179083802954005961993627227609*c_0101_6^13 + 89191048448726277113374773937936501647105340486844/6478024620399421\ 79083802954005961993627227609*c_0101_6^11 + 67324463619602212347951208308299345126278304773716/6478024620399421\ 79083802954005961993627227609*c_0101_6^9 - 44837525546265104925505842602952664809962084234035/6478024620399421\ 79083802954005961993627227609*c_0101_6^7 + 9109618879452957519408389147970424602967713804057/64780246203994217\ 9083802954005961993627227609*c_0101_6^5 - 589206077724023109659175942645077264294618412593/647802462039942179\ 083802954005961993627227609*c_0101_6^3 + 244614795868639154261751430488431660947109293/647802462039942179083\ 802954005961993627227609*c_0101_6, c_0101_6^38 - 34*c_0101_6^36 + 408*c_0101_6^34 - 1932*c_0101_6^32 + 1099*c_0101_6^30 + 16335*c_0101_6^28 - 20735*c_0101_6^26 - 73257*c_0101_6^24 + 35204*c_0101_6^22 + 234804*c_0101_6^20 + 91244*c_0101_6^18 - 175949*c_0101_6^16 - 100697*c_0101_6^14 + 103658*c_0101_6^12 + 20600*c_0101_6^10 - 40670*c_0101_6^8 + 14872*c_0101_6^6 - 2288*c_0101_6^4 + 131*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB