Magma V2.19-8 Tue Aug 20 2013 23:52:23 on localhost [Seed = 2867642757] Type ? for help. Type -D to quit. Loading file "L13n2653__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2653 geometric_solution 10.97443182 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 1 0 0 1 0 0 0 0 1 0 -1 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 1 0 -1 -2 0 2 0 3 -2 0 -1 5 -1 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359599648096 1.147964744297 0 4 6 5 0132 0132 0132 0132 0 0 1 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 0 0 0 2 0 -3 1 -5 0 0 5 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536482014020 0.898856924126 7 0 0 8 0132 0132 0321 0132 1 1 1 0 0 0 0 0 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 -1 0 1 -4 0 4 0 -1 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359599648096 1.147964744297 9 10 0 11 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 4 1 -5 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.838060003838 0.661039329146 11 1 8 7 1023 0132 2103 2103 0 1 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 0 0 0 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436536290220 0.330607000650 8 8 1 9 3201 2103 0132 2031 0 0 1 1 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 -1 0 1 1 0 -1 0 -1 0 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539552677332 0.477837490852 6 9 6 1 2310 1302 3201 0132 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 -3 3 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246048190643 1.302441806699 2 11 10 4 0132 1023 1023 2103 0 1 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 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 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.074632285200 0.889216348693 4 5 2 5 2103 2103 0132 2310 1 1 0 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 0 0 0 0 -1 1 5 0 0 -5 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.038708407361 0.919898723429 3 5 10 6 0132 1302 2103 2031 0 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 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246048190643 1.302441806699 9 3 7 11 2103 0132 1023 0213 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 0 0 0 0 0 0 0 0 0 0 0 -4 4 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.327109453468 0.626565715264 7 4 3 10 1023 1023 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 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.129437028892 0.741241098379 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_4'], 'c_1001_10' : d['c_0101_4'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_5'], 'c_1010_11' : d['c_0110_4'], '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_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' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(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_0110_10']), 'c_1100_8' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : negation(d['c_0110_4']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0011_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0110_4'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0110_10'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : negation(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'], '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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0110_10']), 'c_0110_10' : d['c_0110_10'], 'c_0011_11' : d['c_0011_0'], 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_4'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_1']})} 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_5, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0110_10, c_0110_4, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1177173273927084/21408651870905*c_1001_2^11 + 1297141587860484/21408651870905*c_1001_2^10 + 260608203061153/1646819374685*c_1001_2^9 + 3851519186956764/21408651870905*c_1001_2^8 + 5453427981097968/21408651870905*c_1001_2^7 + 5178335797962751/21408651870905*c_1001_2^6 + 775700228574524/4281730374181*c_1001_2^5 - 374053601917514/21408651870905*c_1001_2^4 + 87095800719379/21408651870905*c_1001_2^3 + 1605413046701827/21408651870905*c_1001_2^2 + 71831803755163/21408651870905*c_1001_2 + 211513325789474/21408651870905, c_0011_0 - 1, c_0011_10 + 417857300/400199119*c_1001_2^11 + 123021556/400199119*c_1001_2^10 - 794031115/400199119*c_1001_2^9 - 1907761180/400199119*c_1001_2^8 - 2218468398/400199119*c_1001_2^7 - 2832787886/400199119*c_1001_2^6 - 2542086584/400199119*c_1001_2^5 - 751708667/400199119*c_1001_2^4 + 35760449/400199119*c_1001_2^3 - 37452996/400199119*c_1001_2^2 - 395899394/400199119*c_1001_2 + 81875130/400199119, c_0011_5 - 2061568488/400199119*c_1001_2^11 - 4028831720/400199119*c_1001_2^10 - 4700603026/400199119*c_1001_2^9 - 6094243008/400199119*c_1001_2^8 - 5606221584/400199119*c_1001_2^7 - 3674157539/400199119*c_1001_2^6 - 954928748/400199119*c_1001_2^5 - 709961392/400199119*c_1001_2^4 - 1445829449/400199119*c_1001_2^3 + 3351478/400199119*c_1001_2^2 - 148052620/400199119*c_1001_2 - 56077136/400199119, c_0011_6 - 5801097932/400199119*c_1001_2^11 - 3682913188/400199119*c_1001_2^10 - 2210197643/400199119*c_1001_2^9 - 4071617002/400199119*c_1001_2^8 + 435397194/400199119*c_1001_2^7 + 2985080364/400199119*c_1001_2^6 + 5397115084/400199119*c_1001_2^5 - 1903639965/400199119*c_1001_2^4 - 171749755/400199119*c_1001_2^3 + 3268335825/400199119*c_1001_2^2 - 1104927436/400199119*c_1001_2 + 219072286/400199119, c_0011_8 + 4328647260/400199119*c_1001_2^11 + 2032168516/400199119*c_1001_2^10 - 398279929/400199119*c_1001_2^9 + 1438234034/400199119*c_1001_2^8 - 2544641228/400199119*c_1001_2^7 - 3625703801/400199119*c_1001_2^6 - 4037075368/400199119*c_1001_2^5 + 2626636100/400199119*c_1001_2^4 + 1151284147/400199119*c_1001_2^3 - 2945184989/400199119*c_1001_2^2 + 1200856360/400199119*c_1001_2 - 878015922/400199119, c_0101_0 + 1570159808/400199119*c_1001_2^11 - 42791592/400199119*c_1001_2^10 - 1617514872/400199119*c_1001_2^9 - 1448129138/400199119*c_1001_2^8 - 3570771888/400199119*c_1001_2^7 - 3923907504/400199119*c_1001_2^6 - 3449848995/400199119*c_1001_2^5 + 54459700/400199119*c_1001_2^4 - 93112896/400199119*c_1001_2^3 - 1614060857/400199119*c_1001_2^2 + 395891430/400199119*c_1001_2 - 604328875/400199119, c_0101_1 - 1, c_0101_10 + 5715633168/400199119*c_1001_2^11 + 8918831024/400199119*c_1001_2^10 + 8734787916/400199119*c_1001_2^9 + 10222010976/400199119*c_1001_2^8 + 7737709882/400199119*c_1001_2^7 + 2553120792/400199119*c_1001_2^6 - 3107388480/400199119*c_1001_2^5 + 224486613/400199119*c_1001_2^4 + 2299887016/400199119*c_1001_2^3 - 705502164/400199119*c_1001_2^2 + 215046554/400199119*c_1001_2 + 191761674/400199119, c_0101_4 + 1984383352/400199119*c_1001_2^11 + 1392948948/400199119*c_1001_2^10 + 1155807858/400199119*c_1001_2^9 + 1441895635/400199119*c_1001_2^8 - 290279752/400199119*c_1001_2^7 - 1322127020/400199119*c_1001_2^6 - 2429517778/400199119*c_1001_2^5 + 182857476/400199119*c_1001_2^4 - 100430325/400199119*c_1001_2^3 - 713498019/400199119*c_1001_2^2 + 299092825/400199119*c_1001_2 - 189206281/400199119, c_0110_10 + 405912164/12909649*c_1001_2^11 + 288165132/12909649*c_1001_2^10 + 220519961/12909649*c_1001_2^9 + 368639530/12909649*c_1001_2^8 + 39428356/12909649*c_1001_2^7 - 127053745/12909649*c_1001_2^6 - 331352224/12909649*c_1001_2^5 + 134006809/12909649*c_1001_2^4 - 4755447/12909649*c_1001_2^3 - 222425217/12909649*c_1001_2^2 + 86613883/12909649*c_1001_2 - 59038273/12909649, c_0110_4 + 1506663424/400199119*c_1001_2^11 - 1299068692/400199119*c_1001_2^10 - 2453173204/400199119*c_1001_2^9 - 1707270341/400199119*c_1001_2^8 - 3614105788/400199119*c_1001_2^7 - 2735674456/400199119*c_1001_2^6 - 1496513507/400199119*c_1001_2^5 + 2488799988/400199119*c_1001_2^4 + 325669600/400199119*c_1001_2^3 - 979725342/400199119*c_1001_2^2 + 1041363546/400199119*c_1001_2 - 116503617/400199119, c_1001_2^12 + 9/7*c_1001_2^11 + 43/28*c_1001_2^10 + 29/14*c_1001_2^9 + 45/28*c_1001_2^8 + 15/14*c_1001_2^7 + 1/7*c_1001_2^6 + 9/14*c_1001_2^5 + 11/28*c_1001_2^4 - 3/28*c_1001_2^3 + 1/4*c_1001_2^2 - 1/28*c_1001_2 + 1/28 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB