Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 3221103476] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0969 geometric_solution 4.86162422 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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.494491375260 0.164945610242 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 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 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685711011887 0.442077368897 1 4 3 3 0132 0132 3012 2310 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 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.558625287331 1.169800013283 2 2 4 1 3201 1230 1023 0132 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 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.558625287331 1.169800013283 5 2 3 5 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.563141259245 0.655376037923 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.448134850154 0.391956954292 6 5 5 6 3012 0132 1023 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 0 0 0 0 0 0 0 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.613773331758 0.141865883845 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], '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_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], '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_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_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' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 2120552938367096211169595400029/36694122780007241714452465328*c_010\ 1_6^27 + 49728116281143442011290472885355/1834706139000362085722623\ 2664*c_0101_6^25 - 724562646689144511399854692839733/18347061390003\ 620857226232664*c_0101_6^23 + 8558330954762935880552900036035249/36\ 694122780007241714452465328*c_0101_6^21 - 3542564221662742640527751614170589/4586765347500905214306558166*c_0\ 101_6^19 + 16192256166270200710399294213322315/91735306950018104286\ 13116332*c_0101_6^17 - 100847935114416052279668076545667163/3669412\ 2780007241714452465328*c_0101_6^15 + 46559571978756461653361408474776561/18347061390003620857226232664*c\ _0101_6^13 - 11881009286668519077700096065028741/917353069500181042\ 8613116332*c_0101_6^11 + 17652133481133114776404032524416977/366941\ 22780007241714452465328*c_0101_6^9 - 8121383716767540997344974719865681/36694122780007241714452465328*c_\ 0101_6^7 + 1999582142943640191896144182034459/366941227800072417144\ 52465328*c_0101_6^5 + 45802457311037119773732267322645/183470613900\ 03620857226232664*c_0101_6^3 + 35313418389165537409618983676221/366\ 94122780007241714452465328*c_0101_6, c_0011_0 - 1, c_0011_1 - 414571121240084177517678559/2293382673750452607153279083*c_0\ 101_6^26 + 19188461774320934664349760321/22933826737504526071532790\ 83*c_0101_6^24 - 271512497369075816127375470770/2293382673750452607\ 153279083*c_0101_6^22 + 1507138480719863227138275616169/22933826737\ 50452607153279083*c_0101_6^20 - 4629519122394014688265836497994/229\ 3382673750452607153279083*c_0101_6^18 + 9906611391337942447459091030911/2293382673750452607153279083*c_0101\ _6^16 - 13907506567053810124370931379544/22933826737504526071532790\ 83*c_0101_6^14 + 10264798871922447205300701228219/22933826737504526\ 07153279083*c_0101_6^12 - 3842309221487157215333288440509/229338267\ 3750452607153279083*c_0101_6^10 + 1716060261834166692151611255727/2\ 293382673750452607153279083*c_0101_6^8 - 750133247827766018656883230156/2293382673750452607153279083*c_0101_\ 6^6 + 25395794283896052291823612041/2293382673750452607153279083*c_\ 0101_6^4 - 11349880474091850980010925381/22933826737504526071532790\ 83*c_0101_6^2 - 463318715190701355209449450/22933826737504526071532\ 79083, c_0011_3 + 464789826331372761274947565/2293382673750452607153279083*c_0\ 101_6^27 - 21515059460812149601070327812/22933826737504526071532790\ 83*c_0101_6^25 + 304498953155671845183268353105/2293382673750452607\ 153279083*c_0101_6^23 - 1690897458016080500875809505839/22933826737\ 50452607153279083*c_0101_6^21 + 5194838103715969892784440082721/229\ 3382673750452607153279083*c_0101_6^19 - 11113602768249148796675436454843/2293382673750452607153279083*c_010\ 1_6^17 + 15598099881174746420210374367649/2293382673750452607153279\ 083*c_0101_6^15 - 11497859900731142843080015281946/2293382673750452\ 607153279083*c_0101_6^13 + 4282050796301809954669684225591/22933826\ 73750452607153279083*c_0101_6^11 - 1959227782934238780761931997847/2293382673750452607153279083*c_0101\ _6^9 + 910335489848316232412997820643/2293382673750452607153279083*\ c_0101_6^7 - 45069126370766369368584566017/229338267375045260715327\ 9083*c_0101_6^5 + 15137489997482225873920874862/2293382673750452607\ 153279083*c_0101_6^3 - 5007498060036509614063089467/229338267375045\ 2607153279083*c_0101_6, c_0101_0 - 833143464327848218848478589/2293382673750452607153279083*c_0\ 101_6^27 + 38758013522048917701961059726/22933826737504526071532790\ 83*c_0101_6^25 - 554674519977927229301854852889/2293382673750452607\ 153279083*c_0101_6^23 + 3155359591956922343887419891191/22933826737\ 50452607153279083*c_0101_6^21 - 9990853650171684775267585128733/229\ 3382673750452607153279083*c_0101_6^19 + 21955924093172779817073164092275/2293382673750452607153279083*c_010\ 1_6^17 - 32193801063729579164176633791747/2293382673750452607153279\ 083*c_0101_6^15 + 26258812117243615038052612611213/2293382673750452\ 607153279083*c_0101_6^13 - 11231592421872841218453121559445/2293382\ 673750452607153279083*c_0101_6^11 + 4248516331908466239762011856417/2293382673750452607153279083*c_0101\ _6^9 - 1939435747957978940384475318497/2293382673750452607153279083\ *c_0101_6^7 + 246724515934200803352295860936/2293382673750452607153\ 279083*c_0101_6^5 + 35691418856432763477826812411/22933826737504526\ 07153279083*c_0101_6^3 + 3773446623623703133229054373/2293382673750\ 452607153279083*c_0101_6, c_0101_1 + 2984589540362545376445371/34229592145529143390347449*c_0101_\ 6^26 - 137956822432833406398107101/34229592145529143390347449*c_010\ 1_6^24 + 1946061942379299731123616232/34229592145529143390347449*c_\ 0101_6^22 - 10726798057199743383868693394/3422959214552914339034744\ 9*c_0101_6^20 + 32624641662251534245241288912/342295921455291433903\ 47449*c_0101_6^18 - 69072217305941110077732935942/34229592145529143\ 390347449*c_0101_6^16 + 95128857379103721491532187949/3422959214552\ 9143390347449*c_0101_6^14 - 66461330367040503558654885109/342295921\ 45529143390347449*c_0101_6^12 + 21330492714215686354945485502/34229\ 592145529143390347449*c_0101_6^10 - 9385933015617401226069277505/34229592145529143390347449*c_0101_6^8 + 4356278262184322091073617367/34229592145529143390347449*c_0101_6^6 + 289563272247447428804258358/34229592145529143390347449*c_0101_6^4 - 53988602353539396354154579/34229592145529143390347449*c_0101_6^2 + 8300967023135738589005462/34229592145529143390347449, c_0101_5 + 112428909546925402532642642/2293382673750452607153279083*c_0\ 101_6^26 - 5202191392649097841386326899/229338267375045260715327908\ 3*c_0101_6^24 + 73564396300595438868959124966/229338267375045260715\ 3279083*c_0101_6^22 - 407942451116368493006866517717/22933826737504\ 52607153279083*c_0101_6^20 + 1253260149580451857312158271714/229338\ 2673750452607153279083*c_0101_6^18 - 2687259679693441873303612652303/2293382673750452607153279083*c_0101\ _6^16 + 3785630078901775563194587499275/229338267375045260715327908\ 3*c_0101_6^14 - 2833757852366358222984987266600/2293382673750452607\ 153279083*c_0101_6^12 + 1127753494199432733853112346165/22933826737\ 50452607153279083*c_0101_6^10 - 508900757127504274191313375389/2293\ 382673750452607153279083*c_0101_6^8 + 200628390830595466660246956985/2293382673750452607153279083*c_0101_\ 6^6 - 7336370485244450523299122121/2293382673750452607153279083*c_0\ 101_6^4 + 1614354693117232097072144009/2293382673750452607153279083\ *c_0101_6^2 + 826985787319031456462685233/2293382673750452607153279\ 083, c_0101_6^28 - 47*c_0101_6^26 + 688*c_0101_6^24 - 4103*c_0101_6^22 + 13757*c_0101_6^20 - 31828*c_0101_6^18 + 50467*c_0101_6^16 - 48385*c_0101_6^14 + 26446*c_0101_6^12 - 10345*c_0101_6^10 + 4602*c_0101_6^8 - 1292*c_0101_6^6 + 37*c_0101_6^4 - 15*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB