Magma V2.19-8 Wed Aug 21 2013 00:38:59 on localhost [Seed = 3069223151] Type ? for help. Type -D to quit. Loading file "K14n2551__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2551 geometric_solution 11.41227887 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880207257097 0.806207297112 0 4 6 5 0132 0132 0132 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493654464305 0.484488912478 7 0 8 8 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0.533977549047 0.999565846050 5 0 9 0 0132 1302 0132 0132 0 0 0 0 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 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.382195816135 0.565864729247 10 1 11 12 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 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.217846297732 1.012508091758 3 7 1 11 0132 0213 0132 3120 0 0 0 0 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 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.397373714689 1.472454534830 9 12 10 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.031834147819 1.012676356199 2 10 5 12 0132 0132 0213 1230 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 0 1 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.247296509351 0.653716169802 2 9 2 9 2310 1230 0132 0321 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 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.415784908072 0.778318103736 6 8 8 3 0132 0321 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383144846844 0.821802688287 4 7 11 6 0132 0132 3120 0132 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 0 0 0 1 0 -1 -1 0 0 1 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.203095540650 0.943949382888 5 12 10 4 3120 0321 3120 0132 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 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.646697098171 1.327373203416 7 6 4 11 3012 0132 0132 0321 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 0 -1 -1 0 1 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.374901821922 0.265990275620 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_4'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_4'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_10'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_0']), 'c_1100_8' : negation(d['c_0011_8']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0011_8']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_12']), '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_0011_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_12'], 'c_0110_6' : d['c_0101_1'], 's_2_9' : negation(d['1'])})} 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_11, c_0011_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_1001_0, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1374165302499679343/683966477104624*c_1001_4^27 + 56016147153284133633/1367932954209248*c_1001_4^26 - 545244821072827400131/1367932954209248*c_1001_4^25 + 3402941478124868396033/1367932954209248*c_1001_4^24 - 15440320230532120970159/1367932954209248*c_1001_4^23 + 54740593925028526345967/1367932954209248*c_1001_4^22 - 158917509775089188922605/1367932954209248*c_1001_4^21 + 390069207981919437380075/1367932954209248*c_1001_4^20 - 827782436452194396618591/1367932954209248*c_1001_4^19 + 385791495907364473985385/341983238552312*c_1001_4^18 - 639155806137961152404935/341983238552312*c_1001_4^17 + 118630727158891466244452/42747904819039*c_1001_4^16 - 635302415542931189233557/170991619276156*c_1001_4^15 + 1540152845341498452859497/341983238552312*c_1001_4^14 - 1694469151878317792378081/341983238552312*c_1001_4^13 + 1693791380047564834832015/341983238552312*c_1001_4^12 - 219667776931106925928627/48854748364616*c_1001_4^11 + 632704677225059494180205/170991619276156*c_1001_4^10 - 235151053731804853992399/85495809638078*c_1001_4^9 + 314004855558447585813765/170991619276156*c_1001_4^8 - 186789701868001075394029/170991619276156*c_1001_4^7 + 97843013532562193705057/170991619276156*c_1001_4^6 - 44372268790096568892743/170991619276156*c_1001_4^5 + 9711264270203194187771/97709496729232*c_1001_4^4 - 6041675841080075068427/195418993458464*c_1001_4^3 + 4996891217317187568727/683966477104624*c_1001_4^2 - 199164055255699490847/170991619276156*c_1001_4 + 16235119317617752437/170991619276156, c_0011_0 - 1, c_0011_11 + c_1001_4^2 - c_1001_4 + 1, c_0011_12 - c_1001_4^3 + 2*c_1001_4^2 - c_1001_4 + 1, c_0011_3 + 535797/466249*c_1001_4^27 - 21786561/932498*c_1001_4^26 + 422814591/1864996*c_1001_4^25 - 2628889239/1864996*c_1001_4^24 + 11874495201/1864996*c_1001_4^23 - 41877113823/1864996*c_1001_4^22 + 120839700475/1864996*c_1001_4^21 - 294585859341/1864996*c_1001_4^20 + 620411240783/1864996*c_1001_4^19 - 1146903840395/1864996*c_1001_4^18 + 941353959429/932498*c_1001_4^17 - 691900585262/466249*c_1001_4^16 + 916274322953/466249*c_1001_4^15 - 1097555068483/466249*c_1001_4^14 + 1192042422694/466249*c_1001_4^13 - 1174910279724/466249*c_1001_4^12 + 150041798586/66607*c_1001_4^11 - 849743962324/466249*c_1001_4^10 + 619783116009/466249*c_1001_4^9 - 405076701201/466249*c_1001_4^8 + 235160428312/466249*c_1001_4^7 - 119724347566/466249*c_1001_4^6 + 52474827246/466249*c_1001_4^5 - 2752027723/66607*c_1001_4^4 + 1619666527/133214*c_1001_4^3 - 4952429155/1864996*c_1001_4^2 + 174919312/466249*c_1001_4 - 11715062/466249, c_0011_8 + 7745963/7459984*c_1001_4^27 - 158143049/7459984*c_1001_4^26 + 1542178451/7459984*c_1001_4^25 - 9643651057/7459984*c_1001_4^24 + 43838799549/7459984*c_1001_4^23 - 155674370303/7459984*c_1001_4^22 + 452483602177/7459984*c_1001_4^21 - 1111408665379/7459984*c_1001_4^20 + 589738038717/1864996*c_1001_4^19 - 1099024120091/1864996*c_1001_4^18 + 454831714651/466249*c_1001_4^17 - 674525567809/466249*c_1001_4^16 + 3606536565907/1864996*c_1001_4^15 - 4363333810399/1864996*c_1001_4^14 + 4790215024873/1864996*c_1001_4^13 - 4777170536709/1864996*c_1001_4^12 + 309027626599/133214*c_1001_4^11 - 887952073206/466249*c_1001_4^10 + 1317126478197/932498*c_1001_4^9 - 877796196073/932498*c_1001_4^8 + 521597314683/932498*c_1001_4^7 - 273269943951/932498*c_1001_4^6 + 124227115225/932498*c_1001_4^5 - 54709303403/1065712*c_1001_4^4 + 8617877049/532856*c_1001_4^3 - 3657057893/932498*c_1001_4^2 + 612033063/932498*c_1001_4 - 26983605/466249, c_0101_0 + c_1001_4^3 - 2*c_1001_4^2 + c_1001_4 - 1, c_0101_1 - 535797/466249*c_1001_4^27 + 21786561/932498*c_1001_4^26 - 422814591/1864996*c_1001_4^25 + 2628889239/1864996*c_1001_4^24 - 11874495201/1864996*c_1001_4^23 + 41877113823/1864996*c_1001_4^22 - 120839700475/1864996*c_1001_4^21 + 294585859341/1864996*c_1001_4^20 - 620411240783/1864996*c_1001_4^19 + 1146903840395/1864996*c_1001_4^18 - 941353959429/932498*c_1001_4^17 + 691900585262/466249*c_1001_4^16 - 916274322953/466249*c_1001_4^15 + 1097555068483/466249*c_1001_4^14 - 1192042422694/466249*c_1001_4^13 + 1174910279724/466249*c_1001_4^12 - 150041798586/66607*c_1001_4^11 + 849743962324/466249*c_1001_4^10 - 619783116009/466249*c_1001_4^9 + 405076701201/466249*c_1001_4^8 - 235160428312/466249*c_1001_4^7 + 119724347566/466249*c_1001_4^6 - 52474827246/466249*c_1001_4^5 + 2752027723/66607*c_1001_4^4 - 1619666527/133214*c_1001_4^3 + 4952429155/1864996*c_1001_4^2 - 174919312/466249*c_1001_4 + 11715062/466249, c_0101_10 + 5976953/7459984*c_1001_4^27 - 121986231/7459984*c_1001_4^26 + 1189651301/7459984*c_1001_4^25 - 7443130031/7459984*c_1001_4^24 + 33873501547/7459984*c_1001_4^23 - 120510717857/7459984*c_1001_4^22 + 351229224767/7459984*c_1001_4^21 - 865848266893/7459984*c_1001_4^20 + 115386095893/466249*c_1001_4^19 - 864861228097/1864996*c_1001_4^18 + 720431110897/932498*c_1001_4^17 - 538093315073/466249*c_1001_4^16 + 2900392424005/1864996*c_1001_4^15 - 3540266788357/1864996*c_1001_4^14 + 3924202379315/1864996*c_1001_4^13 - 3954157549739/1864996*c_1001_4^12 + 258612948269/133214*c_1001_4^11 - 751732233447/466249*c_1001_4^10 + 1128556368465/932498*c_1001_4^9 - 761435085135/932498*c_1001_4^8 + 458054854129/932498*c_1001_4^7 - 242830242065/932498*c_1001_4^6 + 111544843727/932498*c_1001_4^5 - 49495502489/1065712*c_1001_4^4 + 7809089437/532856*c_1001_4^3 - 3276537877/932498*c_1001_4^2 + 264304562/466249*c_1001_4 - 21681745/466249, c_0101_11 - 2447171/7459984*c_1001_4^27 + 50500449/7459984*c_1001_4^26 - 498148299/7459984*c_1001_4^25 + 3153786673/7459984*c_1001_4^24 - 14529496157/7459984*c_1001_4^23 + 52343127567/7459984*c_1001_4^22 - 154500764273/7459984*c_1001_4^21 + 385735924051/7459984*c_1001_4^20 - 208225290523/1864996*c_1001_4^19 + 395070884381/1864996*c_1001_4^18 - 333148845087/932498*c_1001_4^17 + 251823732753/466249*c_1001_4^16 - 1373189265607/1864996*c_1001_4^15 + 1694910459819/1864996*c_1001_4^14 - 1898699369345/1864996*c_1001_4^13 + 1932232207573/1864996*c_1001_4^12 - 127527808697/133214*c_1001_4^11 + 373716880941/466249*c_1001_4^10 - 564954766077/932498*c_1001_4^9 + 383272375893/932498*c_1001_4^8 - 231413368903/932498*c_1001_4^7 + 122845857431/932498*c_1001_4^6 - 56336039225/932498*c_1001_4^5 + 24852925955/1065712*c_1001_4^4 - 3875213881/532856*c_1001_4^3 + 1593674391/932498*c_1001_4^2 - 124608576/466249*c_1001_4 + 9727839/466249, c_0101_3 - 1, c_1001_0 - 782813/932498*c_1001_4^27 + 63007005/3729992*c_1001_4^26 - 605442393/3729992*c_1001_4^25 + 3731974019/3729992*c_1001_4^24 - 16740771217/3729992*c_1001_4^23 + 58760772489/3729992*c_1001_4^22 - 169173026551/3729992*c_1001_4^21 + 412485628489/3729992*c_1001_4^20 - 870902456415/3729992*c_1001_4^19 + 808806031879/1864996*c_1001_4^18 - 668418749195/932498*c_1001_4^17 + 495681834997/466249*c_1001_4^16 - 663608149671/466249*c_1001_4^15 + 1610383328203/932498*c_1001_4^14 - 1775235465245/932498*c_1001_4^13 + 1779677033399/932498*c_1001_4^12 - 231684938373/133214*c_1001_4^11 + 670453976443/466249*c_1001_4^10 - 501150144149/466249*c_1001_4^9 + 336782258612/466249*c_1001_4^8 - 201837801318/466249*c_1001_4^7 + 106622833260/466249*c_1001_4^6 - 48817591362/466249*c_1001_4^5 + 5399062465/133214*c_1001_4^4 - 6795831601/532856*c_1001_4^3 + 1421950469/466249*c_1001_4^2 - 456024493/932498*c_1001_4 + 18122329/466249, c_1001_1 - 2447171/7459984*c_1001_4^27 + 50500449/7459984*c_1001_4^26 - 498148299/7459984*c_1001_4^25 + 3153786673/7459984*c_1001_4^24 - 14529496157/7459984*c_1001_4^23 + 52343127567/7459984*c_1001_4^22 - 154500764273/7459984*c_1001_4^21 + 385735924051/7459984*c_1001_4^20 - 208225290523/1864996*c_1001_4^19 + 395070884381/1864996*c_1001_4^18 - 333148845087/932498*c_1001_4^17 + 251823732753/466249*c_1001_4^16 - 1373189265607/1864996*c_1001_4^15 + 1694910459819/1864996*c_1001_4^14 - 1898699369345/1864996*c_1001_4^13 + 1932232207573/1864996*c_1001_4^12 - 127527808697/133214*c_1001_4^11 + 373716880941/466249*c_1001_4^10 - 564954766077/932498*c_1001_4^9 + 383272375893/932498*c_1001_4^8 - 231413368903/932498*c_1001_4^7 + 122845857431/932498*c_1001_4^6 - 56336039225/932498*c_1001_4^5 + 24852925955/1065712*c_1001_4^4 - 3875213881/532856*c_1001_4^3 + 1593674391/932498*c_1001_4^2 - 124608576/466249*c_1001_4 + 9727839/466249, c_1001_4^28 - 21*c_1001_4^27 + 211*c_1001_4^26 - 1361*c_1001_4^25 + 6385*c_1001_4^24 - 23399*c_1001_4^23 + 70169*c_1001_4^22 - 177779*c_1001_4^21 + 389210*c_1001_4^20 - 748328*c_1001_4^19 + 1278680*c_1001_4^18 - 1958816*c_1001_4^17 + 2707380*c_1001_4^16 - 3391340*c_1001_4^15 + 3861204*c_1001_4^14 - 4001812*c_1001_4^13 + 3776176*c_1001_4^12 - 3240528*c_1001_4^11 + 2522472*c_1001_4^10 - 1773528*c_1001_4^9 + 1119256*c_1001_4^8 - 628376*c_1001_4^7 + 309896*c_1001_4^6 - 131863*c_1001_4^5 + 47152*c_1001_4^4 - 13600*c_1001_4^3 + 2960*c_1001_4^2 - 432*c_1001_4 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.640 Total time: 2.850 seconds, Total memory usage: 32.09MB