Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 189437745] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0095 geometric_solution 3.63107969 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 1023 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 0 1 -1 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.263885259184 0.188159182372 0 3 4 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 -1 0 0 1 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.769638643323 0.972753323501 0 0 5 5 2310 0132 2310 0132 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.928392817039 0.261280666795 4 1 6 6 2310 0132 0132 2310 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 -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.198440901858 0.406410014696 6 6 3 1 1023 3201 3201 0132 0 0 0 0 0 0 0 0 1 0 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 -1 0 1 -1 0 1 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.198440901858 0.406410014696 5 2 2 5 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.372228537200 0.039550823598 3 4 4 3 3201 1023 2310 0132 0 0 0 0 0 -1 1 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 1 -1 0 -1 0 1 0 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.970143961542 1.986869732882 ==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' : negation(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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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_0011_5'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3965998211509637/6720782393*c_0101_3^22 - 24971642189590/231751117*c_0101_3^21 - 136347823395678/6720782393*c_0101_3^20 - 27428188630163479/6720782393*c_0101_3^19 - 2874607489941664/6720782393*c_0101_3^18 - 184880051228917230/6720782393*c_0101_3^17 - 19489153117579921/6720782393*c_0101_3^16 - 563399280815381768/6720782393*c_0101_3^15 - 112348410437813295/13441564786*c_0101_3^14 - 1852780341515346511/13441564786*c_0101_3^13 - 85392052677385983/6720782393*c_0101_3^12 - 900363150540273697/6720782393*c_0101_3^11 - 74513516120721375/6720782393*c_0101_3^10 - 18612282179706828/231751117*c_0101_3^9 - 1336885025118797/231751117*c_0101_3^8 - 201207966126630551/6720782393*c_0101_3^7 - 24097099908972707/13441564786*c_0101_3^6 - 90619835750002797/13441564786*c_0101_3^5 - 2153667373355873/6720782393*c_0101_3^4 - 5629836148058206/6720782393*c_0101_3^3 - 398148378943329/13441564786*c_0101_3^2 - 591601914884197/13441564786*c_0101_3 - 14080576335219/13441564786, c_0011_0 - 1, c_0011_4 + 23323391798346087/76139155439*c_0101_3^22 - 7173539365384744/76139155439*c_0101_3^21 + 1063716875155467/76139155439*c_0101_3^20 - 160842950319963091/76139155439*c_0101_3^19 + 2717552640192642/76139155439*c_0101_3^18 - 1094514502773652424/76139155439*c_0101_3^17 + 16313122950150661/76139155439*c_0101_3^16 - 3358847812977006097/76139155439*c_0101_3^15 + 50777938333334572/76139155439*c_0101_3^14 - 5582036806747642566/76139155439*c_0101_3^13 + 85294262812416053/76139155439*c_0101_3^12 - 5502584225190856945/76139155439*c_0101_3^11 + 85354901713791905/76139155439*c_0101_3^10 - 3359294166103932826/76139155439*c_0101_3^9 + 53095125248207965/76139155439*c_0101_3^8 - 1280955316815656665/76139155439*c_0101_3^7 + 20718673926941837/76139155439*c_0101_3^6 - 296521866256255143/76139155439*c_0101_3^5 + 4930785388384764/76139155439*c_0101_3^4 - 38069920840571908/76139155439*c_0101_3^3 + 654525752794481/76139155439*c_0101_3^2 - 2077429170191359/76139155439*c_0101_3 + 37164234005133/76139155439, c_0011_5 + 18946315299217220/76139155439*c_0101_3^22 + 2729118855707320/76139155439*c_0101_3^21 - 1560106996727342/76139155439*c_0101_3^20 - 129894348130902514/76139155439*c_0101_3^19 - 56956608178649352/76139155439*c_0101_3^18 - 889619071266860195/76139155439*c_0101_3^17 - 391221312284707016/76139155439*c_0101_3^16 - 2731957738020996799/76139155439*c_0101_3^15 - 1210618169372975261/76139155439*c_0101_3^14 - 4544022449165413577/76139155439*c_0101_3^13 - 2036187629090330006/76139155439*c_0101_3^12 - 4483511075251701740/76139155439*c_0101_3^11 - 2039000179474632844/76139155439*c_0101_3^10 - 2739554559778444556/76139155439*c_0101_3^9 - 1269558678256830250/76139155439*c_0101_3^8 - 1045300610260196165/76139155439*c_0101_3^7 - 495818427048708490/76139155439*c_0101_3^6 - 242011243554516775/76139155439*c_0101_3^5 - 118073193714274544/76139155439*c_0101_3^4 - 31054268295772335/76139155439*c_0101_3^3 - 15666324159971866/76139155439*c_0101_3^2 - 1692030995638658/76139155439*c_0101_3 - 887552732267281/76139155439, c_0101_0 - 3642237725008338/76139155439*c_0101_3^22 - 37461791583590129/76139155439*c_0101_3^21 + 10950949041710239/76139155439*c_0101_3^20 + 23405104536702506/76139155439*c_0101_3^19 + 265679602645020859/76139155439*c_0101_3^18 + 171640225120044590/76139155439*c_0101_3^17 + 1809178407089837912/76139155439*c_0101_3^16 + 532594654755599528/76139155439*c_0101_3^15 + 5556046581453730547/76139155439*c_0101_3^14 + 894990314137578870/76139155439*c_0101_3^13 + 9242868280516855731/76139155439*c_0101_3^12 + 895630409493181526/76139155439*c_0101_3^11 + 9123058153158902528/76139155439*c_0101_3^10 + 557198355652752879/76139155439*c_0101_3^9 + 5578240572800841315/76139155439*c_0101_3^8 + 217446712867211659/76139155439*c_0101_3^7 + 2130910663926461328/76139155439*c_0101_3^6 + 51755877866720651/76139155439*c_0101_3^5 + 494270204689982309/76139155439*c_0101_3^4 + 6868381895219525/76139155439*c_0101_3^3 + 63598417802786431/76139155439*c_0101_3^2 + 389643075939953/76139155439*c_0101_3 + 3478662563255272/76139155439, c_0101_1 - 1523733594210453/76139155439*c_0101_3^22 - 22877420990284491/76139155439*c_0101_3^21 + 6690404323318015/76139155439*c_0101_3^20 + 9565254050312571/76139155439*c_0101_3^19 + 160805786085957958/76139155439*c_0101_3^18 + 71685243838083624/76139155439*c_0101_3^17 + 1094514502773652424/76139155439*c_0101_3^16 + 222838722872880194/76139155439*c_0101_3^15 + 3358847812977006097/76139155439*c_0101_3^14 + 374380898685386948/76139155439*c_0101_3^13 + 5582036806747642566/76139155439*c_0101_3^12 + 374650297235109955/76139155439*c_0101_3^11 + 5502584225190856945/76139155439*c_0101_3^10 + 233068255242187639/76139155439*c_0101_3^9 + 3359294166103932826/76139155439*c_0101_3^8 + 90953445755687543/76139155439*c_0101_3^7 + 1280955316815656665/76139155439*c_0101_3^6 + 21648552838909783/76139155439*c_0101_3^5 + 296521866256255143/76139155439*c_0101_3^4 + 2873703752693166/76139155439*c_0101_3^3 + 38069920840571908/76139155439*c_0101_3^2 + 163163534473884/76139155439*c_0101_3 + 2077429170191359/76139155439, c_0101_2 + 7167157069310944/76139155439*c_0101_3^22 + 40148444024721967/76139155439*c_0101_3^21 - 11728526090113720/76139155439*c_0101_3^20 - 47301634856380568/76139155439*c_0101_3^19 - 291391909597357924/76139155439*c_0101_3^18 - 338215976853655324/76139155439*c_0101_3^17 - 1985731532038705437/76139155439*c_0101_3^16 - 1047684936169473715/76139155439*c_0101_3^15 - 6105074211573370217/76139155439*c_0101_3^14 - 1760560607036918104/76139155439*c_0101_3^13 - 10172079774405227105/76139155439*c_0101_3^12 - 1761321277473806451/76139155439*c_0101_3^11 - 10060359070821728540/76139155439*c_0101_3^10 - 1095366498612642381/76139155439*c_0101_3^9 - 6166347377106652512/76139155439*c_0101_3^8 - 427211335200394088/76139155439*c_0101_3^7 - 2362278877708013636/76139155439*c_0101_3^6 - 101586085131983676/76139155439*c_0101_3^5 - 549702382548328991/76139155439*c_0101_3^4 - 13458700537537263/76139155439*c_0101_3^3 - 70982177147480041/76139155439*c_0101_3^2 - 761316089105651/76139155439*c_0101_3 - 3897404292127650/76139155439, c_0101_3^23 - 12/41*c_0101_3^22 + 13/41*c_0101_3^21 - 286/41*c_0101_3^20 + 1/41*c_0101_3^19 - 2002/41*c_0101_3^18 - 6435/41*c_0101_3^16 - 11440/41*c_0101_3^14 - 12376/41*c_0101_3^12 - 8568/41*c_0101_3^10 - 3876/41*c_0101_3^8 - 1140/41*c_0101_3^6 - 210/41*c_0101_3^4 - 22/41*c_0101_3^2 - 1/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB