Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 2033771931] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0598 geometric_solution 4.60986205 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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.434111531969 0.058582021934 2 0 3 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.500336875981 0.770789982786 1 3 4 5 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 -1 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.292873006940 1.356269258457 4 5 2 1 2103 2031 2310 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 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.292873006940 1.356269258457 6 6 3 2 0132 2310 2103 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 -1 1 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.189823784374 1.131075722193 3 6 2 6 1302 0213 0132 2031 0 0 0 0 0 1 0 -1 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 0 -1 0 0 1 -1 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.558509062288 0.419692132375 4 5 5 4 0132 1302 0213 3201 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 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.441490937712 0.419692132375 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0110_0'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0110_0'], 'c_1010_0' : d['c_0011_5']})} 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_4, c_0011_5, c_0101_3, c_0110_0, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 90103846901245/105388663416*c_0110_5^14 - 194757878078993/26347165854*c_0110_5^13 + 1754117116746323/52694331708*c_0110_5^12 - 872404878520175/8782388618*c_0110_5^11 + 26647398918056653/105388663416*c_0110_5^10 - 23514205662512053/52694331708*c_0110_5^9 + 5558759077104793/8782388618*c_0110_5^8 - 75811411924938457/105388663416*c_0110_5^7 + 74787857346429433/105388663416*c_0110_5^6 - 19517485265694663/35129554472*c_0110_5^5 + 4738393429627069/13173582927*c_0110_5^4 - 20219327928124087/105388663416*c_0110_5^3 + 8606948242519045/105388663416*c_0110_5^2 - 2311768101244451/105388663416*c_0110_5 + 244297394220685/105388663416, c_0011_0 - 1, c_0011_3 + 46085815016/4391194309*c_0110_5^14 - 398497166085/4391194309*c_0110_5^13 + 1795297863263/4391194309*c_0110_5^12 - 5360486952626/4391194309*c_0110_5^11 + 13651866624871/4391194309*c_0110_5^10 - 24113703376529/4391194309*c_0110_5^9 + 34257520540871/4391194309*c_0110_5^8 - 38980563553692/4391194309*c_0110_5^7 + 38523871887633/4391194309*c_0110_5^6 - 30217534948082/4391194309*c_0110_5^5 + 19637518754729/4391194309*c_0110_5^4 - 10492793165763/4391194309*c_0110_5^3 + 4496139272855/4391194309*c_0110_5^2 - 1218198196697/4391194309*c_0110_5 + 135711902957/4391194309, c_0011_4 - 70087406041/4391194309*c_0110_5^14 + 607159724300/4391194309*c_0110_5^13 - 2739028996775/4391194309*c_0110_5^12 + 8188066810451/4391194309*c_0110_5^11 - 20858613006326/4391194309*c_0110_5^10 + 36909388479635/4391194309*c_0110_5^9 - 52447994502046/4391194309*c_0110_5^8 + 59733798374571/4391194309*c_0110_5^7 - 59018396392236/4391194309*c_0110_5^6 + 46352012644886/4391194309*c_0110_5^5 - 30102573096858/4391194309*c_0110_5^4 + 16103811255124/4391194309*c_0110_5^3 - 6900734131288/4391194309*c_0110_5^2 + 1878459444065/4391194309*c_0110_5 - 211242294341/4391194309, c_0011_5 - 89626087941/4391194309*c_0110_5^14 + 776824145512/4391194309*c_0110_5^13 - 3506104894846/4391194309*c_0110_5^12 + 10486762568521/4391194309*c_0110_5^11 - 26722557719012/4391194309*c_0110_5^10 + 47325793152639/4391194309*c_0110_5^9 - 67297998220782/4391194309*c_0110_5^8 + 76723568672922/4391194309*c_0110_5^7 - 75850014900085/4391194309*c_0110_5^6 + 59642053361607/4391194309*c_0110_5^5 - 38764818928110/4391194309*c_0110_5^4 + 20761651688383/4391194309*c_0110_5^3 - 8896362481814/4391194309*c_0110_5^2 + 2428376707868/4391194309*c_0110_5 - 274632735830/4391194309, c_0101_3 + c_0110_5, c_0110_0 - 25761386176/4391194309*c_0110_5^14 + 228277476079/4391194309*c_0110_5^13 - 1049636274727/4391194309*c_0110_5^12 + 3197722112591/4391194309*c_0110_5^11 - 8213234297229/4391194309*c_0110_5^10 + 14941299841273/4391194309*c_0110_5^9 - 21603215438114/4391194309*c_0110_5^8 + 25167927297569/4391194309*c_0110_5^7 - 25210036451948/4391194309*c_0110_5^6 + 20434631807783/4391194309*c_0110_5^5 - 13567482896427/4391194309*c_0110_5^4 + 7473289879022/4391194309*c_0110_5^3 - 3308656932434/4391194309*c_0110_5^2 + 993979814977/4391194309*c_0110_5 - 128834883704/4391194309, c_0110_5^15 - 9*c_0110_5^14 + 42*c_0110_5^13 - 130*c_0110_5^12 + 337*c_0110_5^11 - 627*c_0110_5^10 + 926*c_0110_5^9 - 1105*c_0110_5^8 + 1130*c_0110_5^7 - 946*c_0110_5^6 + 653*c_0110_5^5 - 375*c_0110_5^4 + 176*c_0110_5^3 - 60*c_0110_5^2 + 12*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB