Magma V2.19-8 Tue Aug 20 2013 23:50:45 on localhost [Seed = 1747845972] Type ? for help. Type -D to quit. Loading file "L12n829__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n829 geometric_solution 10.71919775 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 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 2 0 -1 -1 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.785621476772 0.441051156803 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 1 -1 0 -2 0 2 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.601167204536 0.466176821968 3 0 5 6 0213 0132 1302 2310 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 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.584626702598 0.441690989962 2 8 8 0 0213 0132 1302 0132 1 0 0 1 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 -1 0 0 1 0 0 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881262266622 0.961648997307 5 9 0 7 2310 0132 0132 0132 1 0 1 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 -1 0 1 -1 0 1 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.295182510334 0.380958280587 2 1 4 9 2031 0132 3201 1023 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.055256574931 0.586573340706 2 7 1 8 3201 2031 0132 1302 1 0 1 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 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456182747160 0.852151723135 6 10 4 1 1302 0132 0132 0132 1 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 0 0 0 0 -1 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197719131645 1.830255359587 3 3 6 11 2031 0132 2031 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 2 -3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482034546568 0.565213078783 10 4 11 5 2031 0132 2103 1023 1 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 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.029046204761 0.964997381129 11 7 9 11 3201 0132 1302 0321 1 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 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.469585915657 0.889622669328 9 10 8 10 2103 0321 0132 2310 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.214804429873 0.702749152834 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0110_9'], 'c_1001_0' : negation(d['c_0110_6']), 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0110_6']), 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0011_11'], '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_11'], 'c_0101_10' : d['c_0011_4'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_2' : d['c_0011_6'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_9'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0110_9'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0110_6']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0110_5'], 'c_1010_8' : d['c_0101_11'], '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_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_11'], '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_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_8, c_0110_5, c_0110_6, c_0110_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 53330337962805647/4662965385558909000*c_0110_9^9 - 51165877236584423/518107265062101000*c_0110_9^8 + 1257501315937818217/4662965385558909000*c_0110_9^7 - 28795431899431876/116574134638972725*c_0110_9^6 + 1404866697953247497/2331482692779454500*c_0110_9^5 - 1582048779866124883/582870673194863625*c_0110_9^4 + 224108074934133509/67579208486361000*c_0110_9^3 - 3368008378853804797/2331482692779454500*c_0110_9^2 + 6347992199859251389/932593077111781800*c_0110_9 - 950492923812124213/93259307711178180, c_0011_0 - 1, c_0011_10 - 2867868/555363325*c_0110_9^9 + 26679798/555363325*c_0110_9^8 - 75338938/555363325*c_0110_9^7 + 2614169/22214533*c_0110_9^6 - 176856486/555363325*c_0110_9^5 + 583273496/555363325*c_0110_9^4 - 88188979/555363325*c_0110_9^3 - 57326419/555363325*c_0110_9^2 - 199378217/111072665*c_0110_9 - 36004161/22214533, c_0011_11 + 1976556/555363325*c_0110_9^9 - 8273796/555363325*c_0110_9^8 - 14751324/555363325*c_0110_9^7 + 19202629/111072665*c_0110_9^6 - 102804663/555363325*c_0110_9^5 + 256852333/555363325*c_0110_9^4 - 971642822/555363325*c_0110_9^3 + 1019892483/555363325*c_0110_9^2 - 53751344/111072665*c_0110_9 + 70926579/22214533, c_0011_4 - 7822851/555363325*c_0110_9^9 + 47714526/555363325*c_0110_9^8 - 90516056/555363325*c_0110_9^7 + 28491008/111072665*c_0110_9^6 - 454030702/555363325*c_0110_9^5 + 621988502/555363325*c_0110_9^4 - 444613333/555363325*c_0110_9^3 + 740762037/555363325*c_0110_9^2 - 23862092/22214533*c_0110_9 - 7197867/22214533, c_0011_6 - 1372776/555363325*c_0110_9^9 + 12401461/555363325*c_0110_9^8 - 29135591/555363325*c_0110_9^7 + 961512/22214533*c_0110_9^6 - 129657177/555363325*c_0110_9^5 + 293996272/555363325*c_0110_9^4 - 35147153/555363325*c_0110_9^3 + 277026267/555363325*c_0110_9^2 - 109344349/111072665*c_0110_9 - 6528430/22214533, c_0101_0 - 1, c_0101_1 + 3224656/555363325*c_0110_9^9 - 13001311/555363325*c_0110_9^8 - 6467134/555363325*c_0110_9^7 + 8470536/111072665*c_0110_9^6 + 44103012/555363325*c_0110_9^5 + 84058353/555363325*c_0110_9^4 - 395220542/555363325*c_0110_9^3 + 93967063/555363325*c_0110_9^2 - 17683678/111072665*c_0110_9 + 20821978/22214533, c_0101_11 + 786972/555363325*c_0110_9^9 + 2569828/555363325*c_0110_9^8 - 34833518/555363325*c_0110_9^7 + 10476604/111072665*c_0110_9^6 - 14720381/555363325*c_0110_9^5 + 284184781/555363325*c_0110_9^4 - 452086224/555363325*c_0110_9^3 - 70497939/555363325*c_0110_9^2 - 16535369/22214533*c_0110_9 + 17607852/22214533, c_0101_8 + 531191/555363325*c_0110_9^9 - 4224316/555363325*c_0110_9^8 + 22393596/555363325*c_0110_9^7 - 13427563/111072665*c_0110_9^6 + 81705057/555363325*c_0110_9^5 - 96713882/555363325*c_0110_9^4 + 297120028/555363325*c_0110_9^3 - 83416492/555363325*c_0110_9^2 - 16747265/22214533*c_0110_9 - 3212086/22214533, c_0110_5 + 20309/10097515*c_0110_9^9 - 349011/10097515*c_0110_9^8 + 1570231/10097515*c_0110_9^7 - 2610157/10097515*c_0110_9^6 + 4110593/10097515*c_0110_9^5 - 12270817/10097515*c_0110_9^4 + 14260971/10097515*c_0110_9^3 - 5271724/10097515*c_0110_9^2 + 9844079/10097515*c_0110_9 - 1299228/2019503, c_0110_6 + 255781/555363325*c_0110_9^9 + 6794144/555363325*c_0110_9^8 - 57227114/555363325*c_0110_9^7 + 23904167/111072665*c_0110_9^6 - 96425438/555363325*c_0110_9^5 + 380898663/555363325*c_0110_9^4 - 749206252/555363325*c_0110_9^3 + 12918553/555363325*c_0110_9^2 + 211896/22214533*c_0110_9 + 20819938/22214533, c_0110_9^10 - 6*c_0110_9^9 + 11*c_0110_9^8 - 20*c_0110_9^7 + 77*c_0110_9^6 - 112*c_0110_9^5 + 93*c_0110_9^4 - 277*c_0110_9^3 + 310*c_0110_9^2 - 25*c_0110_9 + 375 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB