Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 779072010] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s279 geometric_solution 4.44982989 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804920433622 0.174749228510 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -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 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 0.845148271832 0.353621896365 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 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 -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 1.489800960654 0.468729460814 2 4 4 5 0132 0213 2310 0132 0 0 0 0 0 0 0 0 1 0 -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 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.355097718437 0.601668712287 5 3 3 2 0132 3201 0213 0132 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 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.355097718437 0.601668712287 4 5 3 5 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.144940542775 2.189815091604 ==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_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 224359853/48573985*c_0101_3^13 - 1383164761/48573985*c_0101_3^12 - 2733349754/48573985*c_0101_3^11 - 656016969/48573985*c_0101_3^10 + 5405356494/48573985*c_0101_3^9 + 9514468513/48573985*c_0101_3^8 + 8459254639/48573985*c_0101_3^7 + 6488967083/48573985*c_0101_3^6 + 1440496557/9714797*c_0101_3^5 + 6472855973/48573985*c_0101_3^4 + 3604991692/48573985*c_0101_3^3 + 493695903/9714797*c_0101_3^2 + 227126694/48573985*c_0101_3 - 571268438/48573985, c_0011_0 - 1, c_0011_4 - 71863/334993*c_0101_3^13 - 388615/334993*c_0101_3^12 - 565065/334993*c_0101_3^11 + 314534/334993*c_0101_3^10 + 1716963/334993*c_0101_3^9 + 1944609/334993*c_0101_3^8 + 969067/334993*c_0101_3^7 + 436731/334993*c_0101_3^6 + 936134/334993*c_0101_3^5 + 601865/334993*c_0101_3^4 - 113331/334993*c_0101_3^3 + 27541/334993*c_0101_3^2 - 462209/334993*c_0101_3 - 74407/334993, c_0101_0 - 29300/334993*c_0101_3^13 - 163187/334993*c_0101_3^12 - 250531/334993*c_0101_3^11 + 163059/334993*c_0101_3^10 + 930778/334993*c_0101_3^9 + 973375/334993*c_0101_3^8 + 112264/334993*c_0101_3^7 - 351847/334993*c_0101_3^6 + 28876/334993*c_0101_3^5 - 86370/334993*c_0101_3^4 - 516968/334993*c_0101_3^3 - 625935/334993*c_0101_3^2 - 249164/334993*c_0101_3 - 146270/334993, c_0101_1 + 330919/334993*c_0101_3^13 + 1990309/334993*c_0101_3^12 + 3760510/334993*c_0101_3^11 + 501015/334993*c_0101_3^10 - 8059090/334993*c_0101_3^9 - 13114031/334993*c_0101_3^8 - 10691041/334993*c_0101_3^7 - 7730369/334993*c_0101_3^6 - 9414296/334993*c_0101_3^5 - 8623959/334993*c_0101_3^4 - 4465389/334993*c_0101_3^3 - 2682028/334993*c_0101_3^2 + 27689/334993*c_0101_3 + 800109/334993, c_0101_2 + 74407/334993*c_0101_3^13 + 518305/334993*c_0101_3^12 + 1207092/334993*c_0101_3^11 + 565065/334993*c_0101_3^10 - 2249116/334993*c_0101_3^9 - 4544429/334993*c_0101_3^8 - 3953598/334993*c_0101_3^7 - 2308393/334993*c_0101_3^6 - 2222499/334993*c_0101_3^5 - 2498681/334993*c_0101_3^4 - 1197121/334993*c_0101_3^3 - 333111/334993*c_0101_3^2 + 121273/334993*c_0101_3 + 424844/334993, c_0101_3^14 + 6*c_0101_3^13 + 11*c_0101_3^12 - 26*c_0101_3^10 - 38*c_0101_3^9 - 27*c_0101_3^8 - 18*c_0101_3^7 - 24*c_0101_3^6 - 21*c_0101_3^5 - 8*c_0101_3^4 - 6*c_0101_3^3 + 2*c_0101_3^2 + 4*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB