Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 2951623572] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0113 geometric_solution 3.63514820 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168002539286 0.028815001446 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.413381352819 0.205465761965 3 0 3 0 0132 2310 2310 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 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 -1.780186713742 0.751245897749 2 2 4 5 0132 3201 0132 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 -1 0 0 0 -1 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 1.270825854575 0.924240379608 5 6 6 3 1302 0132 1302 0132 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 -1 1 -1 0 0 1 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998813253143 0.507148383784 6 4 3 6 2310 2031 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998813253143 0.507148383784 4 4 5 5 2031 0132 3201 0213 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 1 0 0 -1 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204023394077 0.404157882320 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : d['c_0011_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_6'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 18804291423267312772689325144592301699051/1725308904294538204101486\ 29854347448016*c_0101_6^18 - 17420358809130417190632588833401240162\ 555/10783180651840863775634289365896715501*c_0101_6^17 + 163010215855379546416757520289208197454731/215663613036817275512685\ 78731793431002*c_0101_6^16 - 22267815201154868771689742341975454994\ 89449/172530890429453820410148629854347448016*c_0101_6^15 + 4583001724702307065748423411274521902566055/17253089042945382041014\ 8629854347448016*c_0101_6^14 - 702899482947186271285231573450525601\ 0466477/86265445214726910205074314927173724008*c_0101_6^13 + 673893623936983965157507881934147932344447/132716069561118323392422\ 02296488265232*c_0101_6^12 - 15244655825140411460859333934142955168\ 802091/43132722607363455102537157463586862004*c_0101_6^11 - 37797742420116231638415335308437788980269/4313272260736345510253715\ 7463586862004*c_0101_6^10 - 444716977506444211665750335312610269113\ 2439/6635803478055916169621101148244132616*c_0101_6^9 - 2596420526244397707999196440126346735460903/17253089042945382041014\ 8629854347448016*c_0101_6^8 - 1431422982067815347914177816190234703\ 88181/510446421388916628432392396018779432*c_0101_6^7 - 10469174357799949862597201149847342900911809/8626544521472691020507\ 4314927173724008*c_0101_6^6 - 3605595003031387248962596392893724682\ 0213077/172530890429453820410148629854347448016*c_0101_6^5 - 4884782829728361437440170853264274735035559/17253089042945382041014\ 8629854347448016*c_0101_6^4 - 2093375147814143554739195130044427322\ 540997/86265445214726910205074314927173724008*c_0101_6^3 - 253777550305874439584499162742013887182383/862654452147269102050743\ 14927173724008*c_0101_6^2 - 120292946676634290785962333461262332561\ 4663/172530890429453820410148629854347448016*c_0101_6 - 15984377381862941198419303095081975077051/1725308904294538204101486\ 29854347448016, c_0011_0 - 1, c_0011_2 + 215457619344304247342365273/163639241461021817199953908105*c\ _0101_6^18 - 2067489350006815006699013984/1636392414610218171999539\ 08105*c_0101_6^17 - 908828068728966961629476547/1636392414610218171\ 99953908105*c_0101_6^16 + 40002243233479059799297754538/16363924146\ 1021817199953908105*c_0101_6^15 - 20623557262764379584277648736/163\ 639241461021817199953908105*c_0101_6^14 + 2614431513510331770501061879/163639241461021817199953908105*c_0101_\ 6^13 - 38830602240613118152776721976/12587633958540139784611839085*\ c_0101_6^12 - 874898950184701370527596394328/1636392414610218171999\ 53908105*c_0101_6^11 - 3091619855546610096413625249418/163639241461\ 021817199953908105*c_0101_6^10 - 333502977729601068699762149023/125\ 87633958540139784611839085*c_0101_6^9 - 6279076023226224472234873298749/163639241461021817199953908105*c_01\ 01_6^8 - 102574882052125653984968494548/251752679170802795692236781\ 7*c_0101_6^7 - 326012100775660366264884622381/327278482922043634399\ 90781621*c_0101_6^6 - 1013489751102289967308487788660/3272784829220\ 4363439990781621*c_0101_6^5 - 247335426828298143136776696766/327278\ 48292204363439990781621*c_0101_6^4 - 2254860924659400213673111701263/163639241461021817199953908105*c_01\ 01_6^3 - 51527895658313471038386755987/1636392414610218171999539081\ 05*c_0101_6^2 - 29563782574491341036314545188/163639241461021817199\ 953908105*c_0101_6 + 94485154875410430551153852719/1636392414610218\ 17199953908105, c_0011_4 + 396704198079182801082839532603951/84125297642696706004324304\ 61769945*c_0101_6^18 - 5787864387586860535913986822302563/841252976\ 4269670600432430461769945*c_0101_6^17 + 26024133932768752918082457019464941/8412529764269670600432430461769\ 945*c_0101_6^16 - 38759057355137706989506361092600329/8412529764269\ 670600432430461769945*c_0101_6^15 + 76798623115227376146368420911267173/8412529764269670600432430461769\ 945*c_0101_6^14 - 256844160405850789675713627360560372/841252976426\ 9670600432430461769945*c_0101_6^13 + 6272716654731911008879835312387448/64711767417459004618711003552076\ 5*c_0101_6^12 - 1144102685186214883764822161736790761/8412529764269\ 670600432430461769945*c_0101_6^11 - 388987576096451945548021438031682596/841252976426967060043243046176\ 9945*c_0101_6^10 - 156526401039359207771756993989530366/64711767417\ 4590046187110035520765*c_0101_6^9 - 751330063305236799218071105972516163/841252976426967060043243046176\ 9945*c_0101_6^8 - 4736248407239119566435696125055597/12942353483491\ 8009237422007104153*c_0101_6^7 - 1763354389721374113911540878696885\ 75/1682505952853934120086486092353989*c_0101_6^6 - 117809728460511310239705570541586039/168250595285393412008648609235\ 3989*c_0101_6^5 - 33044153316005885069093904022098679/1682505952853\ 934120086486092353989*c_0101_6^4 + 12640629336282101304995745890839419/8412529764269670600432430461769\ 945*c_0101_6^3 - 27504518955665331687400030801484724/84125297642696\ 70600432430461769945*c_0101_6^2 - 115053378324438060882766016729560\ 46/8412529764269670600432430461769945*c_0101_6 + 962293572559143360313412565960308/841252976426967060043243046176994\ 5, c_0101_0 + 91165748369713702962674045611772/168250595285393412008648609\ 2353989*c_0101_6^18 - 1383387545140922233662342563146645/1682505952\ 853934120086486092353989*c_0101_6^17 + 6811033019623530147433091523238990/16825059528539341200864860923539\ 89*c_0101_6^16 - 13202166923188755921759941486872177/16825059528539\ 34120086486092353989*c_0101_6^15 + 26728670416643228508833367930056689/1682505952853934120086486092353\ 989*c_0101_6^14 - 76474695397947494147652891218132111/1682505952853\ 934120086486092353989*c_0101_6^13 + 5172426788302744950251775913013773/12942353483491800923742200710415\ 3*c_0101_6^12 - 315537680532855796984008976643297803/16825059528539\ 34120086486092353989*c_0101_6^11 + 96628480085392154601691671656410063/1682505952853934120086486092353\ 989*c_0101_6^10 - 45118668297067726420764030156900018/1294235348349\ 18009237422007104153*c_0101_6^9 + 135752042752286675847833671093556\ 293/1682505952853934120086486092353989*c_0101_6^8 - 20639828151737984199160544608697504/1294235348349180092374220071041\ 53*c_0101_6^7 - 109480883115558577693284447042840486/16825059528539\ 34120086486092353989*c_0101_6^6 - 998045046378071877645842469067225\ 37/1682505952853934120086486092353989*c_0101_6^5 - 28795606764348023674256878371013583/1682505952853934120086486092353\ 989*c_0101_6^4 - 25082800017688803971150963786507220/16825059528539\ 34120086486092353989*c_0101_6^3 - 957153336157954856690470745404808\ 9/1682505952853934120086486092353989*c_0101_6^2 + 1338385186474888518033205036034059/16825059528539341200864860923539\ 89*c_0101_6 - 765120547179713023172748582299326/1682505952853934120\ 086486092353989, c_0101_1 + 154838024369319281108724389318291/84125297642696706004324304\ 61769945*c_0101_6^18 - 2439927904024802499758900550123898/841252976\ 4269670600432430461769945*c_0101_6^17 + 12860644300564198254064535061589206/8412529764269670600432430461769\ 945*c_0101_6^16 - 27996103162644054760188366309122324/8412529764269\ 670600432430461769945*c_0101_6^15 + 52834600879497129464391881099100108/8412529764269670600432430461769\ 945*c_0101_6^14 - 146239427521118758211105005856317802/841252976426\ 9670600432430461769945*c_0101_6^13 + 13078846571825995990179688980733988/6471176741745900461871100355207\ 65*c_0101_6^12 - 542090281073133917569004790018633956/8412529764269\ 670600432430461769945*c_0101_6^11 + 432968491446732297819851159586615129/841252976426967060043243046176\ 9945*c_0101_6^10 - 64742312010806118301614111576548396/647117674174\ 590046187110035520765*c_0101_6^9 + 773792434130919048322283505307180402/841252976426967060043243046176\ 9945*c_0101_6^8 - 2379825776154647327379901753828776/12942353483491\ 8009237422007104153*c_0101_6^7 + 2650987832674273563482073225417443\ /1682505952853934120086486092353989*c_0101_6^6 + 8631387306339160929216997488350484/16825059528539341200864860923539\ 89*c_0101_6^5 + 24208674697731845697954802767305502/168250595285393\ 4120086486092353989*c_0101_6^4 + 5580784541937704931249932860643678\ 4/8412529764269670600432430461769945*c_0101_6^3 - 1236046370655179423795425365674529/84125297642696706004324304617699\ 45*c_0101_6^2 + 619222294709736811890436147499034/84125297642696706\ 00432430461769945*c_0101_6 - 7010313740172200689773884431260797/841\ 2529764269670600432430461769945, c_0101_2 - 106893697118567067404616043684971/84125297642696706004324304\ 61769945*c_0101_6^18 + 1619483996571413134228152010239008/841252976\ 4269670600432430461769945*c_0101_6^17 - 7968936232104740836930119317547491/84125297642696706004324304617699\ 45*c_0101_6^16 + 15623290003088098916101559394420839/84125297642696\ 70600432430461769945*c_0101_6^15 - 32671612326901527281546396305975103/8412529764269670600432430461769\ 945*c_0101_6^14 + 92529853635070927217153147343778552/8412529764269\ 670600432430461769945*c_0101_6^13 - 6494932838357111199798723114882398/64711767417459004618711003552076\ 5*c_0101_6^12 + 389431443906572753723211756154791971/84125297642696\ 70600432430461769945*c_0101_6^11 - 127835055121031492467541925295853714/841252976426967060043243046176\ 9945*c_0101_6^10 + 59461359756248290373688076662571456/647117674174\ 590046187110035520765*c_0101_6^9 - 193978933955375131821519688765616527/841252976426967060043243046176\ 9945*c_0101_6^8 + 7556933535567911049118025556202197/12942353483491\ 8009237422007104153*c_0101_6^7 + 7750108624613456043457223071334349\ /1682505952853934120086486092353989*c_0101_6^6 + 51875092646557251347065829505574101/1682505952853934120086486092353\ 989*c_0101_6^5 - 2360495170270895074646529856118123/168250595285393\ 4120086486092353989*c_0101_6^4 + 1016966396525546330755519010033034\ 51/8412529764269670600432430461769945*c_0101_6^3 + 589900564566954039182283001992094/841252976426967060043243046176994\ 5*c_0101_6^2 + 4723583362599387752269506770501936/84125297642696706\ 00432430461769945*c_0101_6 - 2478015723455315010461678048068468/841\ 2529764269670600432430461769945, c_0101_6^19 - 15*c_0101_6^18 + 72*c_0101_6^17 - 131*c_0101_6^16 + 266*c_0101_6^15 - 793*c_0101_6^14 + 603*c_0101_6^13 - 3339*c_0101_6^12 + 576*c_0101_6^11 - 6206*c_0101_6^10 + 953*c_0101_6^9 - 2659*c_0101_6^8 - 660*c_0101_6^7 - 1765*c_0101_6^6 + 60*c_0101_6^5 - 211*c_0101_6^4 + 8*c_0101_6^3 - 63*c_0101_6^2 + 10*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB