Magma V2.19-8 Tue Aug 20 2013 23:46:42 on localhost [Seed = 711737353] Type ? for help. Type -D to quit. Loading file "K14n24834__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24834 geometric_solution 9.91642615 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 0 0 0 0 0 0 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 1.276981596266 0.417639052053 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 12 1 -13 0 0 0 0 0 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.550139251617 1.641550909381 3 0 8 5 1302 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 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.217444549389 0.611077759876 9 2 9 0 0132 2031 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 1 0 -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.815154384211 0.544555165405 6 10 0 11 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.232093832129 0.391888332313 2 1 10 8 3120 0132 2103 3120 0 0 0 0 0 1 -1 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 -12 12 0 0 0 0 0 -1 13 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694360226331 0.810708530055 11 4 1 7 1302 3012 0132 2310 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 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445151505605 0.380765940159 6 8 10 1 3201 1230 1023 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 1 0 -1 0 0 0 0 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162722061218 0.795236375456 5 10 7 2 3120 0321 3012 0132 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 -1 1 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.813509643683 1.035827228672 3 3 11 11 0132 1230 1302 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 -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.558938662868 1.646633244232 5 4 7 8 2103 0132 1023 0321 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 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547375394270 1.327657679020 9 6 4 9 2031 2031 0132 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 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 1.137231733126 0.583097400386 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_7']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], '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' : 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' : 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_0011_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_0101_3'], '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_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_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'], '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_7'], '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_0101_3']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_11']), 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_8']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_7'])})} 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_6, c_0011_7, c_0011_8, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1464156481371114/486256852607*c_1001_2^16 - 24994267010473752/486256852607*c_1001_2^15 - 193281485696138589/486256852607*c_1001_2^14 - 11454888263658843/6155150033*c_1001_2^13 - 2899614848785644955/486256852607*c_1001_2^12 - 6819393105817982567/486256852607*c_1001_2^11 - 723460330275617313/28603344271*c_1001_2^10 - 17462235258389663841/486256852607*c_1001_2^9 - 1164962625316218005/28603344271*c_1001_2^8 - 1064424080871931030/28603344271*c_1001_2^7 - 13390453493076812947/486256852607*c_1001_2^6 - 8014898878109987986/486256852607*c_1001_2^5 - 25270388883852472/3220244057*c_1001_2^4 - 1382604755433924750/486256852607*c_1001_2^3 - 351399004319418556/486256852607*c_1001_2^2 - 57456500854681689/486256852607*c_1001_2 - 5560312958426776/486256852607, c_0011_0 - 1, c_0011_10 + 7253/3001*c_1001_2^16 + 108721/3001*c_1001_2^15 + 728117/3001*c_1001_2^14 + 2917088/3001*c_1001_2^13 + 7921948/3001*c_1001_2^12 + 15646265/3001*c_1001_2^11 + 23357069/3001*c_1001_2^10 + 26729136/3001*c_1001_2^9 + 23365254/3001*c_1001_2^8 + 15260968/3001*c_1001_2^7 + 6900095/3001*c_1001_2^6 + 1431165/3001*c_1001_2^5 - 753312/3001*c_1001_2^4 - 911524/3001*c_1001_2^3 - 439004/3001*c_1001_2^2 - 109322/3001*c_1001_2 - 13914/3001, c_0011_11 - 7904/3001*c_1001_2^16 - 122931/3001*c_1001_2^15 - 863965/3001*c_1001_2^14 - 3682756/3001*c_1001_2^13 - 10810896/3001*c_1001_2^12 - 23506153/3001*c_1001_2^11 - 39554536/3001*c_1001_2^10 - 52835686/3001*c_1001_2^9 - 56895913/3001*c_1001_2^8 - 49938623/3001*c_1001_2^7 - 35961819/3001*c_1001_2^6 - 21195675/3001*c_1001_2^5 - 10063239/3001*c_1001_2^4 - 3722210/3001*c_1001_2^3 - 1022274/3001*c_1001_2^2 - 193081/3001*c_1001_2 - 21248/3001, c_0011_3 - 3172/3001*c_1001_2^16 - 52039/3001*c_1001_2^15 - 385874/3001*c_1001_2^14 - 1730427/3001*c_1001_2^13 - 5311697/3001*c_1001_2^12 - 11980035/3001*c_1001_2^11 - 20741008/3001*c_1001_2^10 - 28278771/3001*c_1001_2^9 - 30802364/3001*c_1001_2^8 - 27059490/3001*c_1001_2^7 - 19301267/3001*c_1001_2^6 - 11173436/3001*c_1001_2^5 - 5159272/3001*c_1001_2^4 - 1824326/3001*c_1001_2^3 - 467866/3001*c_1001_2^2 - 85601/3001*c_1001_2 - 9001/3001, c_0011_6 - 7858/3001*c_1001_2^16 - 121217/3001*c_1001_2^15 - 846437/3001*c_1001_2^14 - 3596440/3001*c_1001_2^13 - 10570081/3001*c_1001_2^12 - 23114976/3001*c_1001_2^11 - 39266180/3001*c_1001_2^10 - 53101839/3001*c_1001_2^9 - 58024227/3001*c_1001_2^8 - 51719323/3001*c_1001_2^7 - 37771244/3001*c_1001_2^6 - 22539861/3001*c_1001_2^5 - 10833733/3001*c_1001_2^4 - 4052975/3001*c_1001_2^3 - 1116085/3001*c_1001_2^2 - 204890/3001*c_1001_2 - 20529/3001, c_0011_7 + 3362/3001*c_1001_2^16 + 47506/3001*c_1001_2^15 + 294783/3001*c_1001_2^14 + 1070263/3001*c_1001_2^13 + 2559032/3001*c_1001_2^12 + 4266179/3001*c_1001_2^11 + 4968304/3001*c_1001_2^10 + 3626943/3001*c_1001_2^9 + 634089/3001*c_1001_2^8 - 2246194/3001*c_1001_2^7 - 3540305/3001*c_1001_2^6 - 3184223/3001*c_1001_2^5 - 2030843/3001*c_1001_2^4 - 932906/3001*c_1001_2^3 - 284040/3001*c_1001_2^2 - 52031/3001*c_1001_2 - 4339/3001, c_0011_8 - 9931/3001*c_1001_2^16 - 155140/3001*c_1001_2^15 - 1096943/3001*c_1001_2^14 - 4712191/3001*c_1001_2^13 - 13959431/3001*c_1001_2^12 - 30649850/3001*c_1001_2^11 - 52073900/3001*c_1001_2^10 - 70171955/3001*c_1001_2^9 - 76096303/3001*c_1001_2^8 - 67037883/3001*c_1001_2^7 - 48211394/3001*c_1001_2^6 - 28212076/3001*c_1001_2^5 - 13196959/3001*c_1001_2^4 - 4734890/3001*c_1001_2^3 - 1219763/3001*c_1001_2^2 - 201478/3001*c_1001_2 - 17767/3001, c_0101_1 + 3362/3001*c_1001_2^16 + 44505/3001*c_1001_2^15 + 252769/3001*c_1001_2^14 + 809176/3001*c_1001_2^13 + 1589709/3001*c_1001_2^12 + 1811361/3001*c_1001_2^11 + 388778/3001*c_1001_2^10 - 2933243/3001*c_1001_2^9 - 6727364/3001*c_1001_2^8 - 8812382/3001*c_1001_2^7 - 8248874/3001*c_1001_2^6 - 5900128/3001*c_1001_2^5 - 3264254/3001*c_1001_2^4 - 1353046/3001*c_1001_2^3 - 383073/3001*c_1001_2^2 - 70037/3001*c_1001_2 - 4339/3001, c_0101_10 - 1287/3001*c_1001_2^16 - 22381/3001*c_1001_2^15 - 175037/3001*c_1001_2^14 - 821832/3001*c_1001_2^13 - 2618060/3001*c_1001_2^12 - 6076243/3001*c_1001_2^11 - 10755943/3001*c_1001_2^10 - 14930067/3001*c_1001_2^9 - 16502146/3001*c_1001_2^8 - 14678821/3001*c_1001_2^7 - 10605295/3001*c_1001_2^6 - 6236232/3001*c_1001_2^5 - 2939298/3001*c_1001_2^4 - 1070972/3001*c_1001_2^3 - 287019/3001*c_1001_2^2 - 56538/3001*c_1001_2 - 5829/3001, c_0101_3 - 8075/3001*c_1001_2^16 - 126954/3001*c_1001_2^15 - 901723/3001*c_1001_2^14 - 3879672/3001*c_1001_2^13 - 11468042/3001*c_1001_2^12 - 25027703/3001*c_1001_2^11 - 42121488/3001*c_1001_2^10 - 56053106/3001*c_1001_2^9 - 59848997/3001*c_1001_2^8 - 51795715/3001*c_1001_2^7 - 36563855/3001*c_1001_2^6 - 20995321/3001*c_1001_2^5 - 9619644/3001*c_1001_2^4 - 3373812/3001*c_1001_2^3 - 853928/3001*c_1001_2^2 - 143637/3001*c_1001_2 - 12243/3001, c_0101_7 + 1226/3001*c_1001_2^16 + 14628/3001*c_1001_2^15 + 69853/3001*c_1001_2^14 + 158056/3001*c_1001_2^13 + 84698/3001*c_1001_2^12 - 528324/3001*c_1001_2^11 - 1874306/3001*c_1001_2^10 - 3504621/3001*c_1001_2^9 - 4404207/3001*c_1001_2^8 - 3903534/3001*c_1001_2^7 - 2410539/3001*c_1001_2^6 - 921109/3001*c_1001_2^5 - 57038/3001*c_1001_2^4 + 203573/3001*c_1001_2^3 + 155096/3001*c_1001_2^2 + 45254/3001*c_1001_2 + 6637/3001, c_1001_2^17 + 17*c_1001_2^16 + 131*c_1001_2^15 + 612*c_1001_2^14 + 1961*c_1001_2^13 + 4626*c_1001_2^12 + 8400*c_1001_2^11 + 12063*c_1001_2^10 + 13919*c_1001_2^9 + 13039*c_1001_2^8 + 9988*c_1001_2^7 + 6264*c_1001_2^6 + 3183*c_1001_2^5 + 1275*c_1001_2^4 + 385*c_1001_2^3 + 84*c_1001_2^2 + 12*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.540 Total time: 1.750 seconds, Total memory usage: 32.09MB