Magma V2.19-8 Tue Aug 20 2013 23:47:08 on localhost [Seed = 2160519866] Type ? for help. Type -D to quit. Loading file "K14n8571__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8571 geometric_solution 10.63908679 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 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 -1 -4 5 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519631323819 1.317882902626 0 4 6 5 0132 1302 0132 0132 0 0 0 0 0 1 0 -1 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 5 0 -5 0 0 0 0 0 -5 0 5 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607752566129 0.319874228282 7 0 8 8 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 4 0 -4 0 4 0 0 -4 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783994028563 0.926864510218 5 4 7 0 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 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 -4 4 0 0 0 0 -5 5 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399790937255 0.368949170575 9 3 0 1 0132 0132 0132 2031 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -5 5 5 0 0 -5 5 0 0 -5 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504826090146 1.498587904089 3 7 1 10 0132 0213 0132 0132 0 0 0 0 0 0 1 -1 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 5 -5 0 0 0 0 4 -4 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781449052588 0.644356179195 11 10 10 1 0132 2031 1230 0132 0 0 0 0 0 -1 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 0 -4 4 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.043814466304 0.514332899988 2 3 5 11 0132 1230 0213 2031 0 0 0 0 0 0 0 0 -1 0 1 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 -4 0 4 0 4 -4 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828867110623 0.614518128559 9 2 2 11 1302 0213 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 -5 0 0 5 0 4 0 -4 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238486574502 1.023326996927 4 8 10 11 0132 2031 0213 0132 0 0 0 0 0 0 1 -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 0 5 -5 -5 0 4 1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.077144543150 0.508661908045 6 9 5 6 1302 0213 0132 3012 0 0 0 0 0 -1 1 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 -5 5 0 4 0 0 -4 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068128799033 0.811069437330 6 7 9 8 0132 1302 0132 1023 0 0 0 0 0 0 1 -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 5 -5 0 0 -1 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053585018082 1.205633338431 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : negation(d['c_0110_8']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : negation(d['c_0110_8']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0110_8'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : 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_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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_0101_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : d['c_0110_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0110_8']), 'c_1010_4' : negation(d['c_0011_0']), '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_0'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_0101_6'], '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' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_6'], 'c_0110_10' : d['c_0110_10'], 'c_0011_6' : 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_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0110_8'], '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_11'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0011_8'], 'c_1100_8' : d['c_0101_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_6, c_0110_10, c_0110_8, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 15941810856814201/951411840270100*c_1001_5^18 - 5907076355920813/951411840270100*c_1001_5^17 - 60804079928646767/1902823680540200*c_1001_5^16 + 24381916320186341/475705920135050*c_1001_5^15 + 4075813810630501/380564736108040*c_1001_5^14 - 353642295443350913/1902823680540200*c_1001_5^13 + 20099856946892401/1902823680540200*c_1001_5^12 + 640468083779440911/1902823680540200*c_1001_5^11 + 157784674695231759/1902823680540200*c_1001_5^10 - 216966575490350713/380564736108040*c_1001_5^9 - 545420942534874207/951411840270100*c_1001_5^8 + 837076431532562451/1902823680540200*c_1001_5^7 + 191804551807530507/172983970958200*c_1001_5^6 + 368147270649138853/951411840270100*c_1001_5^5 - 126333484181541268/237852960067525*c_1001_5^4 - 296160025275783527/475705920135050*c_1001_5^3 - 34165454803658872/237852960067525*c_1001_5^2 + 355315025701585241/1902823680540200*c_1001_5 + 194558027870621879/1902823680540200, c_0011_0 - 1, c_0011_10 + 37924143/85651819*c_1001_5^18 - 59080848/85651819*c_1001_5^17 - 32286604/85651819*c_1001_5^16 + 220931446/85651819*c_1001_5^15 - 196595607/85651819*c_1001_5^14 - 391729740/85651819*c_1001_5^13 + 663987284/85651819*c_1001_5^12 + 381219376/85651819*c_1001_5^11 - 971671940/85651819*c_1001_5^10 - 690742506/85651819*c_1001_5^9 + 676288266/85651819*c_1001_5^8 + 1211563434/85651819*c_1001_5^7 - 82147441/85651819*c_1001_5^6 - 1146412815/85651819*c_1001_5^5 + 1726121/7786529*c_1001_5^4 + 654806169/85651819*c_1001_5^3 - 11237343/85651819*c_1001_5^2 - 24474671/85651819*c_1001_5 - 36149160/85651819, c_0011_11 - 87346639/85651819*c_1001_5^18 + 98322546/85651819*c_1001_5^17 + 142560206/85651819*c_1001_5^16 - 457126586/85651819*c_1001_5^15 + 204809741/85651819*c_1001_5^14 + 1129028118/85651819*c_1001_5^13 - 1086899765/85651819*c_1001_5^12 - 1636311681/85651819*c_1001_5^11 + 1725718369/85651819*c_1001_5^10 + 2726243255/85651819*c_1001_5^9 - 591869643/85651819*c_1001_5^8 - 3691252021/85651819*c_1001_5^7 - 1744165288/85651819*c_1001_5^6 + 2484974544/85651819*c_1001_5^5 + 137158069/7786529*c_1001_5^4 - 907867013/85651819*c_1001_5^3 - 384944214/85651819*c_1001_5^2 - 5157442/85651819*c_1001_5 + 94331599/85651819, c_0011_3 + 13307815/7786529*c_1001_5^18 - 24028169/7786529*c_1001_5^17 - 11761818/7786529*c_1001_5^16 + 78825402/7786529*c_1001_5^15 - 67738538/7786529*c_1001_5^14 - 149982263/7786529*c_1001_5^13 + 252984925/7786529*c_1001_5^12 + 174490979/7786529*c_1001_5^11 - 388587049/7786529*c_1001_5^10 - 337752031/7786529*c_1001_5^9 + 342927453/7786529*c_1001_5^8 + 621096788/7786529*c_1001_5^7 - 15164026/7786529*c_1001_5^6 - 640907147/7786529*c_1001_5^5 - 165054591/7786529*c_1001_5^4 + 268789637/7786529*c_1001_5^3 + 107129945/7786529*c_1001_5^2 - 27524420/7786529*c_1001_5 - 26073143/7786529, c_0011_8 - 249100384/85651819*c_1001_5^18 + 435475070/85651819*c_1001_5^17 + 186275730/85651819*c_1001_5^16 - 1395649196/85651819*c_1001_5^15 + 1258146996/85651819*c_1001_5^14 + 2614958722/85651819*c_1001_5^13 - 4438719191/85651819*c_1001_5^12 - 2881993011/85651819*c_1001_5^11 + 6507322986/85651819*c_1001_5^10 + 5761780454/85651819*c_1001_5^9 - 5289605429/85651819*c_1001_5^8 - 10175943101/85651819*c_1001_5^7 - 324229040/85651819*c_1001_5^6 + 9814354443/85651819*c_1001_5^5 + 195847803/7786529*c_1001_5^4 - 3851528727/85651819*c_1001_5^3 - 1191906336/85651819*c_1001_5^2 + 394997981/85651819*c_1001_5 + 322743191/85651819, c_0101_0 - 18495612/7786529*c_1001_5^18 + 22280019/7786529*c_1001_5^17 + 25431559/7786529*c_1001_5^16 - 92620667/7786529*c_1001_5^15 + 50562879/7786529*c_1001_5^14 + 216964217/7786529*c_1001_5^13 - 223702086/7786529*c_1001_5^12 - 308993176/7786529*c_1001_5^11 + 326445667/7786529*c_1001_5^10 + 547346191/7786529*c_1001_5^9 - 92070240/7786529*c_1001_5^8 - 743067644/7786529*c_1001_5^7 - 382046624/7786529*c_1001_5^6 + 466393906/7786529*c_1001_5^5 + 326474785/7786529*c_1001_5^4 - 113340779/7786529*c_1001_5^3 - 81607866/7786529*c_1001_5^2 - 10384311/7786529*c_1001_5 + 17092222/7786529, c_0101_1 + 165527589/85651819*c_1001_5^18 - 185999361/85651819*c_1001_5^17 - 247460545/85651819*c_1001_5^16 + 797895891/85651819*c_1001_5^15 - 359596062/85651819*c_1001_5^14 - 1994876647/85651819*c_1001_5^13 + 1796735662/85651819*c_1001_5^12 + 3017705560/85651819*c_1001_5^11 - 2619230397/85651819*c_1001_5^10 - 5330065595/85651819*c_1001_5^9 + 336484374/85651819*c_1001_5^8 + 6962180650/85651819*c_1001_5^7 + 4284660305/85651819*c_1001_5^6 - 3983920151/85651819*c_1001_5^5 - 328200906/7786529*c_1001_5^4 + 591942400/85651819*c_1001_5^3 + 908923869/85651819*c_1001_5^2 + 224353911/85651819*c_1001_5 - 151865282/85651819, c_0101_6 + 60879505/85651819*c_1001_5^18 - 129429363/85651819*c_1001_5^17 + 8989835/85651819*c_1001_5^16 + 335513757/85651819*c_1001_5^15 - 442265325/85651819*c_1001_5^14 - 445679577/85651819*c_1001_5^13 + 1250067967/85651819*c_1001_5^12 + 157956124/85651819*c_1001_5^11 - 1596771780/85651819*c_1001_5^10 - 721440523/85651819*c_1001_5^9 + 1472350130/85651819*c_1001_5^8 + 1832312069/85651819*c_1001_5^7 - 606116893/85651819*c_1001_5^6 - 2168988605/85651819*c_1001_5^5 + 26184728/7786529*c_1001_5^4 + 868176894/85651819*c_1001_5^3 + 147278752/85651819*c_1001_5^2 - 48963127/85651819*c_1001_5 - 115942146/85651819, c_0110_10 - 94331599/85651819*c_1001_5^18 + 181678238/85651819*c_1001_5^17 + 90340652/85651819*c_1001_5^16 - 614218201/85651819*c_1001_5^15 + 551458185/85651819*c_1001_5^14 + 1115832645/85651819*c_1001_5^13 - 2072344108/85651819*c_1001_5^12 - 1177058611/85651819*c_1001_5^11 + 3239948864/85651819*c_1001_5^10 + 2141877190/85651819*c_1001_5^9 - 3009238052/85651819*c_1001_5^8 - 4502036703/85651819*c_1001_5^7 + 672640853/85651819*c_1001_5^6 + 5045771253/85651819*c_1001_5^5 + 82814820/7786529*c_1001_5^4 - 2169059952/85651819*c_1001_5^3 - 412775373/85651819*c_1001_5^2 + 196281016/85651819*c_1001_5 + 193820640/85651819, c_0110_8 + 106474001/85651819*c_1001_5^18 - 189829693/85651819*c_1001_5^17 - 63402836/85651819*c_1001_5^16 + 602317266/85651819*c_1001_5^15 - 603229100/85651819*c_1001_5^14 - 1033002657/85651819*c_1001_5^13 + 1967139280/85651819*c_1001_5^12 + 943039571/85651819*c_1001_5^11 - 2746291122/85651819*c_1001_5^10 - 1980454121/85651819*c_1001_5^9 + 2131469467/85651819*c_1001_5^8 + 3765824487/85651819*c_1001_5^7 - 43941511/85651819*c_1001_5^6 - 3626107003/85651819*c_1001_5^5 - 38457548/7786529*c_1001_5^4 + 1359840487/85651819*c_1001_5^3 + 159484794/85651819*c_1001_5^2 - 30291535/85651819*c_1001_5 - 97028665/85651819, c_1001_0 - 5479317/85651819*c_1001_5^18 + 53083012/85651819*c_1001_5^17 - 11648795/85651819*c_1001_5^16 - 139707533/85651819*c_1001_5^15 + 204637255/85651819*c_1001_5^14 + 116712993/85651819*c_1001_5^13 - 730695292/85651819*c_1001_5^12 + 71369663/85651819*c_1001_5^11 + 1324957815/85651819*c_1001_5^10 - 108026176/85651819*c_1001_5^9 - 2013459458/85651819*c_1001_5^8 - 1032176186/85651819*c_1001_5^7 + 1935687340/85651819*c_1001_5^6 + 2549966558/85651819*c_1001_5^5 - 30215500/7786529*c_1001_5^4 - 1716580933/85651819*c_1001_5^3 - 355742153/85651819*c_1001_5^2 + 302424685/85651819*c_1001_5 + 155628083/85651819, c_1001_5^19 - c_1001_5^18 - 2*c_1001_5^17 + 5*c_1001_5^16 - c_1001_5^15 - 14*c_1001_5^14 + 10*c_1001_5^13 + 24*c_1001_5^12 - 17*c_1001_5^11 - 41*c_1001_5^10 + 3*c_1001_5^9 + 54*c_1001_5^8 + 32*c_1001_5^7 - 35*c_1001_5^6 - 36*c_1001_5^5 + 7*c_1001_5^4 + 14*c_1001_5^3 + 2*c_1001_5^2 - 2*c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.170 Total time: 1.370 seconds, Total memory usage: 32.09MB