Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 795784171] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0446 geometric_solution 4.48936875 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3012 0132 3201 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180803287914 0.046014363876 0 0 2 2 2310 0132 2310 0132 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4.348832421243 1.289028385937 3 1 1 3 0132 3201 0132 3201 0 0 0 0 0 0 0 0 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 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.470671471376 0.631006829099 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 1 -1 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 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.000315667736 0.355761334886 5 5 3 6 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 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 -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.775331048948 1.228041022885 4 4 6 3 1023 3012 2310 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775331048948 1.228041022885 6 5 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 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.254949916822 1.125903263868 ==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' : 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_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 69403371934299161987326/12492603040140355513*c_0101_3^25 + 302241783706499015723974/12492603040140355513*c_0101_3^24 - 549107249441868925260907/12492603040140355513*c_0101_3^23 - 3566391074821994603802631/12492603040140355513*c_0101_3^22 + 884514786206632532173245/12492603040140355513*c_0101_3^21 + 20008692411457096997506702/12492603040140355513*c_0101_3^20 + 6186466134379370839411100/12492603040140355513*c_0101_3^19 - 69576293602953173490994509/12492603040140355513*c_0101_3^18 - 39639261056911399988904624/12492603040140355513*c_0101_3^17 + 165479586938885320214465503/12492603040140355513*c_0101_3^16 + 119448915001128646702940177/12492603040140355513*c_0101_3^15 - 279369587346051868648071281/12492603040140355513*c_0101_3^14 - 232021879693114549942812479/12492603040140355513*c_0101_3^13 + 342494145928536537054903488/12492603040140355513*c_0101_3^12 + 305430658771904486261172685/12492603040140355513*c_0101_3^11 - 312018860975094483894477888/12492603040140355513*c_0101_3^10 - 277788478671015298435832521/12492603040140355513*c_0101_3^9 + 200387104431610285203588499/12492603040140355513*c_0101_3^8 + 165562049760383070754856571/12492603040140355513*c_0101_3^7 - 83347805168643390699551445/12492603040140355513*c_0101_3^6 - 59116068347537566799276001/12492603040140355513*c_0101_3^5 + 20885089167512169401013168/12492603040140355513*c_0101_3^4 + 11182726442387708256217643/12492603040140355513*c_0101_3^3 - 2891500938234385303613624/12492603040140355513*c_0101_3^2 - 850633975238076628608207/12492603040140355513*c_0101_3 + 175381346608031735797722/12492603040140355513, c_0011_0 - 1, c_0011_2 + 9461832184204741155519/12492603040140355513*c_0101_3^25 + 41621949833689792037900/12492603040140355513*c_0101_3^24 - 72315448337659101614190/12492603040140355513*c_0101_3^23 - 486354692723152794982111/12492603040140355513*c_0101_3^22 + 93514663081642126823701/12492603040140355513*c_0101_3^21 + 2696687955535018503785063/12492603040140355513*c_0101_3^20 + 972155969669105010405130/12492603040140355513*c_0101_3^19 - 9248468233535427890179728/12492603040140355513*c_0101_3^18 - 5758543340238946560855913/12492603040140355513*c_0101_3^17 + 21645784000756051731975484/12492603040140355513*c_0101_3^16 + 16890328764531429797975648/12492603040140355513*c_0101_3^15 - 35814694922089446276203566/12492603040140355513*c_0101_3^14 - 32178897736283967321170157/12492603040140355513*c_0101_3^13 + 42788420765079710994311039/12492603040140355513*c_0101_3^12 + 41581257769376883814227997/12492603040140355513*c_0101_3^11 - 37799618275573220899574441/12492603040140355513*c_0101_3^10 - 37103837096450462581545139/12492603040140355513*c_0101_3^9 + 23197646092488971820344866/12492603040140355513*c_0101_3^8 + 21537610740273546753085873/12492603040140355513*c_0101_3^7 - 8988023264246969372122302/12492603040140355513*c_0101_3^6 - 7373122298379439234042966/12492603040140355513*c_0101_3^5 + 2049242816656567439871263/12492603040140355513*c_0101_3^4 + 1305841169784019297454808/12492603040140355513*c_0101_3^3 - 260569718177953119962138/12492603040140355513*c_0101_3^2 - 89883351029299149427638/12492603040140355513*c_0101_3 + 15825708968930034161253/12492603040140355513, c_0011_4 + 2242941392174810930050/12492603040140355513*c_0101_3^25 + 9736319670837342614611/12492603040140355513*c_0101_3^24 - 17624486758181859238170/12492603040140355513*c_0101_3^23 - 113939387804446295460551/12492603040140355513*c_0101_3^22 + 28006341048054139890339/12492603040140355513*c_0101_3^21 + 633742430970662929838165/12492603040140355513*c_0101_3^20 + 196181597698998735190518/12492603040140355513*c_0101_3^19 - 2181642132548991326943141/12492603040140355513*c_0101_3^18 - 1239866467761068702881426/12492603040140355513*c_0101_3^17 + 5124963482638231857233848/12492603040140355513*c_0101_3^16 + 3692338600116756471427188/12492603040140355513*c_0101_3^15 - 8515847891072666571938076/12492603040140355513*c_0101_3^14 - 7076554654616447768556499/12492603040140355513*c_0101_3^13 + 10231619105304534717893205/12492603040140355513*c_0101_3^12 + 9142300618543492939374791/12492603040140355513*c_0101_3^11 - 9089394944493583063314259/12492603040140355513*c_0101_3^10 - 8113357085983811043585753/12492603040140355513*c_0101_3^9 + 5600126328978584141821925/12492603040140355513*c_0101_3^8 + 4656537707460651424917150/12492603040140355513*c_0101_3^7 - 2167343278354820652320100/12492603040140355513*c_0101_3^6 - 1566564765741938375054298/12492603040140355513*c_0101_3^5 + 486804419742708217480509/12492603040140355513*c_0101_3^4 + 270963363295182037779868/12492603040140355513*c_0101_3^3 - 59122035235774980413548/12492603040140355513*c_0101_3^2 - 18086968216095510401579/12492603040140355513*c_0101_3 + 3293116108621258287551/12492603040140355513, c_0011_6 - 5265528280845914266719/12492603040140355513*c_0101_3^25 - 23143473484832099910641/12492603040140355513*c_0101_3^24 + 40322864128917992903006/12492603040140355513*c_0101_3^23 + 270487631347902281166440/12492603040140355513*c_0101_3^22 - 52982076125775460903361/12492603040140355513*c_0101_3^21 - 1500245641831166676063043/12492603040140355513*c_0101_3^20 - 535649321726608352217779/12492603040140355513*c_0101_3^19 + 5147163204547482560292593/12492603040140355513*c_0101_3^18 + 3185654970719102522633594/12492603040140355513*c_0101_3^17 - 12051826781274417672505135/12492603040140355513*c_0101_3^16 - 9353408161912284052435862/12492603040140355513*c_0101_3^15 + 19950851005003131294449025/12492603040140355513*c_0101_3^14 + 17827893400830035587539884/12492603040140355513*c_0101_3^13 - 23851569623827108068604819/12492603040140355513*c_0101_3^12 - 23039157940637559569556515/12492603040140355513*c_0101_3^11 + 21086559635837269115219495/12492603040140355513*c_0101_3^10 + 20553143027096540031780352/12492603040140355513*c_0101_3^9 - 12952177858781168509646514/12492603040140355513*c_0101_3^8 - 11922553626526001604721178/12492603040140355513*c_0101_3^7 + 5022691898012814642440280/12492603040140355513*c_0101_3^6 + 4076549051338957934526364/12492603040140355513*c_0101_3^5 - 1145029891179414170824743/12492603040140355513*c_0101_3^4 - 720515209605869946849688/12492603040140355513*c_0101_3^3 + 145080198726593733095129/12492603040140355513*c_0101_3^2 + 49418609374347852325564/12492603040140355513*c_0101_3 - 8731259702026407831502/12492603040140355513, c_0101_0 + 2330424448001850622893/12492603040140355513*c_0101_3^25 + 10435030914732958541526/12492603040140355513*c_0101_3^24 - 17128711305562402247402/12492603040140355513*c_0101_3^23 - 121676298293257949235753/12492603040140355513*c_0101_3^22 + 14800453668995715638697/12492603040140355513*c_0101_3^21 + 671757612698951408924635/12492603040140355513*c_0101_3^20 + 287532283207979441493851/12492603040140355513*c_0101_3^19 - 2291956909687553929847389/12492603040140355513*c_0101_3^18 - 1593104377291678782258089/12492603040140355513*c_0101_3^17 + 5336816666273856926452941/12492603040140355513*c_0101_3^16 + 4592413548781614150576184/12492603040140355513*c_0101_3^15 - 8777596912951188411132877/12492603040140355513*c_0101_3^14 - 8685764224921254085180656/12492603040140355513*c_0101_3^13 + 10403478429537101477689574/12492603040140355513*c_0101_3^12 + 11218542224367429005719523/12492603040140355513*c_0101_3^11 - 9117498424255778092566169/12492603040140355513*c_0101_3^10 - 10062851452900295619624566/12492603040140355513*c_0101_3^9 + 5562546207631102213332526/12492603040140355513*c_0101_3^8 + 5904887114536855361764617/12492603040140355513*c_0101_3^7 - 2156509201687263167408983/12492603040140355513*c_0101_3^6 - 2053252202433887304170160/12492603040140355513*c_0101_3^5 + 500566569557213885061483/12492603040140355513*c_0101_3^4 + 370776506384069956780185/12492603040140355513*c_0101_3^3 - 67098438998431043033790/12492603040140355513*c_0101_3^2 - 26122234528030835712721/12492603040140355513*c_0101_3 + 4447890909465169466432/12492603040140355513, c_0101_1 - 7094449266903626329751/12492603040140355513*c_0101_3^25 - 31275942431159304759955/12492603040140355513*c_0101_3^24 + 53950722683375823776014/12492603040140355513*c_0101_3^23 + 365296574737861965754872/12492603040140355513*c_0101_3^22 - 66883626770274360890900/12492603040140355513*c_0101_3^21 - 2023952149713088596037201/12492603040140355513*c_0101_3^20 - 747436785427741786629754/12492603040140355513*c_0101_3^19 + 6935022176426218376239267/12492603040140355513*c_0101_3^18 + 4383656294228791760495061/12492603040140355513*c_0101_3^17 - 16215514309775517470333492/12492603040140355513*c_0101_3^16 - 12824502463933825142542811/12492603040140355513*c_0101_3^15 + 26798350362262491230813751/12492603040140355513*c_0101_3^14 + 24404250121858668065912135/12492603040140355513*c_0101_3^13 - 31966521865175635910402006/12492603040140355513*c_0101_3^12 - 31525966494232891157812643/12492603040140355513*c_0101_3^11 + 28190550831728256053132842/12492603040140355513*c_0101_3^10 + 28145144074895677498660627/12492603040140355513*c_0101_3^9 - 17267233445311188809069638/12492603040140355513*c_0101_3^8 - 16358716517180795425867898/12492603040140355513*c_0101_3^7 + 6677955117249443847847781/12492603040140355513*c_0101_3^6 + 5612175144085740815481828/12492603040140355513*c_0101_3^5 - 1522960930314574717078852/12492603040140355513*c_0101_3^4 - 997099478053018587326748/12492603040140355513*c_0101_3^3 + 195131250498449902468815/12492603040140355513*c_0101_3^2 + 68966161488134897706517/12492603040140355513*c_0101_3 - 12074451984296651427557/12492603040140355513, c_0101_3^26 + 5*c_0101_3^25 - 5*c_0101_3^24 - 56*c_0101_3^23 - 21*c_0101_3^22 + 291*c_0101_3^21 + 274*c_0101_3^20 - 916*c_0101_3^19 - 1196*c_0101_3^18 + 1923*c_0101_3^17 + 3160*c_0101_3^16 - 2715*c_0101_3^15 - 5676*c_0101_3^14 + 2483*c_0101_3^13 + 7113*c_0101_3^12 - 1360*c_0101_3^11 - 6323*c_0101_3^10 + 101*c_0101_3^9 + 3750*c_0101_3^8 + 414*c_0101_3^7 - 1350*c_0101_3^6 - 250*c_0101_3^5 + 268*c_0101_3^4 + 55*c_0101_3^3 - 26*c_0101_3^2 - 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB