Magma V2.19-8 Tue Aug 20 2013 23:29:44 on localhost [Seed = 2615016902] Type ? for help. Type -D to quit. Loading file "K13n2565__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2565 geometric_solution 8.02605900 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 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 -12 13 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.333377969130 1.186887188861 0 5 4 6 0132 0132 2031 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 0 0 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.683078411643 1.183487890293 5 0 5 6 0213 0132 0321 1230 0 0 0 0 0 0 0 0 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 -12 0 12 0 0 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322070903763 0.317137435957 7 8 4 0 0132 0132 1302 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240036962604 0.809718024859 3 8 0 1 2031 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.420320747179 0.365063553405 2 1 2 8 0213 0132 0321 2103 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 0 0 0 0 0 0 0 12 0 0 -12 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480023416540 0.953549079246 2 7 1 7 3012 2310 0132 3201 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 0 13 0 -13 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210233218724 0.566151035598 3 6 8 6 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 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 13 0 -13 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.210233218724 0.566151035598 4 3 7 5 1302 0132 1023 2103 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 1 -13 12 0 0 0 0 -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.932433989478 1.333977635319 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0110_6'], 'c_1001_4' : negation(d['c_0110_8']), 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0110_4']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0110_8']), 'c_1001_8' : d['c_0101_0'], 's_2_8' : d['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_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_8' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0110_8']), 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0110_6'], 'c_1010_7' : negation(d['c_0110_6']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0110_6'], 'c_1010_0' : negation(d['c_0110_8']), 'c_1010_8' : d['c_0110_4'], '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_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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_4']), 'c_0110_8' : d['c_0110_8'], '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_0011_6'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0110_4, c_0110_6, c_0110_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 41413740791445/1160017481284*c_0110_8^12 + 33349832511453/580008740642*c_0110_8^11 + 10711450481795/580008740642*c_0110_8^10 + 26390748650843/580008740642*c_0110_8^9 + 84535989330505/580008740642*c_0110_8^8 + 139521824625729/580008740642*c_0110_8^7 - 901916720613/1160017481284*c_0110_8^6 - 114716552583848/290004370321*c_0110_8^5 - 182059038446269/1160017481284*c_0110_8^4 - 8235491991/580008740642*c_0110_8^3 + 49685581254980/290004370321*c_0110_8^2 - 17536039389082/290004370321*c_0110_8 + 7697300655645/1160017481284, c_0011_0 - 1, c_0011_3 - 10782392063586/5510083036099*c_0110_8^12 + 18987971458734/5510083036099*c_0110_8^11 - 3085865778596/5510083036099*c_0110_8^10 + 50416669377395/11020166072198*c_0110_8^9 + 34073496592201/5510083036099*c_0110_8^8 + 177772645547811/11020166072198*c_0110_8^7 - 1936234079981/5510083036099*c_0110_8^6 - 127994993879835/11020166072198*c_0110_8^5 - 87002141142673/11020166072198*c_0110_8^4 - 6556866066085/11020166072198*c_0110_8^3 + 22711562064231/11020166072198*c_0110_8^2 - 59024013804121/11020166072198*c_0110_8 - 4982676182923/11020166072198, c_0011_4 - 44671661539505/22040332144396*c_0110_8^12 + 48575770482169/11020166072198*c_0110_8^11 - 25984688881409/11020166072198*c_0110_8^10 + 30579337206434/5510083036099*c_0110_8^9 + 24217130906965/5510083036099*c_0110_8^8 + 158631778708423/11020166072198*c_0110_8^7 - 130066460578053/22040332144396*c_0110_8^6 - 110317881785073/11020166072198*c_0110_8^5 - 86610209467705/22040332144396*c_0110_8^4 + 4216297548087/5510083036099*c_0110_8^3 + 7673688278791/5510083036099*c_0110_8^2 - 71347222255843/11020166072198*c_0110_8 + 29400045025321/22040332144396, c_0011_6 - 1442137109050/5510083036099*c_0110_8^12 + 4734775443417/5510083036099*c_0110_8^11 - 5521170039919/5510083036099*c_0110_8^10 + 13795216362829/11020166072198*c_0110_8^9 - 7644158241157/11020166072198*c_0110_8^8 + 11697367526919/5510083036099*c_0110_8^7 - 34921279582829/11020166072198*c_0110_8^6 + 1280623165802/5510083036099*c_0110_8^5 + 17080679036813/11020166072198*c_0110_8^4 + 19258257904443/11020166072198*c_0110_8^3 - 4897086552873/11020166072198*c_0110_8^2 - 8688427597312/5510083036099*c_0110_8 + 12590775423582/5510083036099, c_0101_0 + 39891724109237/22040332144396*c_0110_8^12 - 42253151850131/11020166072198*c_0110_8^11 + 10027837465790/5510083036099*c_0110_8^10 - 48794794723911/11020166072198*c_0110_8^9 - 26999469032484/5510083036099*c_0110_8^8 - 69590348602247/5510083036099*c_0110_8^7 + 98198879710645/22040332144396*c_0110_8^6 + 46487498000580/5510083036099*c_0110_8^5 + 57008723060219/22040332144396*c_0110_8^4 - 1962268060701/11020166072198*c_0110_8^3 - 3442775382179/5510083036099*c_0110_8^2 + 50623186109379/11020166072198*c_0110_8 - 29924458519521/22040332144396, c_0101_1 - 7774684764396/5510083036099*c_0110_8^12 + 37949048713915/11020166072198*c_0110_8^11 - 22775026282345/11020166072198*c_0110_8^10 + 35904830763565/11020166072198*c_0110_8^9 + 31049204965681/11020166072198*c_0110_8^8 + 89518545431761/11020166072198*c_0110_8^7 - 82767714485511/11020166072198*c_0110_8^6 - 40437546938650/5510083036099*c_0110_8^5 + 8085749023697/5510083036099*c_0110_8^4 + 41903382586821/11020166072198*c_0110_8^3 + 16232451070651/11020166072198*c_0110_8^2 - 48301595131689/11020166072198*c_0110_8 + 19344034192129/11020166072198, c_0110_4 + 21567366079655/5510083036099*c_0110_8^12 - 47299051296837/5510083036099*c_0110_8^11 + 24477935378569/5510083036099*c_0110_8^10 - 56144443111958/5510083036099*c_0110_8^9 - 95946235552419/11020166072198*c_0110_8^8 - 297323997857491/11020166072198*c_0110_8^7 + 71738020849514/5510083036099*c_0110_8^6 + 222739914273451/11020166072198*c_0110_8^5 + 39487243961853/5510083036099*c_0110_8^4 - 33818338215175/11020166072198*c_0110_8^3 - 29308264998025/11020166072198*c_0110_8^2 + 123989613121193/11020166072198*c_0110_8 - 15315445550718/5510083036099, c_0110_6 + 44671661539505/22040332144396*c_0110_8^12 - 48575770482169/11020166072198*c_0110_8^11 + 25984688881409/11020166072198*c_0110_8^10 - 30579337206434/5510083036099*c_0110_8^9 - 24217130906965/5510083036099*c_0110_8^8 - 158631778708423/11020166072198*c_0110_8^7 + 130066460578053/22040332144396*c_0110_8^6 + 110317881785073/11020166072198*c_0110_8^5 + 86610209467705/22040332144396*c_0110_8^4 - 4216297548087/5510083036099*c_0110_8^3 - 7673688278791/5510083036099*c_0110_8^2 + 71347222255843/11020166072198*c_0110_8 - 29400045025321/22040332144396, c_0110_8^13 - 27/11*c_0110_8^12 + 18/11*c_0110_8^11 - 30/11*c_0110_8^10 - 18/11*c_0110_8^9 - 68/11*c_0110_8^8 + 59/11*c_0110_8^7 + 51/11*c_0110_8^6 + 1/11*c_0110_8^5 - 17/11*c_0110_8^4 - 6/11*c_0110_8^3 + 34/11*c_0110_8^2 - 17/11*c_0110_8 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB