Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 1478083713] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1733 geometric_solution 5.43621950 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -2 1 1 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 1 0 -1 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.999737457976 0.790982712405 0 4 2 5 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 -1 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.401988929744 0.464382111258 4 0 5 1 2310 0132 0132 1302 0 0 0 0 0 2 -1 -1 0 0 1 -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 0 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 0 0 0 0 0.401988929744 0.464382111258 0 3 3 0 3201 3201 2310 0132 0 0 0 0 0 1 0 -1 1 0 -1 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 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.290911618532 0.836542840028 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748018400840 0.710703118929 5 5 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 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 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.479303055330 0.547338621716 4 6 6 4 0132 3201 2310 1023 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 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 1.339846050571 0.397429094693 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_5'], '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_0'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 6695414592/299*c_0101_6^28 + 14695862960/299*c_0101_6^27 - 7419453836/23*c_0101_6^26 - 201304091892/299*c_0101_6^25 + 699676905331/299*c_0101_6^24 + 1398451589167/299*c_0101_6^23 - 236687165592/23*c_0101_6^22 - 6098011886145/299*c_0101_6^21 + 8654031799215/299*c_0101_6^20 + 17852956096906/299*c_0101_6^19 - 15299618072623/299*c_0101_6^18 - 35082326154431/299*c_0101_6^17 + 16388172295156/299*c_0101_6^16 + 46085804542423/299*c_0101_6^15 - 9714202447529/299*c_0101_6^14 - 40821254139125/299*c_0101_6^13 + 1755062150388/299*c_0101_6^12 + 24642682236104/299*c_0101_6^11 + 1722999647581/299*c_0101_6^10 - 10157422920309/299*c_0101_6^9 - 1513148191922/299*c_0101_6^8 + 216623366151/23*c_0101_6^7 + 581934913845/299*c_0101_6^6 - 21865396022/13*c_0101_6^5 - 125929353596/299*c_0101_6^4 + 52316257580/299*c_0101_6^3 + 14899719352/299*c_0101_6^2 - 2411183832/299*c_0101_6 - 753941808/299, c_0011_0 - 1, c_0011_3 - 107367120*c_0101_6^28 - 241568124*c_0101_6^27 + 1536714551*c_0101_6^26 + 3318216037*c_0101_6^25 - 11087637982*c_0101_6^24 - 23109307032*c_0101_6^23 + 48451080398*c_0101_6^22 + 100949871018*c_0101_6^21 - 134982824766*c_0101_6^20 - 295832156315*c_0101_6^19 + 234380073731*c_0101_6^18 + 581592199695*c_0101_6^17 - 241378508665*c_0101_6^16 - 764262058965*c_0101_6^15 + 127750111741*c_0101_6^14 + 677266675638*c_0101_6^13 - 3458707418*c_0101_6^12 - 409117801207*c_0101_6^11 - 42407088050*c_0101_6^10 + 168780913688*c_0101_6^9 + 30286708752*c_0101_6^8 - 46843754182*c_0101_6^7 - 10977839683*c_0101_6^6 + 8375719821*c_0101_6^5 + 2308447422*c_0101_6^4 - 872494027*c_0101_6^3 - 268437808*c_0101_6^2 + 40270045*c_0101_6 + 13422487, c_0011_5 + 576*c_0101_6^28 + 1504*c_0101_6^27 - 7800*c_0101_6^26 - 20825*c_0101_6^25 + 53414*c_0101_6^24 + 146086*c_0101_6^23 - 217873*c_0101_6^22 - 639784*c_0101_6^21 + 541084*c_0101_6^20 + 1867534*c_0101_6^19 - 721839*c_0101_6^18 - 3630204*c_0101_6^17 + 242423*c_0101_6^16 + 4680115*c_0101_6^15 + 698209*c_0101_6^14 - 4033507*c_0101_6^13 - 1208162*c_0101_6^12 + 2343205*c_0101_6^11 + 968897*c_0101_6^10 - 914405*c_0101_6^9 - 468455*c_0101_6^8 + 233484*c_0101_6^7 + 143832*c_0101_6^6 - 36387*c_0101_6^5 - 27572*c_0101_6^4 + 2898*c_0101_6^3 + 3022*c_0101_6^2 - 62*c_0101_6 - 145, c_0101_0 + 10054256*c_0101_6^28 + 23396132*c_0101_6^27 - 142508337*c_0101_6^26 - 322434156*c_0101_6^25 + 1019627748*c_0101_6^24 + 2252270988*c_0101_6^23 - 4410399950*c_0101_6^22 - 9858762235*c_0101_6^21 + 12096668653*c_0101_6^20 + 28916463462*c_0101_6^19 - 20370415420*c_0101_6^18 - 56850823500*c_0101_6^17 + 19513423434*c_0101_6^16 + 74681420796*c_0101_6^15 - 7910253578*c_0101_6^14 - 66153806132*c_0101_6^13 - 3257446679*c_0101_6^12 + 39949323659*c_0101_6^11 + 6124036720*c_0101_6^10 - 16478616739*c_0101_6^9 - 3717752378*c_0101_6^8 + 4573695687*c_0101_6^7 + 1270190102*c_0101_6^6 - 817974848*c_0101_6^5 - 258905061*c_0101_6^4 + 85243824*c_0101_6^3 + 29516755*c_0101_6^2 - 3936743*c_0101_6 - 1455129, c_0101_1 - 20279344*c_0101_6^28 - 44036292*c_0101_6^27 + 292993849*c_0101_6^26 + 602536675*c_0101_6^25 - 2130619976*c_0101_6^24 - 4181531789*c_0101_6^23 + 9397027208*c_0101_6^22 + 18220958346*c_0101_6^21 - 26544055365*c_0101_6^20 - 53328242769*c_0101_6^19 + 47304997957*c_0101_6^18 + 104790763711*c_0101_6^17 - 51527793161*c_0101_6^16 - 137671694448*c_0101_6^15 + 31904060297*c_0101_6^14 + 121959494211*c_0101_6^13 - 7510551111*c_0101_6^12 - 73630300641*c_0101_6^11 - 3897691201*c_0101_6^10 + 30350856200*c_0101_6^9 + 4041257991*c_0101_6^8 - 8414570805*c_0101_6^7 - 1613429205*c_0101_6^6 + 1502593525*c_0101_6^5 + 355031639*c_0101_6^4 - 156294695*c_0101_6^3 - 42416053*c_0101_6^2 + 7202264*c_0101_6 + 2160341, c_0101_4 - 16*c_0101_6^28 - 44*c_0101_6^27 + 211*c_0101_6^26 + 609*c_0101_6^25 - 1405*c_0101_6^24 - 4270*c_0101_6^23 + 5498*c_0101_6^22 + 18654*c_0101_6^21 - 12592*c_0101_6^20 - 54143*c_0101_6^19 + 12881*c_0101_6^18 + 104132*c_0101_6^17 + 7371*c_0101_6^16 - 131872*c_0101_6^15 - 37915*c_0101_6^14 + 110439*c_0101_6^13 + 49952*c_0101_6^12 - 61219*c_0101_6^11 - 36804*c_0101_6^10 + 21989*c_0101_6^9 + 17089*c_0101_6^8 - 4723*c_0101_6^7 - 5126*c_0101_6^6 + 430*c_0101_6^5 + 968*c_0101_6^4 + 42*c_0101_6^3 - 105*c_0101_6^2 - 13*c_0101_6 + 5, c_0101_6^29 + 11/4*c_0101_6^28 - 211/16*c_0101_6^27 - 609/16*c_0101_6^26 + 1405/16*c_0101_6^25 + 2135/8*c_0101_6^24 - 2749/8*c_0101_6^23 - 9327/8*c_0101_6^22 + 787*c_0101_6^21 + 54143/16*c_0101_6^20 - 12881/16*c_0101_6^19 - 26033/4*c_0101_6^18 - 7371/16*c_0101_6^17 + 8242*c_0101_6^16 + 37915/16*c_0101_6^15 - 110439/16*c_0101_6^14 - 3122*c_0101_6^13 + 61219/16*c_0101_6^12 + 9201/4*c_0101_6^11 - 21989/16*c_0101_6^10 - 17089/16*c_0101_6^9 + 4723/16*c_0101_6^8 + 2563/8*c_0101_6^7 - 215/8*c_0101_6^6 - 121/2*c_0101_6^5 - 21/8*c_0101_6^4 + 105/16*c_0101_6^3 + 7/8*c_0101_6^2 - 5/16*c_0101_6 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB