Magma V2.19-8 Tue Aug 20 2013 16:14:43 on localhost [Seed = 1848636017] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s705 geometric_solution 5.21275108 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 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.605296844697 1.071082566627 0 5 5 4 0132 0132 2103 1023 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 -1 0 0 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466322170209 0.919725106033 3 0 3 4 0213 0132 3012 3201 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 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.295684453549 0.672106087295 2 2 5 0 0213 1230 1230 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 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.344036239333 0.243765672127 5 2 0 1 2310 2310 0132 1023 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 1 -1 -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.548421077788 1.246589532719 1 1 4 3 2103 0132 3201 3012 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 0 0 0 0 0 0 0 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.339493881558 0.497775404568 ==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' : negation(d['1']), 's_1_5' : negation(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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_5'], 'c_1100_1' : negation(d['c_0110_5']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 22598831/8121960*c_0110_5^9 + 3598097/184590*c_0110_5^8 - 56834431/1015245*c_0110_5^7 + 100379329/1353660*c_0110_5^6 - 79500431/2707320*c_0110_5^5 - 29793613/738360*c_0110_5^4 + 96746647/8121960*c_0110_5^3 + 177316109/2030490*c_0110_5^2 - 64600007/738360*c_0110_5 + 384007091/8121960, c_0011_0 - 1, c_0011_3 + 816/22561*c_0110_5^9 - 1275/4102*c_0110_5^8 + 47237/45122*c_0110_5^7 - 73299/45122*c_0110_5^6 + 34919/45122*c_0110_5^5 + 1894/2051*c_0110_5^4 - 41915/45122*c_0110_5^3 - 27721/22561*c_0110_5^2 + 3560/2051*c_0110_5 - 23585/45122, c_0011_4 + 1009/22561*c_0110_5^9 - 596/2051*c_0110_5^8 + 16528/22561*c_0110_5^7 - 18734/22561*c_0110_5^6 + 9327/22561*c_0110_5^5 - 76/2051*c_0110_5^4 + 11397/22561*c_0110_5^3 - 29605/22561*c_0110_5^2 + 1044/2051*c_0110_5 - 18328/22561, c_0101_0 - 816/22561*c_0110_5^9 + 1275/4102*c_0110_5^8 - 47237/45122*c_0110_5^7 + 73299/45122*c_0110_5^6 - 34919/45122*c_0110_5^5 - 1894/2051*c_0110_5^4 + 41915/45122*c_0110_5^3 + 50282/22561*c_0110_5^2 - 5611/2051*c_0110_5 + 23585/45122, c_0101_1 - 12157/90244*c_0110_5^9 + 3499/4102*c_0110_5^8 - 96193/45122*c_0110_5^7 + 47452/22561*c_0110_5^6 + 5459/90244*c_0110_5^5 - 13795/8204*c_0110_5^4 - 106461/90244*c_0110_5^3 + 85077/22561*c_0110_5^2 - 14089/8204*c_0110_5 + 61155/90244, c_0110_5^10 - 7*c_0110_5^9 + 20*c_0110_5^8 - 26*c_0110_5^7 + 9*c_0110_5^6 + 16*c_0110_5^5 - 4*c_0110_5^4 - 33*c_0110_5^3 + 31*c_0110_5^2 - 14*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB