Magma V2.19-8 Tue Aug 20 2013 23:43:55 on localhost [Seed = 1478376777] Type ? for help. Type -D to quit. Loading file "L14n13348__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13348 geometric_solution 10.41405789 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 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.606496685245 0.857569273798 0 5 4 6 0132 0132 0132 0132 1 1 1 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 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 0 0 0 0 0 0 0 0.224228360981 0.409893581285 7 0 8 7 0132 0132 0132 0213 1 1 1 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 -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.871407832194 1.065608646583 9 9 10 0 0132 1302 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 -1 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 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.871407832194 1.065608646583 5 5 0 1 2310 1302 0132 0132 1 1 1 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 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.039872959485 1.023040925038 6 1 4 4 1023 0132 3201 2031 1 1 1 1 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 1 -1 0 0 0 0 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.039872959485 1.023040925038 7 5 1 10 1023 1023 0132 0132 1 1 1 1 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 -1 0 1 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.606496685245 0.857569273797 2 6 9 2 0132 1023 1023 0213 1 1 1 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 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.871407832194 1.065608646583 9 10 10 2 1302 0132 1302 0132 1 1 1 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111619551773 0.924961150633 3 8 7 3 0132 2031 1023 2031 1 1 0 1 0 -1 0 1 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 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 0.111619551773 0.924961150633 8 8 6 3 2031 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 -1 2 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871407832194 1.065608646583 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0110_5'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0101_3'], 'c_1010_10' : d['c_0101_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_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_0']), 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_10'], 'c_1100_10' : d['c_1100_0'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_0110_5'], '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' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], '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_10' : d['c_0101_3'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], '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_2']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_5, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 3796525264182051066980/33395770536955752177*c_1001_0^12 + 11613018676263127787999/66791541073911504354*c_1001_0^11 - 10953613647118612815280/33395770536955752177*c_1001_0^10 - 7181916515698913304656/33395770536955752177*c_1001_0^9 - 66520869904784027452865/22263847024637168118*c_1001_0^8 - 175841284228701785130071/33395770536955752177*c_1001_0^7 - 113852170756395169088441/33395770536955752177*c_1001_0^6 - 938241485273298829669015/66791541073911504354*c_1001_0^5 - 59867119094402985466891/7421282341545722706*c_1001_0^4 - 131668918674431219960273/33395770536955752177*c_1001_0^3 - 5495984728449438993607/4770824362422250311*c_1001_0^2 - 4191539590503701982823/22263847024637168118*c_1001_0 - 3240469352340546070411/66791541073911504354, c_0011_0 - 1, c_0011_10 + 1, c_0011_4 + 2696959290149035624/530091595824694479*c_1001_0^12 - 4189659502988646515/530091595824694479*c_1001_0^11 + 7772131019240270483/530091595824694479*c_1001_0^10 + 5186982797404329403/530091595824694479*c_1001_0^9 + 23423106166754506736/176697198608231493*c_1001_0^8 + 123322587847812543163/530091595824694479*c_1001_0^7 + 75211718989095674524/530091595824694479*c_1001_0^6 + 329030460930936679105/530091595824694479*c_1001_0^5 + 20519294168841922957/58899066202743831*c_1001_0^4 + 77759128363622183710/530091595824694479*c_1001_0^3 + 29791904673436592837/530091595824694479*c_1001_0^2 + 1942890257842859533/176697198608231493*c_1001_0 + 1792372122238106899/530091595824694479, c_0101_0 - 220547073234430364/530091595824694479*c_1001_0^12 + 853134808666847537/1060183191649388958*c_1001_0^11 - 833378494609888927/530091595824694479*c_1001_0^10 - 43520890562453264/530091595824694479*c_1001_0^9 - 3904628276482655405/353394397216462986*c_1001_0^8 - 7880265078363960527/530091595824694479*c_1001_0^7 - 4096108675711195061/530091595824694479*c_1001_0^6 - 53521409037841021921/1060183191649388958*c_1001_0^5 - 1298091436430554327/117798132405487662*c_1001_0^4 - 8789251585680117494/530091595824694479*c_1001_0^3 - 851926318045778410/530091595824694479*c_1001_0^2 - 1534930327187397337/353394397216462986*c_1001_0 - 86493377473115239/1060183191649388958, c_0101_1 - 85362301396676/17027772825309*c_1001_0^12 + 316487259936935/34055545650618*c_1001_0^11 - 304646522810134/17027772825309*c_1001_0^10 - 51981287277731/17027772825309*c_1001_0^9 - 1497525202680997/11351848550206*c_1001_0^8 - 3239443317012479/17027772825309*c_1001_0^7 - 1692667405221182/17027772825309*c_1001_0^6 - 20651023804945345/34055545650618*c_1001_0^5 - 1939087865791121/11351848550206*c_1001_0^4 - 2862795312348593/17027772825309*c_1001_0^3 - 434185274148097/17027772825309*c_1001_0^2 - 126469539809257/11351848550206*c_1001_0 - 46211801945863/34055545650618, c_0101_10 + c_1001_0, c_0101_2 + 30285155376255628/530091595824694479*c_1001_0^12 - 162766864909545493/1060183191649388958*c_1001_0^11 + 156017259743559647/530091595824694479*c_1001_0^10 - 80076757745463740/530091595824694479*c_1001_0^9 + 533936920480136209/353394397216462986*c_1001_0^8 + 465741294011771926/530091595824694479*c_1001_0^7 - 341855521290843506/530091595824694479*c_1001_0^6 + 6158370025658139263/1060183191649388958*c_1001_0^5 - 474423943895368651/117798132405487662*c_1001_0^4 + 502561637164253428/530091595824694479*c_1001_0^3 - 1251707071836365122/530091595824694479*c_1001_0^2 + 20784128566166963/353394397216462986*c_1001_0 + 285556203837193637/1060183191649388958, c_0101_3 - 1142224815348774548/530091595824694479*c_1001_0^12 + 4343913368310415811/1060183191649388958*c_1001_0^11 - 4221948388094080483/530091595824694479*c_1001_0^10 - 415095147930827627/530091595824694479*c_1001_0^9 - 20137504175046261629/353394397216462986*c_1001_0^8 - 41889747092940244418/530091595824694479*c_1001_0^7 - 21807642605289331760/530091595824694479*c_1001_0^6 - 277387672560822321265/1060183191649388958*c_1001_0^5 - 7438224239629270201/117798132405487662*c_1001_0^4 - 42255554386654864928/530091595824694479*c_1001_0^3 - 4923006235742425675/530091595824694479*c_1001_0^2 - 3594848018317115239/353394397216462986*c_1001_0 - 508760021975886385/1060183191649388958, c_0110_5 + 220547073234430364/530091595824694479*c_1001_0^12 - 853134808666847537/1060183191649388958*c_1001_0^11 + 833378494609888927/530091595824694479*c_1001_0^10 + 43520890562453264/530091595824694479*c_1001_0^9 + 3904628276482655405/353394397216462986*c_1001_0^8 + 7880265078363960527/530091595824694479*c_1001_0^7 + 4096108675711195061/530091595824694479*c_1001_0^6 + 53521409037841021921/1060183191649388958*c_1001_0^5 + 1298091436430554327/117798132405487662*c_1001_0^4 + 8789251585680117494/530091595824694479*c_1001_0^3 + 851926318045778410/530091595824694479*c_1001_0^2 + 1534930327187397337/353394397216462986*c_1001_0 + 86493377473115239/1060183191649388958, c_1001_0^13 - 15/8*c_1001_0^12 + 29/8*c_1001_0^11 + 1/2*c_1001_0^10 + 211/8*c_1001_0^9 + 299/8*c_1001_0^8 + 39/2*c_1001_0^7 + 969/8*c_1001_0^6 + 32*c_1001_0^5 + 281/8*c_1001_0^4 + 19/4*c_1001_0^3 + 29/8*c_1001_0^2 + 1/4*c_1001_0 + 1/8, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB