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