Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 3103335545] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0318 geometric_solution 4.35263533 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 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 1.977098430643 0.498858519325 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 1 0 1 0 -1 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.283675237118 0.940189266343 4 1 3 3 0132 0132 1302 2031 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 1 0 -1 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.340459923204 0.342818413751 2 2 4 1 2031 1302 2310 0132 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 0 0 0 1 0 -1 0 0 -1 1 -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.340459923204 0.342818413751 2 3 5 5 0132 3201 2310 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 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.710017714320 2.059397740067 6 4 4 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.196222030593 0.363376869170 5 5 6 6 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.609016385499 0.662103220440 ==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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : 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_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 23908645340/3651949049*c_0101_6^10 + 126909080674/3651949049*c_0101_6^9 + 30784795331/3651949049*c_0101_6^8 - 353394673232/3651949049*c_0101_6^7 - 10916243869/521707007*c_0101_6^6 + 33217627250/521707007*c_0101_6^5 - 6569475061/3651949049*c_0101_6^4 - 77035340779/3651949049*c_0101_6^3 - 20353503663/3651949049*c_0101_6^2 + 112965018722/3651949049*c_0101_6 - 13778126683/3651949049, c_0011_0 - 1, c_0011_3 - 498121300/521707007*c_0101_6^10 - 2439782300/521707007*c_0101_6^9 + 248295178/521707007*c_0101_6^8 + 6340033735/521707007*c_0101_6^7 - 2992379860/521707007*c_0101_6^6 - 3042429912/521707007*c_0101_6^5 + 5050679837/521707007*c_0101_6^4 - 1490192975/521707007*c_0101_6^3 - 546789244/521707007*c_0101_6^2 - 368990654/521707007*c_0101_6 + 67003109/521707007, c_0011_5 - 145096095/521707007*c_0101_6^10 - 562838307/521707007*c_0101_6^9 + 969118008/521707007*c_0101_6^8 + 2723877786/521707007*c_0101_6^7 - 2223466917/521707007*c_0101_6^6 - 1709619323/521707007*c_0101_6^5 + 2363357461/521707007*c_0101_6^4 - 995266186/521707007*c_0101_6^3 - 882645658/521707007*c_0101_6^2 - 241438886/521707007*c_0101_6 + 168560509/521707007, c_0101_0 - 99574525/521707007*c_0101_6^10 - 935277170/521707007*c_0101_6^9 - 1997500658/521707007*c_0101_6^8 + 2422785280/521707007*c_0101_6^7 + 6402855545/521707007*c_0101_6^6 - 3630540988/521707007*c_0101_6^5 - 2775417845/521707007*c_0101_6^4 + 2977626735/521707007*c_0101_6^3 - 2085507838/521707007*c_0101_6^2 + 97207753/521707007*c_0101_6 - 705424506/521707007, c_0101_1 - 178976965/521707007*c_0101_6^10 - 534092709/521707007*c_0101_6^9 + 1628658373/521707007*c_0101_6^8 + 1354320690/521707007*c_0101_6^7 - 5721116618/521707007*c_0101_6^6 + 2795674895/521707007*c_0101_6^5 + 3927911929/521707007*c_0101_6^4 - 5072128687/521707007*c_0101_6^3 + 1942953332/521707007*c_0101_6^2 - 216714502/521707007*c_0101_6 + 410375923/521707007, c_0101_4 + 513992510/521707007*c_0101_6^10 + 2573285516/521707007*c_0101_6^9 + 141092837/521707007*c_0101_6^8 - 5957817953/521707007*c_0101_6^7 + 2262216570/521707007*c_0101_6^6 + 1603770254/521707007*c_0101_6^5 - 3967625031/521707007*c_0101_6^4 + 2031542120/521707007*c_0101_6^3 - 1189794556/521707007*c_0101_6^2 + 1433534836/521707007*c_0101_6 - 175391487/521707007, c_0101_6^11 + 23/5*c_0101_6^10 - 2*c_0101_6^9 - 13*c_0101_6^8 + 43/5*c_0101_6^7 + 21/5*c_0101_6^6 - 46/5*c_0101_6^5 + 6*c_0101_6^4 - 11/5*c_0101_6^3 + 2*c_0101_6^2 - 2/5*c_0101_6 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB