Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 1713896106] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1606 geometric_solution 5.36734316 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 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 0 0 0 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.247409914000 0.127362118947 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 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 -1 1 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 2.401767265172 1.563802778577 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 1 0 -1 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.514520882223 0.653224049352 2 5 4 6 0132 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.007174260394 0.984853701609 3 6 2 5 2310 0132 0132 2310 0 0 0 0 0 0 -1 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 -1 1 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.007174260394 0.984853701609 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372848945288 0.362818203939 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.491501988625 0.883687215700 ==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' : 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' : d['1'], 's_0_0' : 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' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], '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_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(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_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], '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_0011_4']), 'c_1010_6' : d['c_0101_0'], '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_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 22384605477333172140779646651383373346/5163006823726119057582796684\ 70036032473*c_0110_5^31 - 305000721159628939946922463307067776720/5\ 16300682372611905758279668470036032473*c_0110_5^29 + 1336073324951352859846510250544369637214/51630068237261190575827966\ 8470036032473*c_0110_5^27 - 315550846111401790457334693515113724128\ /73757240338944557965468524067148004639*c_0110_5^25 - 207847661342658008003326849883125439774/737572403389445579654685240\ 67148004639*c_0110_5^23 - 183866942139092337308227728705008641322/1\ 9122247495281922435491839572964297499*c_0110_5^21 + 17725945695457445501757316073728744233628/5163006823726119057582796\ 68470036032473*c_0110_5^19 - 57565601572308046030780056072821949012\ 31/516300682372611905758279668470036032473*c_0110_5^17 - 4301046404495767723926067062841464939769/73757240338944557965468524\ 067148004639*c_0110_5^15 + 8231657844702930458190381290857679131657\ 3/172100227457537301919426556156678677491*c_0110_5^13 - 346298391368779091169807743912636994046/288436135403693802099597580\ 1508581187*c_0110_5^11 - 582535139060867737578139801682829352718012\ /516300682372611905758279668470036032473*c_0110_5^9 - 4053691376784492027081015045980786172761/57366742485845767306475518\ 718892892497*c_0110_5^7 + 509442839829264946448736837697630172564/9\ 10583214061043925499611408236395119*c_0110_5^5 + 3523351441503893774713523098188998202148/63740824984273074784972798\ 57654765833*c_0110_5^3 + 349492090180390159090253072314260178658/21\ 24694166142435826165759952551588611*c_0110_5, c_0011_0 - 1, c_0011_2 + 9878966522914095705627257174566/8278029218736762959087376438\ 5126829*c_0110_5^30 - 384298517200359612741902458983491/24834087656\ 2102888772621293155380487*c_0110_5^28 + 1599178402679446686899117872002172/24834087656210288877262129315538\ 0487*c_0110_5^26 - 2958158331393309709258663007780830/2483408765621\ 02888772621293155380487*c_0110_5^24 + 598399212341461216731862020112172/248340876562102888772621293155380\ 487*c_0110_5^22 - 13486013672572300820032765167675317/2483408765621\ 02888772621293155380487*c_0110_5^20 + 3863528552250159414089342536958339/82780292187367629590873764385126\ 829*c_0110_5^18 - 30327993272279161795051106147438264/2483408765621\ 02888772621293155380487*c_0110_5^16 - 17748355770289015437555546081664414/2483408765621028887726212931553\ 80487*c_0110_5^14 + 266247497808202214967621345377629709/2483408765\ 62102888772621293155380487*c_0110_5^12 + 10300843116508202803412754464444/462459732890321953021641141816351*\ c_0110_5^10 + 41671458468916496113280997199473499/24834087656210288\ 8772621293155380487*c_0110_5^8 + 2648101188662837051786643897886205\ 8/248340876562102888772621293155380487*c_0110_5^6 - 168856308431702779356379906621601471/827802921873676295908737643851\ 26829*c_0110_5^4 - 6261238501822775664293920917125429/9197810243040\ 847732319307153902981*c_0110_5^2 - 6796450759576018364850824733463018/91978102430408477323193071539029\ 81, c_0011_4 + 6303405798654251819619545779675901/1564547522341248199267514\ 1468788970681*c_0110_5^31 - 89727649167065333665203667823569294/156\ 45475223412481992675141468788970681*c_0110_5^29 + 429179822469172860767648815957123810/156454752234124819926751414687\ 88970681*c_0110_5^27 - 123036224654858423500332237966227180/2235067\ 889058925998953591638398424383*c_0110_5^25 + 3847102196457891486117141395044664/22350678890589259989535916383984\ 24383*c_0110_5^23 - 431514434417976855492341765032389815/5215158407\ 804160664225047156262990227*c_0110_5^21 + 5956530062158890432936625600379574779/15645475223412481992675141468\ 788970681*c_0110_5^19 - 4834993768728427657733020461073422296/15645\ 475223412481992675141468788970681*c_0110_5^17 - 875955045566564215201582124925771437/223506788905892599895359163839\ 8424383*c_0110_5^15 + 24544847961150200654398507944486274903/521515\ 8407804160664225047156262990227*c_0110_5^13 - 329510655612125697930948125534530211/874048895162708491210901758032\ 90339*c_0110_5^11 - 146196766226399575228232996083826999914/1564547\ 5223412481992675141468788970681*c_0110_5^9 + 25529606687720796849629176442016645337/5215158407804160664225047156\ 262990227*c_0110_5^7 + 1076301495978767872442644736469968633/248340\ 876562102888772621293155380487*c_0110_5^5 + 157689674775333591056946332134652019/643846717012859341262351500773\ 20867*c_0110_5^3 + 28814918649171746097486008395809172/643846717012\ 85934126235150077320867*c_0110_5, c_0101_0 + 2771913532600984573384559606668579/1564547522341248199267514\ 1468788970681*c_0110_5^31 - 39135975890002519034598051729475190/156\ 45475223412481992675141468788970681*c_0110_5^29 + 184156206234958354396746782262559592/156454752234124819926751414687\ 88970681*c_0110_5^27 - 51044327978040426418567854393512011/22350678\ 89058925998953591638398424383*c_0110_5^25 - 3991611097641439027170151153331033/22350678890589259989535916383984\ 24383*c_0110_5^23 - 189370365380478568428359123138533150/5215158407\ 804160664225047156262990227*c_0110_5^21 + 2474938005978542619282412939585206208/15645475223412481992675141468\ 788970681*c_0110_5^19 - 1512112184964525105917137651210398652/15645\ 475223412481992675141468788970681*c_0110_5^17 - 446458272522261956825425048546715086/223506788905892599895359163839\ 8424383*c_0110_5^15 + 10957976317704076413501816712544252804/521515\ 8407804160664225047156262990227*c_0110_5^13 - 132284938535636042262387750616192813/874048895162708491210901758032\ 90339*c_0110_5^11 - 63213047370456476805233338598252117810/15645475\ 223412481992675141468788970681*c_0110_5^9 + 6583723269565128667966174858945098617/52151584078041606642250471562\ 62990227*c_0110_5^7 + 381952848974967674681655685229908864/24834087\ 6562102888772621293155380487*c_0110_5^5 + 157433682440950541361925065477171301/643846717012859341262351500773\ 20867*c_0110_5^3 - 12865051569422612342932828393192074/643846717012\ 85934126235150077320867*c_0110_5, c_0101_1 - 36334705084676558953459955642243/745022629686308666317863879\ 466141461*c_0110_5^30 + 407969855969726136201014136890329/745022629\ 686308666317863879466141461*c_0110_5^28 - 1071052665622569490428135638419120/74502262968630866631786387946614\ 1461*c_0110_5^26 - 640093979890153671153425751270646/74502262968630\ 8666317863879466141461*c_0110_5^24 + 8541563183895606121517748802381102/74502262968630866631786387946614\ 1461*c_0110_5^22 + 4199319349244733164424068359950050/2483408765621\ 02888772621293155380487*c_0110_5^20 + 5992420075991110108502547747264340/74502262968630866631786387946614\ 1461*c_0110_5^18 - 13785990794549378782025692488744892/745022629686\ 308666317863879466141461*c_0110_5^16 + 96524030336224332221228709676762763/7450226296863086663178638794661\ 41461*c_0110_5^14 - 88825699306873317350429152517618230/24834087656\ 2102888772621293155380487*c_0110_5^12 - 3672224215843156044222231357108973/41621375960128975771947702763471\ 59*c_0110_5^10 + 656469394633241676503202640968433972/7450226296863\ 08666317863879466141461*c_0110_5^8 + 203691997192686404995754476612208393/248340876562102888772621293155\ 380487*c_0110_5^6 - 16059723205358111596850190232065151/82780292187\ 367629590873764385126829*c_0110_5^4 - 1525155017492146271789305020277075/91978102430408477323193071539029\ 81*c_0110_5^2 - 8049745733003525812828287109447717/9197810243040847\ 732319307153902981, c_0101_3 + 19818570997038963530889928955527/248340876562102888772621293\ 155380487*c_0110_5^30 - 86572819267736993174460963183935/8278029218\ 7367629590873764385126829*c_0110_5^28 + 1126227342174281449277952103111549/24834087656210288877262129315538\ 0487*c_0110_5^26 - 796619145170733274585219516738048/82780292187367\ 629590873764385126829*c_0110_5^24 + 1619121760539760714128828866484650/24834087656210288877262129315538\ 0487*c_0110_5^22 - 10042760999347707107606294240288674/248340876562\ 102888772621293155380487*c_0110_5^20 + 6507218296561741166401812073473115/24834087656210288877262129315538\ 0487*c_0110_5^18 - 29227038155396960581143556875084050/248340876562\ 102888772621293155380487*c_0110_5^16 - 83971811385828332832846420374767/9197810243040847732319307153902981\ *c_0110_5^14 + 174975036554730913091536774640613880/248340876562102\ 888772621293155380487*c_0110_5^12 - 260648802223482964738053734862460/138737919867096585906492342544905\ 3*c_0110_5^10 + 64634012977805597252107000206784940/827802921873676\ 29590873764385126829*c_0110_5^8 + 227667573330667332612298275375385\ 769/248340876562102888772621293155380487*c_0110_5^6 - 226729195540348021926453155497122118/827802921873676295908737643851\ 26829*c_0110_5^4 - 9718506749364296569102475147944323/9197810243040\ 847732319307153902981*c_0110_5^2 - 3910243994051177897636575518465104/91978102430408477323193071539029\ 81, c_0110_5^32 - 14*c_0110_5^30 + 65*c_0110_5^28 - 124*c_0110_5^26 - 14*c_0110_5^24 - 225*c_0110_5^22 + 874*c_0110_5^20 - 598*c_0110_5^18 - 1054*c_0110_5^16 + 11397*c_0110_5^14 - 7118*c_0110_5^12 - 22556*c_0110_5^10 + 6318*c_0110_5^8 + 8613*c_0110_5^6 + 9720*c_0110_5^4 + 1215*c_0110_5^2 + 729 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB