Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 3583265042] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2168 geometric_solution 5.63902531 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 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 1 -1 0 1 0 0 -1 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.892012586342 1.602811556310 0 4 2 5 0132 3012 1302 0132 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 -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.236685247782 0.475514163695 1 0 3 4 2031 0132 2310 3201 0 0 0 0 0 -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 -1 0 1 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 1.443045963079 0.799285086957 5 2 6 0 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683855615168 0.487380773356 1 2 0 5 1230 2310 0132 2031 0 0 0 0 0 -1 1 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 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.419379255404 0.838974142147 3 4 1 6 0132 1302 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 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.149366231888 0.713641712133 6 6 5 3 1230 3012 2031 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 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.355339878241 0.358321155787 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_1010_5']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_1010_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1010_5']), 'c_1100_3' : negation(d['c_1010_5']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_1001_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_1001_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_2, c_1001_0, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 18218693867/13348390416*c_1010_5^13 + 5326294701/556182934*c_1010_5^12 - 122173498567/4449463472*c_1010_5^11 + 634259670701/13348390416*c_1010_5^10 - 353933681059/4449463472*c_1010_5^9 + 1900011805009/13348390416*c_1010_5^8 - 286025563993/1668548802*c_1010_5^7 + 184074828581/1668548802*c_1010_5^6 - 20317519395/278091467*c_1010_5^5 + 733069040753/13348390416*c_1010_5^4 + 261890741025/2224731736*c_1010_5^3 - 3869436848003/13348390416*c_1010_5^2 + 979378479773/4449463472*c_1010_5 - 798850104271/13348390416, c_0011_0 - 1, c_0011_3 - 7327990/14636393*c_1010_5^13 + 37634302/14636393*c_1010_5^12 - 77681371/14636393*c_1010_5^11 + 117482532/14636393*c_1010_5^10 - 230726943/14636393*c_1010_5^9 + 367202192/14636393*c_1010_5^8 - 286553451/14636393*c_1010_5^7 + 166904095/14636393*c_1010_5^6 - 206143987/14636393*c_1010_5^5 - 47143438/14636393*c_1010_5^4 + 493362231/14636393*c_1010_5^3 - 554756413/14636393*c_1010_5^2 + 250971535/14636393*c_1010_5 - 41639687/14636393, c_0011_6 + 8978486/14636393*c_1010_5^13 - 41065785/14636393*c_1010_5^12 + 74182195/14636393*c_1010_5^11 - 110196821/14636393*c_1010_5^10 + 233136164/14636393*c_1010_5^9 - 340025904/14636393*c_1010_5^8 + 207835117/14636393*c_1010_5^7 - 147026764/14636393*c_1010_5^6 + 200725156/14636393*c_1010_5^5 + 131937420/14636393*c_1010_5^4 - 498845693/14636393*c_1010_5^3 + 446514363/14636393*c_1010_5^2 - 156090892/14636393*c_1010_5 + 35526650/14636393, c_0101_0 + 2283439/14636393*c_1010_5^13 - 11698007/14636393*c_1010_5^12 + 23897877/14636393*c_1010_5^11 - 35407490/14636393*c_1010_5^10 + 68986166/14636393*c_1010_5^9 - 110517626/14636393*c_1010_5^8 + 84485600/14636393*c_1010_5^7 - 42104050/14636393*c_1010_5^6 + 55773718/14636393*c_1010_5^5 + 11503372/14636393*c_1010_5^4 - 157576176/14636393*c_1010_5^3 + 183254881/14636393*c_1010_5^2 - 57719871/14636393*c_1010_5 + 2449003/14636393, c_0101_2 - 7308403/14636393*c_1010_5^13 + 35547663/14636393*c_1010_5^12 - 68682559/14636393*c_1010_5^11 + 102063363/14636393*c_1010_5^10 - 208364847/14636393*c_1010_5^9 + 320708279/14636393*c_1010_5^8 - 225720304/14636393*c_1010_5^7 + 140460158/14636393*c_1010_5^6 - 189038624/14636393*c_1010_5^5 - 69947706/14636393*c_1010_5^4 + 443366921/14636393*c_1010_5^3 - 455154704/14636393*c_1010_5^2 + 188120255/14636393*c_1010_5 - 31542278/14636393, c_1001_0 - 994352/14636393*c_1010_5^13 + 5395823/14636393*c_1010_5^12 - 11964153/14636393*c_1010_5^11 + 18449925/14636393*c_1010_5^10 - 33673905/14636393*c_1010_5^9 + 52860463/14636393*c_1010_5^8 - 43090106/14636393*c_1010_5^7 + 21304562/14636393*c_1010_5^6 - 19768739/14636393*c_1010_5^5 - 12890389/14636393*c_1010_5^4 + 73495974/14636393*c_1010_5^3 - 80256938/14636393*c_1010_5^2 + 36131572/14636393*c_1010_5 + 2328253/14636393, c_1010_5^14 - 6*c_1010_5^13 + 15*c_1010_5^12 - 25*c_1010_5^11 + 45*c_1010_5^10 - 77*c_1010_5^9 + 82*c_1010_5^8 - 56*c_1010_5^7 + 48*c_1010_5^6 - 19*c_1010_5^5 - 72*c_1010_5^4 + 133*c_1010_5^3 - 99*c_1010_5^2 + 35*c_1010_5 - 6 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB