Magma V2.19-8 Wed Aug 21 2013 00:47:04 on localhost [Seed = 274072672] Type ? for help. Type -D to quit. Loading file "K14n7654__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7654 geometric_solution 11.06878080 oriented_manifold CS_known 0.0000000000000009 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 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 -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.023921227023 0.849965260231 0 5 6 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.578207062095 0.479974340828 6 0 7 1 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.703105546697 0.912869369227 5 5 8 0 0213 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261710458726 0.488550622771 7 9 0 10 0132 0132 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 1 -1 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.367297593063 0.317607491556 3 1 3 11 0213 0132 3012 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 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.148006033577 1.590468279024 2 8 12 1 0132 3012 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 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.701623421611 0.413376297033 4 9 11 2 0132 0321 1302 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 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.959776300891 0.472399991777 6 11 10 3 1230 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.836358029230 1.980875333934 12 4 12 7 2031 0132 3201 0321 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 1 -1 0 0 -8 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249533027632 1.772870524641 11 12 4 8 1302 3120 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 -1 1 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.304089343741 2.009480194679 7 10 5 8 2031 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.206286905050 0.751193628190 9 10 9 6 2310 3120 1302 0132 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 1 0 -1 -9 0 8 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.249533027632 1.772870524641 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_12']), '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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : negation(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' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_3']), 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_1100_0'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0101_6']), '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' : 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_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : 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_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0011_4'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), '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' : d['c_0011_4'], 'c_0110_8' : d['c_0011_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' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_1'], '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_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_0101_8, c_1001_2, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 4604671501214549611160875/1221138940395465785344*c_1100_0^15 - 27899979873050802625338497/1221138940395465785344*c_1100_0^14 - 47693023324169197735047467/1221138940395465785344*c_1100_0^13 - 67272293064994933860270553/1221138940395465785344*c_1100_0^12 - 14883546916026442507272149/152642367549433223168*c_1100_0^11 + 65570607195140582965888897/610569470197732892672*c_1100_0^10 - 15224263374982144903764189/1221138940395465785344*c_1100_0^9 + 155644506726489652118882125/1221138940395465785344*c_1100_0^8 + 239402104298935601267653503/1221138940395465785344*c_1100_0^7 - 345089511217493458317030551/1221138940395465785344*c_1100_0^6 + 51915546468937824259111463/610569470197732892672*c_1100_0^5 + 178069470341522510725323501/610569470197732892672*c_1100_0^4 - 499252283127710422086562697/1221138940395465785344*c_1100_0^3 + 458517411343707430992811881/1221138940395465785344*c_1100_0^2 - 239907021189439645926412025/1221138940395465785344*c_1100_0 + 77861263952723197314030919/1221138940395465785344, c_0011_0 - 1, c_0011_10 + 1551813094103/13626602560504*c_1100_0^15 + 10063467391083/13626602560504*c_1100_0^14 + 20211569734023/13626602560504*c_1100_0^13 + 30007450659683/13626602560504*c_1100_0^12 + 6107925422059/1703325320063*c_1100_0^11 - 15485675953153/6813301280252*c_1100_0^10 - 20247781683099/13626602560504*c_1100_0^9 - 68941677685995/13626602560504*c_1100_0^8 - 103553104757311/13626602560504*c_1100_0^7 + 81111025837473/13626602560504*c_1100_0^6 + 13847013849831/6813301280252*c_1100_0^5 - 51097312804241/6813301280252*c_1100_0^4 + 112605910207337/13626602560504*c_1100_0^3 - 97680881838951/13626602560504*c_1100_0^2 + 52027636464825/13626602560504*c_1100_0 - 12156018023093/13626602560504, c_0011_11 - 64826334745/13626602560504*c_1100_0^15 - 56241721257/13626602560504*c_1100_0^14 + 1480390067491/13626602560504*c_1100_0^13 + 3348379000123/13626602560504*c_1100_0^12 + 659901802675/1703325320063*c_1100_0^11 + 7036747836695/6813301280252*c_1100_0^10 - 4307552231531/13626602560504*c_1100_0^9 + 4350696949617/13626602560504*c_1100_0^8 - 9434616374379/13626602560504*c_1100_0^7 - 30833330640727/13626602560504*c_1100_0^6 + 9028243810595/6813301280252*c_1100_0^5 - 2891112651061/6813301280252*c_1100_0^4 - 36614577861431/13626602560504*c_1100_0^3 + 42117389265741/13626602560504*c_1100_0^2 - 45956121360939/13626602560504*c_1100_0 + 13496245263451/13626602560504, c_0011_12 + 98940377917/13626602560504*c_1100_0^15 + 1778072824105/13626602560504*c_1100_0^14 + 9105846614349/13626602560504*c_1100_0^13 + 19657535193265/13626602560504*c_1100_0^12 + 3948018807795/1703325320063*c_1100_0^11 + 22941352002397/6813301280252*c_1100_0^10 - 1909195175313/13626602560504*c_1100_0^9 - 15560167860705/13626602560504*c_1100_0^8 - 47837326846893/13626602560504*c_1100_0^7 - 90895131717285/13626602560504*c_1100_0^6 + 10754110327241/6813301280252*c_1100_0^5 + 3701954366037/6813301280252*c_1100_0^4 - 80604963469757/13626602560504*c_1100_0^3 + 35369503364675/13626602560504*c_1100_0^2 - 37838815716533/13626602560504*c_1100_0 + 3372781670977/13626602560504, c_0011_3 - 1916142083405/13626602560504*c_1100_0^15 - 11401678993899/13626602560504*c_1100_0^14 - 17834024097013/13626602560504*c_1100_0^13 - 20730139222299/13626602560504*c_1100_0^12 - 4409882372809/1703325320063*c_1100_0^11 + 38482359139967/6813301280252*c_1100_0^10 + 15250819988405/13626602560504*c_1100_0^9 + 58669024814175/13626602560504*c_1100_0^8 + 80961783307985/13626602560504*c_1100_0^7 - 180895054882741/13626602560504*c_1100_0^6 + 1413809894525/6813301280252*c_1100_0^5 + 85331589824243/6813301280252*c_1100_0^4 - 211542233032999/13626602560504*c_1100_0^3 + 153538783992939/13626602560504*c_1100_0^2 - 85446013015575/13626602560504*c_1100_0 + 15544657596509/13626602560504, c_0011_4 + 769680261015/6813301280252*c_1100_0^15 + 1313704012044/1703325320063*c_1100_0^14 + 12021146494909/6813301280252*c_1100_0^13 + 10212879015991/3406650640126*c_1100_0^12 + 8699085443631/1703325320063*c_1100_0^11 + 1348676116961/3406650640126*c_1100_0^10 + 1057978292411/6813301280252*c_1100_0^9 - 16037553001499/3406650640126*c_1100_0^8 - 66597181892059/6813301280252*c_1100_0^7 + 1826090490339/1703325320063*c_1100_0^6 - 1860724487274/1703325320063*c_1100_0^5 - 27218610749205/3406650640126*c_1100_0^4 + 44822123806239/6813301280252*c_1100_0^3 - 25415551742641/3406650640126*c_1100_0^2 + 15517066623205/6813301280252*c_1100_0 - 2238908704403/3406650640126, c_0101_0 + 1, c_0101_1 + 1916142083405/13626602560504*c_1100_0^15 + 11401678993899/13626602560504*c_1100_0^14 + 17834024097013/13626602560504*c_1100_0^13 + 20730139222299/13626602560504*c_1100_0^12 + 4409882372809/1703325320063*c_1100_0^11 - 38482359139967/6813301280252*c_1100_0^10 - 15250819988405/13626602560504*c_1100_0^9 - 58669024814175/13626602560504*c_1100_0^8 - 80961783307985/13626602560504*c_1100_0^7 + 180895054882741/13626602560504*c_1100_0^6 - 1413809894525/6813301280252*c_1100_0^5 - 85331589824243/6813301280252*c_1100_0^4 + 211542233032999/13626602560504*c_1100_0^3 - 153538783992939/13626602560504*c_1100_0^2 + 85446013015575/13626602560504*c_1100_0 - 15544657596509/13626602560504, c_0101_6 - 1206644234817/13626602560504*c_1100_0^15 - 8380978681411/13626602560504*c_1100_0^14 - 19786345303265/13626602560504*c_1100_0^13 - 33951643273939/13626602560504*c_1100_0^12 - 7182997239751/1703325320063*c_1100_0^11 - 4689062512825/6813301280252*c_1100_0^10 + 30644983465/13626602560504*c_1100_0^9 + 51474278894367/13626602560504*c_1100_0^8 + 107417487253501/13626602560504*c_1100_0^7 + 1697452660363/13626602560504*c_1100_0^6 + 2088384577725/6813301280252*c_1100_0^5 + 39792620480787/6813301280252*c_1100_0^4 - 54398449829707/13626602560504*c_1100_0^3 + 45839410464331/13626602560504*c_1100_0^2 - 18834414677859/13626602560504*c_1100_0 + 9020461152357/13626602560504, c_0101_8 + c_1100_0, c_1001_2 - 1206644234817/13626602560504*c_1100_0^15 - 8380978681411/13626602560504*c_1100_0^14 - 19786345303265/13626602560504*c_1100_0^13 - 33951643273939/13626602560504*c_1100_0^12 - 7182997239751/1703325320063*c_1100_0^11 - 4689062512825/6813301280252*c_1100_0^10 + 30644983465/13626602560504*c_1100_0^9 + 51474278894367/13626602560504*c_1100_0^8 + 107417487253501/13626602560504*c_1100_0^7 + 1697452660363/13626602560504*c_1100_0^6 + 2088384577725/6813301280252*c_1100_0^5 + 39792620480787/6813301280252*c_1100_0^4 - 54398449829707/13626602560504*c_1100_0^3 + 45839410464331/13626602560504*c_1100_0^2 - 18834414677859/13626602560504*c_1100_0 + 9020461152357/13626602560504, c_1001_3 + 910484288437/6813301280252*c_1100_0^15 + 5037141128431/6813301280252*c_1100_0^14 + 5869087075821/6813301280252*c_1100_0^13 + 4052823059823/6813301280252*c_1100_0^12 + 1974825400586/1703325320063*c_1100_0^11 - 25449062171341/3406650640126*c_1100_0^10 - 4385506983405/6813301280252*c_1100_0^9 - 21911851975955/6813301280252*c_1100_0^8 - 24762905465417/6813301280252*c_1100_0^7 + 114901635672813/6813301280252*c_1100_0^6 - 6966000274689/3406650640126*c_1100_0^5 - 43911250510063/3406650640126*c_1100_0^4 + 130557254940495/6813301280252*c_1100_0^3 - 89614505907427/6813301280252*c_1100_0^2 + 54112098543583/6813301280252*c_1100_0 - 8730399839957/6813301280252, c_1100_0^16 + 6*c_1100_0^15 + 10*c_1100_0^14 + 14*c_1100_0^13 + 25*c_1100_0^12 - 30*c_1100_0^11 + 5*c_1100_0^10 - 34*c_1100_0^9 - 50*c_1100_0^8 + 78*c_1100_0^7 - 27*c_1100_0^6 - 76*c_1100_0^5 + 113*c_1100_0^4 - 106*c_1100_0^3 + 58*c_1100_0^2 - 20*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.060 Total time: 5.280 seconds, Total memory usage: 64.12MB