Magma V2.19-8 Wed Aug 21 2013 00:37:05 on localhost [Seed = 459082448] Type ? for help. Type -D to quit. Loading file "K14n24498__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24498 geometric_solution 11.63797477 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 1 1 0 0 -1 0 0 0 0 -1 -16 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.934284272011 0.620995818442 0 2 6 5 0132 0213 0132 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 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 1.002012297845 0.518579395060 7 0 1 8 0132 0132 0213 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 0 0 0 -1 0 1 0 0 16 0 -16 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280882198044 0.805618998160 7 9 6 0 2031 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 0 -1 1 0 0 0 0 0 17 0 -17 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634035076449 0.719286826261 10 11 0 8 0132 0132 0132 2310 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 1 -1 0 -17 0 1 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.805471572096 0.947864213627 7 12 1 10 1023 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.958936847612 0.428506503574 10 11 3 1 3120 0321 3120 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 1 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.664439295700 0.944266668547 2 5 3 11 0132 1023 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.821818628496 0.754400414672 4 9 2 12 3201 0213 0132 0213 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 -16 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235619936022 0.515804343942 10 3 8 12 2031 0132 0213 1302 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 17 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514901933306 0.378274449803 4 5 9 6 0132 2310 1302 3120 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 17 0 -17 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.474004681867 0.659871740300 7 4 12 6 3201 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.375354517926 0.364440741765 11 5 9 8 2031 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821396761197 0.338090780930 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_12'], 'c_1001_10' : d['c_0110_9'], 'c_1001_12' : negation(d['c_0110_9']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : 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_0'], 'c_0101_10' : d['c_0011_3'], '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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_12'], 'c_1100_8' : d['c_1001_5'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0110_9']), 'c_1010_4' : d['c_0110_12'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : d['c_0101_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_12'], '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' : 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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0110_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_0011_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_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_10, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0110_12, c_0110_9, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 1346707/45805200*c_1001_5^7 + 4817753/22902600*c_1001_5^6 + 44327743/45805200*c_1001_5^5 + 46268051/15268400*c_1001_5^4 + 251390339/45805200*c_1001_5^3 + 189409013/22902600*c_1001_5^2 + 292341839/45805200*c_1001_5 + 4724353/817950, c_0011_0 - 1, c_0011_10 + 571/45920*c_1001_5^7 - 2749/45920*c_1001_5^6 - 1507/9184*c_1001_5^5 - 8261/4592*c_1001_5^4 - 69661/22960*c_1001_5^3 - 325757/45920*c_1001_5^2 - 167179/45920*c_1001_5 - 33737/6560, c_0011_3 + 97/1312*c_1001_5^7 + 2141/6560*c_1001_5^6 + 10927/6560*c_1001_5^5 + 11561/3280*c_1001_5^4 + 21821/3280*c_1001_5^3 + 8793/1312*c_1001_5^2 + 37163/6560*c_1001_5 + 20639/6560, c_0011_6 + 127/2870*c_1001_5^7 + 47/574*c_1001_5^6 + 1751/2870*c_1001_5^5 - 17/1435*c_1001_5^4 + 1301/1435*c_1001_5^3 - 5519/2870*c_1001_5^2 + 3651/2870*c_1001_5 - 623/410, c_0011_8 + 1481/45920*c_1001_5^7 + 7233/45920*c_1001_5^6 + 39099/45920*c_1001_5^5 + 46237/22960*c_1001_5^4 + 101041/22960*c_1001_5^3 + 208833/45920*c_1001_5^2 + 215847/45920*c_1001_5 + 8477/6560, c_0101_0 - 4993/45920*c_1001_5^7 - 18649/45920*c_1001_5^6 - 100067/45920*c_1001_5^5 - 86661/22960*c_1001_5^4 - 168873/22960*c_1001_5^3 - 252729/45920*c_1001_5^2 - 241711/45920*c_1001_5 - 8341/6560, c_0101_1 + 2391/22960*c_1001_5^7 + 8031/22960*c_1001_5^6 + 8881/4592*c_1001_5^5 + 6551/2296*c_1001_5^4 + 67399/11480*c_1001_5^3 + 77583/22960*c_1001_5^2 + 112121/22960*c_1001_5 - 477/3280, c_0101_12 - 251/5740*c_1001_5^7 - 1739/5740*c_1001_5^6 - 8021/5740*c_1001_5^5 - 12043/2870*c_1001_5^4 - 21337/2870*c_1001_5^3 - 57543/5740*c_1001_5^2 - 7401/1148*c_1001_5 - 3639/820, c_0110_12 + c_1001_5 + 1, c_0110_9 - 251/5740*c_1001_5^7 - 1739/5740*c_1001_5^6 - 8021/5740*c_1001_5^5 - 12043/2870*c_1001_5^4 - 21337/2870*c_1001_5^3 - 57543/5740*c_1001_5^2 - 7401/1148*c_1001_5 - 3639/820, c_1001_0 + 957/22960*c_1001_5^7 + 3877/22960*c_1001_5^6 + 3739/4592*c_1001_5^5 + 3469/2296*c_1001_5^4 + 25853/11480*c_1001_5^3 + 49461/22960*c_1001_5^2 + 22147/22960*c_1001_5 + 6081/3280, c_1001_1 + 683/9184*c_1001_5^7 + 15711/45920*c_1001_5^6 + 80037/45920*c_1001_5^5 + 86131/22960*c_1001_5^4 + 163311/22960*c_1001_5^3 + 55827/9184*c_1001_5^2 + 250393/45920*c_1001_5 + 5347/6560, c_1001_5^8 + 4*c_1001_5^7 + 22*c_1001_5^6 + 43*c_1001_5^5 + 96*c_1001_5^4 + 95*c_1001_5^3 + 130*c_1001_5^2 + 56*c_1001_5 + 49 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0110_12, c_0110_9, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 80416345835850993/63391112335375069*c_1001_5^10 + 652520012834764859/63391112335375069*c_1001_5^9 + 221416834943206338/9055873190767867*c_1001_5^8 + 1374490898671120779/63391112335375069*c_1001_5^7 - 2151131919110092661/63391112335375069*c_1001_5^6 + 4659157599438175502/63391112335375069*c_1001_5^5 + 1839742889157041482/63391112335375069*c_1001_5^4 + 2011791377817449212/63391112335375069*c_1001_5^3 + 27872449837250705/868371401854453*c_1001_5^2 - 6233425722867434481/63391112335375069*c_1001_5 - 595940388572201460/9055873190767867, c_0011_0 - 1, c_0011_10 + 66062011255/6644074241209*c_1001_5^10 + 497140862022/6644074241209*c_1001_5^9 + 1043331945616/6644074241209*c_1001_5^8 + 1109551500446/6644074241209*c_1001_5^7 - 464190551190/6644074241209*c_1001_5^6 + 7389682648060/6644074241209*c_1001_5^5 - 880894735252/6644074241209*c_1001_5^4 + 8330409418981/6644074241209*c_1001_5^3 + 105326086555/91014715633*c_1001_5^2 - 1451398039286/6644074241209*c_1001_5 + 8717614286357/6644074241209, c_0011_3 - 20967189160/6644074241209*c_1001_5^10 - 89122219457/6644074241209*c_1001_5^9 + 275224014143/6644074241209*c_1001_5^8 + 1475858399753/6644074241209*c_1001_5^7 + 3220589495253/6644074241209*c_1001_5^6 - 536146897372/6644074241209*c_1001_5^5 + 6605165857003/6644074241209*c_1001_5^4 + 988387887569/6644074241209*c_1001_5^3 + 56236084705/91014715633*c_1001_5^2 + 11900531762277/6644074241209*c_1001_5 - 3423769505467/6644074241209, c_0011_6 - 66062011255/6644074241209*c_1001_5^10 - 497140862022/6644074241209*c_1001_5^9 - 1043331945616/6644074241209*c_1001_5^8 - 1109551500446/6644074241209*c_1001_5^7 + 464190551190/6644074241209*c_1001_5^6 - 7389682648060/6644074241209*c_1001_5^5 + 880894735252/6644074241209*c_1001_5^4 - 8330409418981/6644074241209*c_1001_5^3 - 105326086555/91014715633*c_1001_5^2 + 1451398039286/6644074241209*c_1001_5 - 8717614286357/6644074241209, c_0011_8 + 126624471129/6644074241209*c_1001_5^10 + 909614763317/6644074241209*c_1001_5^9 + 1601343021728/6644074241209*c_1001_5^8 + 831168377034/6644074241209*c_1001_5^7 - 3120923211979/6644074241209*c_1001_5^6 + 13207962458667/6644074241209*c_1001_5^5 - 4965451653971/6644074241209*c_1001_5^4 + 10567777725703/6644074241209*c_1001_5^3 + 20086999373/91014715633*c_1001_5^2 - 1968607778884/6644074241209*c_1001_5 + 8879018750664/6644074241209, c_0101_0 + 13128098143/6644074241209*c_1001_5^10 + 175644617995/6644074241209*c_1001_5^9 + 793549563758/6644074241209*c_1001_5^8 + 1380173762236/6644074241209*c_1001_5^7 + 326408891165/6644074241209*c_1001_5^6 - 1800544908134/6644074241209*c_1001_5^5 + 4464290114336/6644074241209*c_1001_5^4 + 1846986119988/6644074241209*c_1001_5^3 + 42002765158/91014715633*c_1001_5^2 + 2037751037416/6644074241209*c_1001_5 - 2470070131064/6644074241209, c_0101_1 - 175549317254/6644074241209*c_1001_5^10 - 1366811961067/6644074241209*c_1001_5^9 - 3041127517036/6644074241209*c_1001_5^8 - 2983540836853/6644074241209*c_1001_5^7 + 2605558643425/6644074241209*c_1001_5^6 - 15695693105102/6644074241209*c_1001_5^5 + 214248018974/6644074241209*c_1001_5^4 - 9763646375176/6644074241209*c_1001_5^3 - 121588590708/91014715633*c_1001_5^2 + 8187642959156/6644074241209*c_1001_5 - 8248535072573/6644074241209, c_0101_12 + 80348084556/6644074241209*c_1001_5^10 + 521929040323/6644074241209*c_1001_5^9 + 677545739467/6644074241209*c_1001_5^8 + 283166266235/6644074241209*c_1001_5^7 - 1423715243345/6644074241209*c_1001_5^6 + 10029048668108/6644074241209*c_1001_5^5 - 11279259626099/6644074241209*c_1001_5^4 + 12981846634095/6644074241209*c_1001_5^3 - 27658678150/91014715633*c_1001_5^2 - 3710068956827/6644074241209*c_1001_5 + 6655652642689/6644074241209, c_0110_12 + 68986985859/6644074241209*c_1001_5^10 + 529970178006/6644074241209*c_1001_5^9 + 1066934890109/6644074241209*c_1001_5^8 + 501352928413/6644074241209*c_1001_5^7 - 2227545511765/6644074241209*c_1001_5^6 + 5569608606137/6644074241209*c_1001_5^5 + 706480808464/6644074241209*c_1001_5^4 - 3181308625582/6644074241209*c_1001_5^3 + 79472893388/91014715633*c_1001_5^2 - 2050923079851/6644074241209*c_1001_5 - 2412496293138/6644074241209, c_0110_9 + 205239764952/6644074241209*c_1001_5^10 + 1583215371500/6644074241209*c_1001_5^9 + 3517512393841/6644074241209*c_1001_5^8 + 3863053169847/6644074241209*c_1001_5^7 - 1707121517471/6644074241209*c_1001_5^6 + 20442143990470/6644074241209*c_1001_5^5 - 2551294903522/6644074241209*c_1001_5^4 + 16748763636008/6644074241209*c_1001_5^3 + 181384651802/91014715633*c_1001_5^2 - 4092411556431/6644074241209*c_1001_5 + 9864476641184/6644074241209, c_1001_0 - 138645356979/6644074241209*c_1001_5^10 - 1046484333124/6644074241209*c_1001_5^9 - 2191866582904/6644074241209*c_1001_5^8 - 2119868072721/6644074241209*c_1001_5^7 + 1940161841739/6644074241209*c_1001_5^6 - 14035409198106/6644074241209*c_1001_5^5 + 1950683812809/6644074241209*c_1001_5^4 - 15355329174961/6644074241209*c_1001_5^3 - 40296020800/91014715633*c_1001_5^2 - 4077065258767/6644074241209*c_1001_5 - 10355639454599/6644074241209, c_1001_1 - 126624471129/6644074241209*c_1001_5^10 - 909614763317/6644074241209*c_1001_5^9 - 1601343021728/6644074241209*c_1001_5^8 - 831168377034/6644074241209*c_1001_5^7 + 3120923211979/6644074241209*c_1001_5^6 - 13207962458667/6644074241209*c_1001_5^5 + 4965451653971/6644074241209*c_1001_5^4 - 10567777725703/6644074241209*c_1001_5^3 - 20086999373/91014715633*c_1001_5^2 + 1968607778884/6644074241209*c_1001_5 - 8879018750664/6644074241209, c_1001_5^11 + 8*c_1001_5^10 + 19*c_1001_5^9 + 21*c_1001_5^8 - 9*c_1001_5^7 + 93*c_1001_5^6 + 30*c_1001_5^5 + 68*c_1001_5^4 + 99*c_1001_5^3 - 6*c_1001_5^2 + 62*c_1001_5 + 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.740 Total time: 3.960 seconds, Total memory usage: 64.12MB