Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 54697515] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2514 geometric_solution 5.83477883 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.435554628581 0.252596779364 2 0 3 0 0132 2310 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 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.846369041801 0.743789251424 1 4 3 5 0132 0132 3012 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 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 1.105031136192 1.084946347600 5 2 4 1 1023 1230 1023 0132 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 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105031136192 1.084946347600 6 2 3 6 0132 0132 1023 3201 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 -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.299432848228 0.416650783325 5 3 2 5 3201 1023 0132 2310 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 -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.692161605102 0.626982901383 4 4 6 6 0132 2310 2031 1302 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 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.601714874264 1.890594039897 ==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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 13464078129566457/3346609172779136*c_0101_6^14 - 120487478540785991/3346609172779136*c_0101_6^13 - 163156971253424421/3346609172779136*c_0101_6^12 + 478330968536498393/3346609172779136*c_0101_6^11 + 152430733535139837/1673304586389568*c_0101_6^10 - 228594501102066365/418326146597392*c_0101_6^9 + 323902730468962453/3346609172779136*c_0101_6^8 + 385424421418194967/418326146597392*c_0101_6^7 - 972005122185377647/3346609172779136*c_0101_6^6 - 49138022916525225/418326146597392*c_0101_6^5 + 618130590130203407/3346609172779136*c_0101_6^4 + 32656140124450011/836652293194784*c_0101_6^3 + 3541357232607921/76059299381344*c_0101_6^2 - 9232077813986655/418326146597392*c_0101_6 - 18067738931516111/3346609172779136, c_0011_0 - 1, c_0011_1 + 652019499457/962775941536*c_0101_6^14 + 5125646074507/962775941536*c_0101_6^13 + 1952317206421/962775941536*c_0101_6^12 - 28514800586637/962775941536*c_0101_6^11 + 6329400910539/481387970768*c_0101_6^10 + 5528257878423/60173496346*c_0101_6^9 - 108548634309477/962775941536*c_0101_6^8 - 19905025616075/240693985384*c_0101_6^7 + 158419528435803/962775941536*c_0101_6^6 - 10947375508131/120346992692*c_0101_6^5 + 25834256975769/962775941536*c_0101_6^4 - 541084551519/30086748173*c_0101_6^3 + 1122591976047/120346992692*c_0101_6^2 + 1335586838137/240693985384*c_0101_6 - 1388274729349/962775941536, c_0011_3 - 1296076608151/1925551883072*c_0101_0*c_0101_6^14 - 9869823637305/1925551883072*c_0101_0*c_0101_6^13 - 1245306456587/1925551883072*c_0101_0*c_0101_6^12 + 58667298325063/1925551883072*c_0101_0*c_0101_6^11 - 19275794618573/962775941536*c_0101_0*c_0101_6^10 - 21876065621823/240693985384*c_0101_0*c_0101_6^9 + 260986160417371/1925551883072*c_0101_0*c_0101_6^8 + 15294055058751/240693985384*c_0101_0*c_0101_6^7 - 373045822254705/1925551883072*c_0101_0*c_0101_6^6 + 29464156058169/240693985384*c_0101_0*c_0101_6^5 - 65348580750111/1925551883072*c_0101_0*c_0101_6^4 + 7330070742641/481387970768*c_0101_0*c_0101_6^3 - 5428433082663/481387970768*c_0101_0*c_0101_6^2 - 909454972651/240693985384*c_0101_0*c_0101_6 + 4623930357487/1925551883072*c_0101_0, c_0101_0^2 - 652019499457/962775941536*c_0101_6^14 - 5125646074507/962775941536*c_0101_6^13 - 1952317206421/962775941536*c_0101_6^12 + 28514800586637/962775941536*c_0101_6^11 - 6329400910539/481387970768*c_0101_6^10 - 5528257878423/60173496346*c_0101_6^9 + 108548634309477/962775941536*c_0101_6^8 + 19905025616075/240693985384*c_0101_6^7 - 158419528435803/962775941536*c_0101_6^6 + 10947375508131/120346992692*c_0101_6^5 - 25834256975769/962775941536*c_0101_6^4 + 541084551519/30086748173*c_0101_6^3 - 1122591976047/120346992692*c_0101_6^2 - 1335586838137/240693985384*c_0101_6 + 425498787813/962775941536, c_0101_1 + 2490340857177/1925551883072*c_0101_6^14 + 19292222938175/1925551883072*c_0101_6^13 + 5177993695349/1925551883072*c_0101_6^12 - 110095156394929/1925551883072*c_0101_6^11 + 30258154631555/962775941536*c_0101_6^10 + 41728355217335/240693985384*c_0101_6^9 - 453438229189829/1925551883072*c_0101_6^8 - 8196018840051/60173496346*c_0101_6^7 + 643836538753559/1925551883072*c_0101_6^6 - 49666447294175/240693985384*c_0101_6^5 + 129367125125457/1925551883072*c_0101_6^4 - 18649858995605/481387970768*c_0101_6^3 + 10251414149407/481387970768*c_0101_6^2 + 1080956087233/120346992692*c_0101_6 - 5538882526601/1925551883072, c_0101_3 + 3383845952061/1925551883072*c_0101_6^14 + 26065485600523/1925551883072*c_0101_6^13 + 5805974601897/1925551883072*c_0101_6^12 - 150510695952133/1925551883072*c_0101_6^11 + 44345227971087/962775941536*c_0101_6^10 + 56697088163495/240693985384*c_0101_6^9 - 638320178705465/1925551883072*c_0101_6^8 - 21276048237725/120346992692*c_0101_6^7 + 906597844364451/1925551883072*c_0101_6^6 - 71132654298579/240693985384*c_0101_6^5 + 175192941222741/1925551883072*c_0101_6^4 - 23658983584357/481387970768*c_0101_6^3 + 14877908169063/481387970768*c_0101_6^2 + 643755870083/60173496346*c_0101_6 - 8521938182909/1925551883072, c_0101_6^15 + 8*c_0101_6^14 + 4*c_0101_6^13 - 44*c_0101_6^12 + 13*c_0101_6^11 + 142*c_0101_6^10 - 149*c_0101_6^9 - 157*c_0101_6^8 + 239*c_0101_6^7 - 89*c_0101_6^6 + c_0101_6^5 - 11*c_0101_6^4 + 8*c_0101_6^3 + 12*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB