Magma V2.19-8 Tue Aug 20 2013 23:46:50 on localhost [Seed = 2177362858] Type ? for help. Type -D to quit. Loading file "K14n27179__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n27179 geometric_solution 10.15508485 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 0 -17 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.541862991334 0.778240322031 0 5 7 6 0132 0132 0132 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 0 0 0 -17 0 18 -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.744523379761 0.850710028518 8 0 3 8 0132 0132 3012 1023 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 17 0 0 -17 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.263714127244 1.088372327471 5 2 7 0 3120 1230 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 0 1 -1 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.684568078028 0.400604538052 9 10 0 8 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 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 0 17 -17 -18 0 0 18 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.561753912324 0.954255031484 6 1 11 3 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.608421659519 0.305727245415 5 11 1 9 0132 0132 0132 2031 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 1 -1 0 -18 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644341705225 0.200051909149 9 10 3 1 3120 0321 3120 0132 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 0 0 0 18 0 0 -18 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.579059356935 0.561244645959 2 4 10 2 0132 0321 1023 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 -18 0 17 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.263714127244 1.088372327471 4 6 11 7 0132 1302 1302 3120 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 0 0 18 -18 0 0 0 0 18 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417441154284 0.665645519972 11 4 8 7 2103 0132 1023 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 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.088140344416 0.636772256847 9 6 10 5 2031 0132 2103 0132 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 -1 1 0 0 0 0 0 0 0 0 -18 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608421659519 0.305727245415 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_1001_3']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : negation(d['1']), 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : negation(d['c_1001_3']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0101_8'], 's_3_1' : d['1'], 's_3_0' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0101_5'], '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_5'], 'c_0110_10' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_0']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_1001_3']})} 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_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_8, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 3563942213/34552*c_1001_5^10 - 8655485735/34552*c_1001_5^9 + 1818476799/8638*c_1001_5^8 + 55770317/4319*c_1001_5^7 - 28702786213/34552*c_1001_5^6 + 32880967597/17276*c_1001_5^5 - 46169117749/17276*c_1001_5^4 + 103729460893/34552*c_1001_5^3 - 10424651181/4936*c_1001_5^2 + 13856924085/17276*c_1001_5 - 4157430409/17276, c_0011_0 - 1, c_0011_10 - 220/617*c_1001_5^10 + 490/617*c_1001_5^9 - 107/617*c_1001_5^8 - 392/617*c_1001_5^7 + 1793/617*c_1001_5^6 - 3399/617*c_1001_5^5 + 3190/617*c_1001_5^4 - 2834/617*c_1001_5^3 + 497/617*c_1001_5^2 + 1313/617*c_1001_5 - 266/617, c_0011_3 + 415/617*c_1001_5^10 - 728/617*c_1001_5^9 + 300/617*c_1001_5^8 + 459/617*c_1001_5^7 - 3228/617*c_1001_5^6 + 5332/617*c_1001_5^5 - 6326/617*c_1001_5^4 + 5991/617*c_1001_5^3 - 1849/617*c_1001_5^2 - 752/617*c_1001_5 + 642/617, c_0011_7 + 52/617*c_1001_5^10 - 228/617*c_1001_5^9 + 216/617*c_1001_5^8 + 59/617*c_1001_5^7 - 794/617*c_1001_5^6 + 1914/617*c_1001_5^5 - 2605/617*c_1001_5^4 + 2734/617*c_1001_5^3 - 1430/617*c_1001_5^2 + 273/617*c_1001_5 + 635/617, c_0101_0 + 220/617*c_1001_5^10 - 490/617*c_1001_5^9 + 107/617*c_1001_5^8 + 392/617*c_1001_5^7 - 1793/617*c_1001_5^6 + 3399/617*c_1001_5^5 - 3190/617*c_1001_5^4 + 2834/617*c_1001_5^3 - 497/617*c_1001_5^2 - 1313/617*c_1001_5 + 266/617, c_0101_1 + 116/617*c_1001_5^10 - 34/617*c_1001_5^9 - 325/617*c_1001_5^8 + 274/617*c_1001_5^7 - 822/617*c_1001_5^6 + 188/617*c_1001_5^5 + 786/617*c_1001_5^4 - 783/617*c_1001_5^3 + 2363/617*c_1001_5^2 - 625/617*c_1001_5 - 387/617, c_0101_10 + 415/617*c_1001_5^10 - 728/617*c_1001_5^9 + 300/617*c_1001_5^8 + 459/617*c_1001_5^7 - 3228/617*c_1001_5^6 + 5332/617*c_1001_5^5 - 6326/617*c_1001_5^4 + 5991/617*c_1001_5^3 - 1849/617*c_1001_5^2 - 752/617*c_1001_5 + 642/617, c_0101_2 - 46/617*c_1001_5^10 - 178/617*c_1001_5^9 + 331/617*c_1001_5^8 + 19/617*c_1001_5^7 - 57/617*c_1001_5^6 + 1202/617*c_1001_5^5 - 1801/617*c_1001_5^4 + 1853/617*c_1001_5^3 - 1820/617*c_1001_5^2 + 67/617*c_1001_5 + 696/617, c_0101_5 + c_1001_5, c_0101_8 + 46/617*c_1001_5^10 + 178/617*c_1001_5^9 - 331/617*c_1001_5^8 - 19/617*c_1001_5^7 + 57/617*c_1001_5^6 - 1202/617*c_1001_5^5 + 1801/617*c_1001_5^4 - 1853/617*c_1001_5^3 + 1820/617*c_1001_5^2 - 67/617*c_1001_5 - 696/617, c_1001_3 + 177/617*c_1001_5^10 - 254/617*c_1001_5^9 - 214/617*c_1001_5^8 + 450/617*c_1001_5^7 - 1350/617*c_1001_5^6 + 1840/617*c_1001_5^5 - 1024/617*c_1001_5^4 + 1119/617*c_1001_5^3 + 994/617*c_1001_5^2 - 1076/617*c_1001_5 - 532/617, c_1001_5^11 - 2*c_1001_5^10 + c_1001_5^9 + c_1001_5^8 - 8*c_1001_5^7 + 15*c_1001_5^6 - 18*c_1001_5^5 + 18*c_1001_5^4 - 8*c_1001_5^3 - c_1001_5^2 + c_1001_5 - 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_8, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 59589772386479/2765955479*c_1001_5^11 + 127709273886706/2765955479*c_1001_5^10 - 317854049594903/2765955479*c_1001_5^9 + 644016022258537/2765955479*c_1001_5^8 - 2423463567060953/2765955479*c_1001_5^7 + 3340085982578228/2765955479*c_1001_5^6 - 4350663038061534/2765955479*c_1001_5^5 + 2351155984905873/2765955479*c_1001_5^4 + 177868136127937/395136497*c_1001_5^3 - 4450637408660923/2765955479*c_1001_5^2 + 1336012939869949/2765955479*c_1001_5 + 43777183811267/395136497, c_0011_0 - 1, c_0011_10 - 11758822/21779177*c_1001_5^11 + 25212242/21779177*c_1001_5^10 - 62388440/21779177*c_1001_5^9 + 126809751/21779177*c_1001_5^8 - 476273786/21779177*c_1001_5^7 + 656506167/21779177*c_1001_5^6 - 845870678/21779177*c_1001_5^5 + 454968308/21779177*c_1001_5^4 + 277959205/21779177*c_1001_5^3 - 880748891/21779177*c_1001_5^2 + 268811355/21779177*c_1001_5 + 80317873/21779177, c_0011_3 + 8933677/21779177*c_1001_5^11 - 18500050/21779177*c_1001_5^10 + 46086344/21779177*c_1001_5^9 - 93101943/21779177*c_1001_5^8 + 355489172/21779177*c_1001_5^7 - 473780079/21779177*c_1001_5^6 + 610109797/21779177*c_1001_5^5 - 307851284/21779177*c_1001_5^4 - 221186828/21779177*c_1001_5^3 + 647710523/21779177*c_1001_5^2 - 160679202/21779177*c_1001_5 - 60018415/21779177, c_0011_7 - 12125210/21779177*c_1001_5^11 + 26279501/21779177*c_1001_5^10 - 64752829/21779177*c_1001_5^9 + 131936265/21779177*c_1001_5^8 - 493950472/21779177*c_1001_5^7 + 687112546/21779177*c_1001_5^6 - 883141169/21779177*c_1001_5^5 + 488930731/21779177*c_1001_5^4 + 262277515/21779177*c_1001_5^3 - 910646951/21779177*c_1001_5^2 + 269581785/21779177*c_1001_5 + 76724455/21779177, c_0101_0 - 16560091/21779177*c_1001_5^11 + 35406337/21779177*c_1001_5^10 - 88027140/21779177*c_1001_5^9 + 178355193/21779177*c_1001_5^8 - 671564647/21779177*c_1001_5^7 + 923607641/21779177*c_1001_5^6 - 1197887521/21779177*c_1001_5^5 + 640722848/21779177*c_1001_5^4 + 375317055/21779177*c_1001_5^3 - 1238068901/21779177*c_1001_5^2 + 377437465/21779177*c_1001_5 + 99892311/21779177, c_0101_1 + 3416232/21779177*c_1001_5^11 - 7584805/21779177*c_1001_5^10 + 18272491/21779177*c_1001_5^9 - 37763356/21779177*c_1001_5^8 + 139939365/21779177*c_1001_5^7 - 199066867/21779177*c_1001_5^6 + 248318986/21779177*c_1001_5^5 - 141644025/21779177*c_1001_5^4 - 80500109/21779177*c_1001_5^3 + 258340666/21779177*c_1001_5^2 - 74149141/21779177*c_1001_5 - 29003706/21779177, c_0101_10 + 3191533/21779177*c_1001_5^11 - 7779451/21779177*c_1001_5^10 + 18666485/21779177*c_1001_5^9 - 38834322/21779177*c_1001_5^8 + 138461300/21779177*c_1001_5^7 - 213332467/21779177*c_1001_5^6 + 273031372/21779177*c_1001_5^5 - 181079447/21779177*c_1001_5^4 - 41090687/21779177*c_1001_5^3 + 262936428/21779177*c_1001_5^2 - 108902583/21779177*c_1001_5 - 16706040/21779177, c_0101_2 - 176755/444473*c_1001_5^11 + 2480749/3111311*c_1001_5^10 - 6277045/3111311*c_1001_5^9 + 12437784/3111311*c_1001_5^8 - 6933208/444473*c_1001_5^7 + 62406254/3111311*c_1001_5^6 - 81689579/3111311*c_1001_5^5 + 34870494/3111311*c_1001_5^4 + 32903467/3111311*c_1001_5^3 - 91779902/3111311*c_1001_5^2 + 17860628/3111311*c_1001_5 + 1404207/444473, c_0101_5 + 20342711/21779177*c_1001_5^11 - 44058401/21779177*c_1001_5^10 + 108664020/21779177*c_1001_5^9 - 221245063/21779177*c_1001_5^8 + 829180698/21779177*c_1001_5^7 - 1153280887/21779177*c_1001_5^6 + 1483476998/21779177*c_1001_5^5 - 816329296/21779177*c_1001_5^4 - 440135474/21779177*c_1001_5^3 + 1526307627/21779177*c_1001_5^2 - 474136213/21779177*c_1001_5 - 125302599/21779177, c_0101_8 - 3593418/21779177*c_1001_5^11 + 6820448/21779177*c_1001_5^10 - 16899831/21779177*c_1001_5^9 + 33569791/21779177*c_1001_5^8 - 135016788/21779177*c_1001_5^7 + 161994214/21779177*c_1001_5^6 - 199372373/21779177*c_1001_5^5 + 63345213/21779177*c_1001_5^4 + 134578127/21779177*c_1001_5^3 - 274407786/21779177*c_1001_5^2 + 9629538/21779177*c_1001_5 + 36704610/21779177, c_1001_3 + 8217501/21779177*c_1001_5^11 - 17778900/21779177*c_1001_5^10 + 43911191/21779177*c_1001_5^9 - 89308798/21779177*c_1001_5^8 + 335230226/21779177*c_1001_5^7 - 466168341/21779177*c_1001_5^6 + 600335829/21779177*c_1001_5^5 - 327398565/21779177*c_1001_5^4 - 177857959/21779177*c_1001_5^3 + 615660676/21779177*c_1001_5^2 - 182775251/21779177*c_1001_5 - 70357321/21779177, c_1001_5^12 - 2*c_1001_5^11 + 5*c_1001_5^10 - 10*c_1001_5^9 + 39*c_1001_5^8 - 50*c_1001_5^7 + 64*c_1001_5^6 - 28*c_1001_5^5 - 28*c_1001_5^4 + 72*c_1001_5^3 - 11*c_1001_5^2 - 10*c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.940 Total time: 2.140 seconds, Total memory usage: 64.12MB