Magma V2.19-8 Wed Aug 21 2013 00:55:18 on localhost [Seed = 2395510011] Type ? for help. Type -D to quit. Loading file "L13a4217__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4217 geometric_solution 10.96282222 oriented_manifold CS_known 0.0000000000000009 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 3120 0132 0132 1 1 1 1 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 -1 1 -1 0 0 1 0 0 0 0 -1 4 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.006258026819 0.989072440144 0 0 4 3 0132 3120 0132 3201 1 1 1 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 0 0 0 0 0 -4 4 0 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.006258026819 0.989072440144 5 6 7 0 0132 0132 0132 0132 1 1 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 0 0 0 -1 0 1 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353434724078 1.364461756010 5 1 0 8 2103 2310 0132 0132 1 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 0 0 0 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 0 0.195612094833 0.394392114765 8 9 10 1 1302 0132 0132 0132 1 1 1 0 0 1 0 -1 -1 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 0 4 0 -4 -4 0 3 1 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.341133113313 1.476542777854 2 10 3 9 0132 1230 2103 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.101243420547 0.498787021559 10 2 10 11 1230 0132 3201 0132 1 0 1 1 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 0 -1 0 0 1 -1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.031401698160 1.180248958071 12 12 11 2 0132 3201 2310 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662012071455 0.947642667639 9 4 3 11 3120 2031 0132 2310 1 1 0 1 0 0 0 0 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 0 0 1 0 -1 0 -2 1 0 1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.280369903072 1.102248229228 11 4 5 8 3012 0132 0132 3120 1 1 0 1 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 -4 0 4 1 0 0 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481509265560 0.986929930776 6 6 5 4 2310 3012 3012 0132 1 1 0 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 0 0 0 0 0 0 0 3 0 0 -3 -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.419819002886 0.480405395511 8 7 6 9 3201 3201 0132 1230 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 0 0 0 0 0 0 0 0 0 1 -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.685458409792 0.475578530975 7 12 7 12 0132 2310 2310 3201 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.824766520974 0.429916359116 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : d['c_0011_2'], 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_12' : negation(d['c_0101_7']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_8']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_2, c_0011_3, c_0011_4, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_7, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 146293771794602105831/657859170827567104*c_0101_8^20 - 3216301909354008452291/657859170827567104*c_0101_8^19 - 32413703614316096753567/657859170827567104*c_0101_8^18 - 9026307918416735594689/29902689583071232*c_0101_8^17 - 828068366126479596496283/657859170827567104*c_0101_8^16 - 312417667011220742981485/82232396353445888*c_0101_8^15 - 711040531220401064559445/82232396353445888*c_0101_8^14 - 2522531045019985049758553/164464792706891776*c_0101_8^13 - 1797586452473033102708921/82232396353445888*c_0101_8^12 - 16913231915037711290842947/657859170827567104*c_0101_8^11 - 1517878217076737363456273/59805379166142464*c_0101_8^10 - 6951160021715887812183385/328929585413783552*c_0101_8^9 - 9765751531576836062815653/657859170827567104*c_0101_8^8 - 131617219636069498646489/14951344791535616*c_0101_8^7 - 713938515483891662751417/164464792706891776*c_0101_8^6 - 70430613353881406582291/41116198176722944*c_0101_8^5 - 345872949879515585062065/657859170827567104*c_0101_8^4 - 73862373025395191905431/657859170827567104*c_0101_8^3 - 6942164929369650990399/657859170827567104*c_0101_8^2 - 133409574941099440317/328929585413783552*c_0101_8 - 246368633240135560631/657859170827567104, c_0011_0 - 1, c_0011_10 - 10304055/81676267*c_0101_8^20 - 225305133/81676267*c_0101_8^19 - 2257745937/81676267*c_0101_8^18 - 13754921962/81676267*c_0101_8^17 - 57076624743/81676267*c_0101_8^16 - 171692660866/81676267*c_0101_8^15 - 13466254449/2816423*c_0101_8^14 - 695151123902/81676267*c_0101_8^13 - 999099145336/81676267*c_0101_8^12 - 1190041280395/81676267*c_0101_8^11 - 1193247919148/81676267*c_0101_8^10 - 1012337962675/81676267*c_0101_8^9 - 728641249681/81676267*c_0101_8^8 - 445590619233/81676267*c_0101_8^7 - 228374505862/81676267*c_0101_8^6 - 96178008557/81676267*c_0101_8^5 - 33200835802/81676267*c_0101_8^4 - 8587006069/81676267*c_0101_8^3 - 1746203128/81676267*c_0101_8^2 - 399104791/81676267*c_0101_8 - 113988083/81676267, c_0011_11 + 1717681/2816423*c_0101_8^20 + 34424269/2816423*c_0101_8^19 + 314882506/2816423*c_0101_8^18 + 1745192676/2816423*c_0101_8^17 + 6577464310/2816423*c_0101_8^16 + 18001532834/2816423*c_0101_8^15 + 37503807926/2816423*c_0101_8^14 + 61902528640/2816423*c_0101_8^13 + 83763383769/2816423*c_0101_8^12 + 95163910023/2816423*c_0101_8^11 + 91825498980/2816423*c_0101_8^10 + 75696772620/2816423*c_0101_8^9 + 53585537306/2816423*c_0101_8^8 + 32459262338/2816423*c_0101_8^7 + 16628979376/2816423*c_0101_8^6 + 7143850144/2816423*c_0101_8^5 + 2470595607/2816423*c_0101_8^4 + 671400735/2816423*c_0101_8^3 + 125137836/2816423*c_0101_8^2 + 15679708/2816423*c_0101_8 + 2072946/2816423, c_0011_12 - 1682897/2816423*c_0101_8^20 - 30119749/2816423*c_0101_8^19 - 238126961/2816423*c_0101_8^18 - 1087386674/2816423*c_0101_8^17 - 3136511965/2816423*c_0101_8^16 - 5806316760/2816423*c_0101_8^15 - 6374893646/2816423*c_0101_8^14 - 1986190440/2816423*c_0101_8^13 + 6943927738/2816423*c_0101_8^12 + 17067471699/2816423*c_0101_8^11 + 24519489510/2816423*c_0101_8^10 + 26052559768/2816423*c_0101_8^9 + 21779467386/2816423*c_0101_8^8 + 15286836754/2816423*c_0101_8^7 + 8911366868/2816423*c_0101_8^6 + 4072898012/2816423*c_0101_8^5 + 1659021306/2816423*c_0101_8^4 + 451604801/2816423*c_0101_8^3 + 96062188/2816423*c_0101_8^2 + 12369196/2816423*c_0101_8 + 1926448/2816423, c_0011_2 + 1365650/2816423*c_0101_8^20 + 26769826/2816423*c_0101_8^19 + 237337114/2816423*c_0101_8^18 + 1258298764/2816423*c_0101_8^17 + 4450966775/2816423*c_0101_8^16 + 11127947592/2816423*c_0101_8^15 + 20416972125/2816423*c_0101_8^14 + 28357789036/2816423*c_0101_8^13 + 30655647209/2816423*c_0101_8^12 + 26081686358/2816423*c_0101_8^11 + 16775765986/2816423*c_0101_8^10 + 6892384684/2816423*c_0101_8^9 + 264481807/2816423*c_0101_8^8 - 2388598964/2816423*c_0101_8^7 - 2546439222/2816423*c_0101_8^6 - 1591727852/2816423*c_0101_8^5 - 693483220/2816423*c_0101_8^4 - 227423750/2816423*c_0101_8^3 - 38712572/2816423*c_0101_8^2 - 7869872/2816423*c_0101_8 + 214937/2816423, c_0011_3 - 1717681/2816423*c_0101_8^20 - 34424269/2816423*c_0101_8^19 - 314882506/2816423*c_0101_8^18 - 1745192676/2816423*c_0101_8^17 - 6577464310/2816423*c_0101_8^16 - 18001532834/2816423*c_0101_8^15 - 37503807926/2816423*c_0101_8^14 - 61902528640/2816423*c_0101_8^13 - 83763383769/2816423*c_0101_8^12 - 95163910023/2816423*c_0101_8^11 - 91825498980/2816423*c_0101_8^10 - 75696772620/2816423*c_0101_8^9 - 53585537306/2816423*c_0101_8^8 - 32459262338/2816423*c_0101_8^7 - 16628979376/2816423*c_0101_8^6 - 7143850144/2816423*c_0101_8^5 - 2470595607/2816423*c_0101_8^4 - 671400735/2816423*c_0101_8^3 - 125137836/2816423*c_0101_8^2 - 15679708/2816423*c_0101_8 - 2072946/2816423, c_0011_4 - 1, c_0011_8 + 26080013/81676267*c_0101_8^20 + 553912076/81676267*c_0101_8^19 + 5382494631/81676267*c_0101_8^18 + 31729986476/81676267*c_0101_8^17 + 127057600458/81676267*c_0101_8^16 + 367614468683/81676267*c_0101_8^15 + 27626165591/2816423*c_0101_8^14 + 1360851328460/81676267*c_0101_8^1\ 3 + 1859141342559/81676267*c_0101_8^12 + 2097400429501/81676267*c_0101_8^11 + 1983421792880/81676267*c_0101_8^10 + 1577242429060/81676267*c_0101_8^9 + 1056211143009/81676267*c_0101_8^8 + 596261490558/81676267*c_0101_8^7 + 278257215867/81676267*c_0101_8^6 + 103926675269/81676267*c_0101_8^5 + 30573281499/81676267*c_0101_8^4 + 5821195933/81676267*c_0101_8^3 + 609740462/81676267*c_0101_8^2 + 14216674/81676267*c_0101_8 - 73421033/81676267, c_0101_0 + 2217234/2816423*c_0101_8^20 + 44844233/2816423*c_0101_8^19 + 412957446/2816423*c_0101_8^18 + 2294249990/2816423*c_0101_8^17 + 8605442836/2816423*c_0101_8^16 + 23177458288/2816423*c_0101_8^15 + 46765378254/2816423*c_0101_8^14 + 73287461860/2816423*c_0101_8^13 + 92253873220/2816423*c_0101_8^12 + 95720290349/2816423*c_0101_8^11 + 82638220336/2816423*c_0101_8^10 + 59168444498/2816423*c_0101_8^9 + 35101289620/2816423*c_0101_8^8 + 17081886576/2816423*c_0101_8^7 + 6404099374/2816423*c_0101_8^6 + 1684645882/2816423*c_0101_8^5 + 233339332/2816423*c_0101_8^4 - 60992011/2816423*c_0101_8^3 - 20624480/2816423*c_0101_8^2 - 303358/2816423*c_0101_8 + 144288/2816423, c_0101_10 + c_0101_8, c_0101_12 - 2440905/2816423*c_0101_8^20 - 50696241/2816423*c_0101_8^19 - 480687507/2816423*c_0101_8^18 - 2758692194/2816423*c_0101_8^17 - 10731831035/2816423*c_0101_8^16 - 30122996246/2816423*c_0101_8^15 - 63699438010/2816423*c_0101_8^14 - 105281064952/2816423*c_0101_8^13 - 140754938878/2816423*c_0101_8^12 - 156533276575/2816423*c_0101_8^11 - 146930709713/2816423*c_0101_8^10 - 116878436912/2816423*c_0101_8^9 - 79238862059/2816423*c_0101_8^8 - 45941118572/2816423*c_0101_8^7 - 22366027904/2816423*c_0101_8^6 - 9000546056/2816423*c_0101_8^5 - 2980543983/2816423*c_0101_8^4 - 728273094/2816423*c_0101_8^3 - 136981717/2816423*c_0101_8^2 - 14855902/2816423*c_0101_8 - 3581309/2816423, c_0101_7 - 375518/2816423*c_0101_8^20 - 8448642/2816423*c_0101_8^19 - 85413516/2816423*c_0101_8^18 - 513991332/2816423*c_0101_8^17 - 2057545808/2816423*c_0101_8^16 - 5814561234/2816423*c_0101_8^15 - 12076422805/2816423*c_0101_8^14 - 19120338958/2816423*c_0101_8^13 - 24031154429/2816423*c_0101_8^12 - 24920408046/2816423*c_0101_8^11 - 21702617412/2816423*c_0101_8^10 - 15814516310/2816423*c_0101_8^9 - 9782636125/2816423*c_0101_8^8 - 5278350106/2816423*c_0101_8^7 - 2334001806/2816423*c_0101_8^6 - 834403060/2816423*c_0101_8^5 - 300588812/2816423*c_0101_8^4 - 54692500/2816423*c_0101_8^3 - 17921548/2816423*c_0101_8^2 - 2042636/2816423*c_0101_8 - 2051537/2816423, c_0101_8^21 + 22*c_0101_8^20 + 222*c_0101_8^19 + 1363*c_0101_8^18 + 5703*c_0101_8^17 + 17301*c_0101_8^16 + 39664*c_0101_8^15 + 71060*c_0101_8^14 + 102580*c_0101_8^13 + 122557*c_0101_8^12 + 123362*c_0101_8^11 + 105371*c_0101_8^10 + 76657*c_0101_8^9 + 47703*c_0101_8^8 + 25232*c_0101_8^7 + 11148*c_0101_8^6 + 4087*c_0101_8^5 + 1192*c_0101_8^4 + 266*c_0101_8^3 + 47*c_0101_8^2 + 7*c_0101_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.370 seconds, Total memory usage: 32.09MB