Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 2850567562] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s317 geometric_solution 4.49426343 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 1 0 -1 1 0 0 -1 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 0 -1 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 0 0 0 -2.477181540017 2.895338657981 0 0 3 2 0132 3201 0132 0132 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 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.159955054077 0.267455401689 3 3 1 4 1230 1023 0132 0132 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 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.273484919775 1.113917299591 2 2 4 1 1023 3012 3201 0132 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 1 -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.273484919775 1.113917299591 3 5 2 5 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.712987588532 1.618555432553 4 4 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.208077312728 0.386727512018 ==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' : 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_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_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_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 197505938626694136/30285450444895525*c_0110_5^15 - 142032380566235673/30285450444895525*c_0110_5^14 - 5090212680863568468/30285450444895525*c_0110_5^13 + 1265979769673388523/30285450444895525*c_0110_5^12 + 46800032407187841407/30285450444895525*c_0110_5^11 - 17754863357350493141/30285450444895525*c_0110_5^10 - 264015280345438543168/30285450444895525*c_0110_5^9 + 222856094130990386592/30285450444895525*c_0110_5^8 + 541284842503995336121/30285450444895525*c_0110_5^7 - 377792989986284796598/30285450444895525*c_0110_5^6 - 22416387923581681522/1211418017795821*c_0110_5^5 + 17472449285801368357/2753222767717775*c_0110_5^4 + 51439929018782054594/6057090088979105*c_0110_5^3 - 2137443602148078507/2753222767717775*c_0110_5^2 - 5613888717386206189/6057090088979105*c_0110_5 + 6410279742433427413/30285450444895525, c_0011_0 - 1, c_0011_2 - 52507122168510/110128910708711*c_0110_5^15 - 146458916776864/110128910708711*c_0110_5^14 + 694896913904147/110128910708711*c_0110_5^13 + 1566546082381285/110128910708711*c_0110_5^12 - 5459977132158145/110128910708711*c_0110_5^11 - 8583070937034620/110128910708711*c_0110_5^10 + 29672845795954960/110128910708711*c_0110_5^9 + 9886115396627534/110128910708711*c_0110_5^8 - 54171648273475827/110128910708711*c_0110_5^7 - 2328775949415434/110128910708711*c_0110_5^6 + 43943680401297028/110128910708711*c_0110_5^5 - 2328473351812958/110128910708711*c_0110_5^4 - 16819247727068215/110128910708711*c_0110_5^3 + 1629740686002926/110128910708711*c_0110_5^2 + 2264109191770397/110128910708711*c_0110_5 - 465447478681970/110128910708711, c_0011_4 - 126039345934469/110128910708711*c_0110_5^15 - 416330398210373/110128910708711*c_0110_5^14 + 1422501551830961/110128910708711*c_0110_5^13 + 4419538237888723/110128910708711*c_0110_5^12 - 10379500031788994/110128910708711*c_0110_5^11 - 25201962906794066/110128910708711*c_0110_5^10 + 54703243997012926/110128910708711*c_0110_5^9 + 48258538994077188/110128910708711*c_0110_5^8 - 86448274915216182/110128910708711*c_0110_5^7 - 51974431936619225/110128910708711*c_0110_5^6 + 52301448597145622/110128910708711*c_0110_5^5 + 24515749891439151/110128910708711*c_0110_5^4 - 12161494425899602/110128910708711*c_0110_5^3 - 1817065679051263/110128910708711*c_0110_5^2 + 1570246738990888/110128910708711*c_0110_5 - 266819964243155/110128910708711, c_0101_0 + 87826985527503/110128910708711*c_0110_5^15 + 288147438420740/110128910708711*c_0110_5^14 - 1000153637293444/110128910708711*c_0110_5^13 - 3069217967589792/110128910708711*c_0110_5^12 + 7316188344298936/110128910708711*c_0110_5^11 + 17521636946344571/110128910708711*c_0110_5^10 - 38582570354771953/110128910708711*c_0110_5^9 - 33511749622739202/110128910708711*c_0110_5^8 + 61334940058468406/110128910708711*c_0110_5^7 + 37050687739074873/110128910708711*c_0110_5^6 - 37621647654254066/110128910708711*c_0110_5^5 - 18589501068557521/110128910708711*c_0110_5^4 + 8644200033509664/110128910708711*c_0110_5^3 + 1586157174216646/110128910708711*c_0110_5^2 - 1149095385784438/110128910708711*c_0110_5 + 236168256643180/110128910708711, c_0101_1 - 154026236166569/110128910708711*c_0110_5^15 - 468237433997987/110128910708711*c_0110_5^14 + 1884354848617718/110128910708711*c_0110_5^13 + 4987442582632394/110128910708711*c_0110_5^12 - 14222213756539591/110128910708711*c_0110_5^11 - 27911773765436986/110128910708711*c_0110_5^10 + 75737652986946397/110128910708711*c_0110_5^9 + 43965490002320617/110128910708711*c_0110_5^8 - 125099091134568179/110128910708711*c_0110_5^7 - 41273053763252000/110128910708711*c_0110_5^6 + 84959748980540706/110128910708711*c_0110_5^5 + 20457384669291976/110128910708711*c_0110_5^4 - 24380500782551961/110128910708711*c_0110_5^3 - 1813294888995767/110128910708711*c_0110_5^2 + 2912217600195522/110128910708711*c_0110_5 - 425477542432515/110128910708711, c_0110_5^16 + 4*c_0110_5^15 - 9*c_0110_5^14 - 43*c_0110_5^13 + 58*c_0110_5^12 + 258*c_0110_5^11 - 295*c_0110_5^10 - 689*c_0110_5^9 + 420*c_0110_5^8 + 899*c_0110_5^7 - 121*c_0110_5^6 - 493*c_0110_5^5 - 51*c_0110_5^4 + 83*c_0110_5^3 + c_0110_5^2 - 7*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB