Magma V2.19-8 Tue Aug 20 2013 23:59:54 on localhost [Seed = 4256928943] Type ? for help. Type -D to quit. Loading file "K13n1441__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1441 geometric_solution 11.86069757 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 1 -1 0 0 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.607088020427 0.990034910534 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 1 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 0.092822952737 0.425979019710 5 0 8 7 3201 0132 0132 3201 0 0 0 0 0 0 0 0 1 0 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 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.388737412939 0.561681547156 9 6 10 0 0132 0321 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 -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.572597331194 0.915925719827 5 11 0 9 0132 0132 0132 2031 0 0 0 0 0 0 0 0 -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 1 -1 0 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.591574062454 0.779953581701 4 1 11 2 0132 0132 3201 2310 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 1 0 -1 -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 1.887604937074 1.465070359513 11 12 1 3 2031 0132 0132 0321 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 -1 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.750232925437 0.931122484437 10 2 12 1 0132 2310 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 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.704011375772 1.603802439573 10 9 12 2 2310 1302 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.150686383666 0.743209796710 3 4 11 8 0132 1302 2031 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.200447050485 0.731458415839 7 12 8 3 0132 3012 3201 0132 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 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.403415243594 1.091499404837 5 4 6 9 2310 0132 1302 1302 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 0 0 0 0 -1 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 0 0 0.396046085552 0.332815545734 10 6 7 8 1230 0132 3120 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.527053086525 0.498114735929 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0101_12']), '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_12'], 'c_0101_10' : d['c_0101_1'], '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' : negation(d['c_1001_2']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_8']), 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_0101_12']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : negation(d['c_0011_8']), 'c_1100_3' : negation(d['c_0011_8']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_0'], 'c_1100_10' : negation(d['c_0011_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_2']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : negation(d['c_0110_2']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], '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' : negation(d['c_0101_3']), '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_0']), 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0101_5']), 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_0'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_12'], '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_0101_1']), '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_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_5, c_0110_2, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 41900859695366744413/207737924544918*c_1001_2^20 + 7518656817886701035/23081991616102*c_1001_2^19 - 21054028651317938614/103868962272459*c_1001_2^18 + 435155925736199571187/207737924544918*c_1001_2^17 + 186945715389005811491/69245974848306*c_1001_2^16 - 2587294527107325903871/207737924544918*c_1001_2^15 - 292505112112187990789/69245974848306*c_1001_2^14 + 5405321402689473180505/207737924544918*c_1001_2^13 + 539745512367242910263/34622987424153*c_1001_2^12 - 3251856082946662915513/103868962272459*c_1001_2^11 - 4469562988587248420155/103868962272459*c_1001_2^10 + 5554068838571090011427/207737924544918*c_1001_2^9 + 11822045752223369064877/207737924544918*c_1001_2^8 - 3572357397192061881317/207737924544918*c_1001_2^7 - 4231357113299722318001/103868962272459*c_1001_2^6 + 1574737595768975146345/207737924544918*c_1001_2^5 + 3429613173181354489543/207737924544918*c_1001_2^4 - 200007856856531361278/103868962272459*c_1001_2^3 - 745869857750371342871/207737924544918*c_1001_2^2 + 21388096456967786773/103868962272459*c_1001_2 + 67903838004647592185/207737924544918, c_0011_0 - 1, c_0011_10 - 14086/37*c_1001_2^20 - 18416/37*c_1001_2^19 + 18800/37*c_1001_2^18 - 151761/37*c_1001_2^17 - 138247/37*c_1001_2^16 + 900067/37*c_1001_2^15 + 27099/37*c_1001_2^14 - 1743171/37*c_1001_2^13 - 645350/37*c_1001_2^12 + 2260098/37*c_1001_2^11 + 2423915/37*c_1001_2^10 - 2374710/37*c_1001_2^9 - 3252513/37*c_1001_2^8 + 1791667/37*c_1001_2^7 + 2246667/37*c_1001_2^6 - 834814/37*c_1001_2^5 - 873158/37*c_1001_2^4 + 210512/37*c_1001_2^3 + 183356/37*c_1001_2^2 - 21821/37*c_1001_2 - 16290/37, c_0011_12 - 2838/37*c_1001_2^20 - 3024/37*c_1001_2^19 + 2816/37*c_1001_2^18 - 33657/37*c_1001_2^17 - 18663/37*c_1001_2^16 + 166283/37*c_1001_2^15 - 52821/37*c_1001_2^14 - 242784/37*c_1001_2^13 - 68150/37*c_1001_2^12 + 316488/37*c_1001_2^11 + 316543/37*c_1001_2^10 - 379263/37*c_1001_2^9 - 302429/37*c_1001_2^8 + 274926/37*c_1001_2^7 + 119130/37*c_1001_2^6 - 104878/37*c_1001_2^5 - 13500/37*c_1001_2^4 + 18704/37*c_1001_2^3 - 3716/37*c_1001_2^2 - 1101/37*c_1001_2 + 915/37, c_0011_3 - 13673/37*c_1001_2^20 - 13651/37*c_1001_2^19 + 21964/37*c_1001_2^18 - 153725/37*c_1001_2^17 - 84881/37*c_1001_2^16 + 893255/37*c_1001_2^15 - 242865/37*c_1001_2^14 - 1577567/37*c_1001_2^13 - 201109/37*c_1001_2^12 + 2207307/37*c_1001_2^11 + 1749739/37*c_1001_2^10 - 2735013/37*c_1001_2^9 - 2360243/37*c_1001_2^8 + 2248249/37*c_1001_2^7 + 1522733/37*c_1001_2^6 - 1063939/37*c_1001_2^5 - 549967/37*c_1001_2^4 + 263170/37*c_1001_2^3 + 110649/37*c_1001_2^2 - 26431/37*c_1001_2 - 9918/37, c_0011_8 - 4183/37*c_1001_2^20 - 244/37*c_1001_2^19 + 9367/37*c_1001_2^18 - 54204/37*c_1001_2^17 + 20790/37*c_1001_2^16 + 282854/37*c_1001_2^15 - 334180/37*c_1001_2^14 - 325659/37*c_1001_2^13 + 344143/37*c_1001_2^12 + 591689/37*c_1001_2^11 - 74691/37*c_1001_2^10 - 1127835/37*c_1001_2^9 + 175523/37*c_1001_2^8 + 1064514/37*c_1001_2^7 - 332645/37*c_1001_2^6 - 500085/37*c_1001_2^5 + 216550/37*c_1001_2^4 + 114192/37*c_1001_2^3 - 60741/37*c_1001_2^2 - 10106/37*c_1001_2 + 6349/37, c_0101_0 - 15187/37*c_1001_2^20 - 19353/37*c_1001_2^19 + 20919/37*c_1001_2^18 - 163735/37*c_1001_2^17 - 143076/37*c_1001_2^16 + 974653/37*c_1001_2^15 + 3734/37*c_1001_2^14 - 1876901/37*c_1001_2^13 - 667170/37*c_1001_2^12 + 2471269/37*c_1001_2^11 + 2579372/37*c_1001_2^10 - 2631245/37*c_1001_2^9 - 3487496/37*c_1001_2^8 + 1983034/37*c_1001_2^7 + 2434935/37*c_1001_2^6 - 917448/37*c_1001_2^5 - 961964/37*c_1001_2^4 + 229337/37*c_1001_2^3 + 206848/37*c_1001_2^2 - 23593/37*c_1001_2 - 18942/37, c_0101_1 + 653/37*c_1001_2^20 + 6221/37*c_1001_2^19 + 3665/37*c_1001_2^18 - 1492/37*c_1001_2^17 + 69386/37*c_1001_2^16 - 18294/37*c_1001_2^15 - 346516/37*c_1001_2^14 + 240061/37*c_1001_2^13 + 582049/37*c_1001_2^12 - 123141/37*c_1001_2^11 - 900021/37*c_1001_2^10 - 398071/37*c_1001_2^9 + 1228238/37*c_1001_2^8 + 539653/37*c_1001_2^7 - 1029271/37*c_1001_2^6 - 273070/37*c_1001_2^5 + 477802/37*c_1001_2^4 + 62780/37*c_1001_2^3 - 114190/37*c_1001_2^2 - 5527/37*c_1001_2 + 11021/37, c_0101_12 + 12758/37*c_1001_2^20 + 15574/37*c_1001_2^19 - 17110/37*c_1001_2^18 + 140844/37*c_1001_2^17 + 112133/37*c_1001_2^16 - 810542/37*c_1001_2^15 + 61027/37*c_1001_2^14 + 1500458/37*c_1001_2^13 + 445723/37*c_1001_2^12 - 1953412/37*c_1001_2^11 - 1958257/37*c_1001_2^10 + 2176910/37*c_1001_2^9 + 2555591/37*c_1001_2^8 - 1708835/37*c_1001_2^7 - 1660409/37*c_1001_2^6 + 796579/37*c_1001_2^5 + 600860/37*c_1001_2^4 - 194770/37*c_1001_2^3 - 118373/37*c_1001_2^2 + 19167/37*c_1001_2 + 10104/37, c_0101_3 + 675/37*c_1001_2^20 + 839/37*c_1001_2^19 + 343/37*c_1001_2^18 + 9338/37*c_1001_2^17 + 5531/37*c_1001_2^16 - 28718/37*c_1001_2^15 + 17483/37*c_1001_2^14 + 11606/37*c_1001_2^13 + 13737/37*c_1001_2^12 + 13184/37*c_1001_2^11 - 25362/37*c_1001_2^10 - 10041/37*c_1001_2^9 - 64820/37*c_1001_2^8 + 11436/37*c_1001_2^7 + 121816/37*c_1001_2^6 - 16330/37*c_1001_2^5 - 79408/37*c_1001_2^4 + 9353/37*c_1001_2^3 + 23455/37*c_1001_2^2 - 1735/37*c_1001_2 - 2652/37, c_0101_5 + 12161/37*c_1001_2^20 + 22771/37*c_1001_2^19 - 9103/37*c_1001_2^18 + 121884/37*c_1001_2^17 + 199036/37*c_1001_2^16 - 731815/37*c_1001_2^15 - 452301/37*c_1001_2^14 + 1633529/37*c_1001_2^13 + 1266620/37*c_1001_2^12 - 1853050/37*c_1001_2^11 - 3038442/37*c_1001_2^10 + 1260325/37*c_1001_2^9 + 3995859/37*c_1001_2^8 - 611910/37*c_1001_2^7 - 2928862/37*c_1001_2^6 + 231440/37*c_1001_2^5 + 1219306/37*c_1001_2^4 - 58400/37*c_1001_2^3 - 271280/37*c_1001_2^2 + 6593/37*c_1001_2 + 25144/37, c_0110_2 - 7452/37*c_1001_2^20 - 13189/37*c_1001_2^19 + 6187/37*c_1001_2^18 - 75861/37*c_1001_2^17 - 112954/37*c_1001_2^16 + 451040/37*c_1001_2^15 + 228616/37*c_1001_2^14 - 976558/37*c_1001_2^13 - 705064/37*c_1001_2^12 + 1134955/37*c_1001_2^11 + 1760439/37*c_1001_2^10 - 846845/37*c_1001_2^9 - 2309818/37*c_1001_2^8 + 452431/37*c_1001_2^7 + 1688068/37*c_1001_2^6 - 170758/37*c_1001_2^5 - 708466/37*c_1001_2^4 + 39295/37*c_1001_2^3 + 161140/37*c_1001_2^2 - 3978/37*c_1001_2 - 15412/37, c_1001_0 - 12572/37*c_1001_2^20 - 17450/37*c_1001_2^19 + 14813/37*c_1001_2^18 - 135239/37*c_1001_2^17 - 134516/37*c_1001_2^16 + 785813/37*c_1001_2^15 + 79497/37*c_1001_2^14 - 1523683/37*c_1001_2^13 - 689260/37*c_1001_2^12 + 1926761/37*c_1001_2^11 + 2265129/37*c_1001_2^10 - 1911157/37*c_1001_2^9 - 2961608/37*c_1001_2^8 + 1363132/37*c_1001_2^7 + 2040832/37*c_1001_2^6 - 610084/37*c_1001_2^5 - 797343/37*c_1001_2^4 + 149662/37*c_1001_2^3 + 168335/37*c_1001_2^2 - 15224/37*c_1001_2 - 14962/37, c_1001_2^21 + c_1001_2^20 - 2*c_1001_2^19 + 11*c_1001_2^18 + 7*c_1001_2^17 - 70*c_1001_2^16 + 17*c_1001_2^15 + 142*c_1001_2^14 - 2*c_1001_2^13 - 203*c_1001_2^12 - 118*c_1001_2^11 + 264*c_1001_2^10 + 201*c_1001_2^9 - 259*c_1001_2^8 - 150*c_1001_2^7 + 162*c_1001_2^6 + 59*c_1001_2^5 - 60*c_1001_2^4 - 12*c_1001_2^3 + 12*c_1001_2^2 + c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.630 Total time: 7.839 seconds, Total memory usage: 64.12MB