Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 2581071265] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0139 geometric_solution 3.64100861 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 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 0 0 1.244373495044 0.115753061554 0 3 4 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 0 -1 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 1.294539919441 0.986575014088 0 0 5 5 2310 0132 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 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.863581961113 0.176352406551 6 1 4 6 0132 0132 1302 2103 0 0 0 0 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 0 0 0 0 0 0 1 0 -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.001932149293 0.505418731147 3 6 6 1 2031 1230 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 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.001932149293 0.505418731147 5 2 2 5 3012 3201 0132 1230 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.384673673721 0.028444578110 3 4 4 3 0132 3201 3012 2103 0 0 0 0 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 0 0 0 1 0 -1 -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.001932149293 0.505418731147 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 350991465/64*c_0101_6^22 - 5367000199/64*c_0101_6^21 + 39346169121/64*c_0101_6^20 - 92122179205/32*c_0101_6^19 + 154762284559/16*c_0101_6^18 - 1589755989853/64*c_0101_6^17 + 1622194563697/32*c_0101_6^16 - 1350313584471/16*c_0101_6^15 + 7469136716379/64*c_0101_6^14 - 8690517544289/64*c_0101_6^13 + 8583515625279/64*c_0101_6^12 - 3619486620929/32*c_0101_6^11 + 1307283826627/16*c_0101_6^10 - 3237700842783/64*c_0101_6^9 + 857430137653/32*c_0101_6^8 - 96658641131/8*c_0101_6^7 + 73570835359/16*c_0101_6^6 - 93263319837/64*c_0101_6^5 + 6021940095/16*c_0101_6^4 - 2452327161/32*c_0101_6^3 + 741725079/64*c_0101_6^2 - 74690553/64*c_0101_6 + 3609033/64, c_0011_0 - 1, c_0011_4 - 7759895/8*c_0101_6^22 + 115058207/8*c_0101_6^21 - 815529339/8*c_0101_6^20 + 459982620*c_0101_6^19 - 5933696135/4*c_0101_6^18 + 29117268689/8*c_0101_6^17 - 28227800263/4*c_0101_6^16 + 11085420523*c_0101_6^15 - 114712298217/8*c_0101_6^14 + 123453288213/8*c_0101_6^13 - 111092697145/8*c_0101_6^12 + 10449114893*c_0101_6^11 - 26119025511/4*c_0101_6^10 + 26651456799/8*c_0101_6^9 - 5331475253/4*c_0101_6^8 + 374965633*c_0101_6^7 - 81329441/2*c_0101_6^6 - 209916581/8*c_0101_6^5 + 77797511/4*c_0101_6^4 - 7303256*c_0101_6^3 + 14531813/8*c_0101_6^2 - 2324497/8*c_0101_6 + 206851/8, c_0011_5 - 2745655/16*c_0101_6^22 + 41704003/16*c_0101_6^21 - 303881059/16*c_0101_6^20 + 353834253/4*c_0101_6^19 - 2366872877/8*c_0101_6^18 + 12111930029/16*c_0101_6^17 - 12325292059/8*c_0101_6^16 + 2560346880*c_0101_6^15 - 56600627089/16*c_0101_6^14 + 65853005313/16*c_0101_6^13 - 65077218017/16*c_0101_6^12 + 13731695311/4*c_0101_6^11 - 19847949573/8*c_0101_6^10 + 24562881467/16*c_0101_6^9 - 6485217049/8*c_0101_6^8 + 362877302*c_0101_6^7 - 544278779/4*c_0101_6^6 + 671328851/16*c_0101_6^5 - 82455539/8*c_0101_6^4 + 7655347/4*c_0101_6^3 - 3821871/16*c_0101_6^2 + 235263/16*c_0101_6 + 8447/16, c_0101_0 - 770*c_0101_6^22 + 11957*c_0101_6^21 - 89274*c_0101_6^20 + 427100*c_0101_6^19 - 1471373*c_0101_6^18 + 3889620*c_0101_6^17 - 8207283*c_0101_6^16 + 14195825*c_0101_6^15 - 20505832*c_0101_6^14 + 25071675*c_0101_6^13 - 26195050*c_0101_6^12 + 23543220*c_0101_6^11 - 18276167*c_0101_6^10 + 12276656*c_0101_6^9 - 7132209*c_0101_6^8 + 3573135*c_0101_6^7 - 1534310*c_0101_6^6 + 559126*c_0101_6^5 - 170143*c_0101_6^4 + 42147*c_0101_6^3 - 8120*c_0101_6^2 + 1114*c_0101_6 - 85, c_0101_1 + 4784175/2*c_0101_6^22 - 75074065/2*c_0101_6^21 + 565573571/2*c_0101_6^20 - 1362618152*c_0101_6^19 + 4718054255*c_0101_6^18 - 25009896801/2*c_0101_6^17 + 26381783849*c_0101_6^16 - 45480781291*c_0101_6^15 + 130498185969/2*c_0101_6^14 - 157839577445/2*c_0101_6^13 + 162416228677/2*c_0101_6^12 - 71523715693*c_0101_6^11 + 54103402783*c_0101_6^10 - 70372998783/2*c_0101_6^9 + 19645613870*c_0101_6^8 - 9377093835*c_0101_6^7 + 3797127076*c_0101_6^6 - 2577202903/2*c_0101_6^5 + 359558015*c_0101_6^4 - 80034195*c_0101_6^3 + 27009191/2*c_0101_6^2 - 3129133/2*c_0101_6 + 194567/2, c_0101_2 - 28840075/8*c_0101_6^22 + 448317265/8*c_0101_6^21 - 3345496447/8*c_0101_6^20 + 7983784447/4*c_0101_6^19 - 6845362520*c_0101_6^18 + 143772062383/8*c_0101_6^17 - 150227526895/4*c_0101_6^16 + 128276456299/2*c_0101_6^15 - 729245097041/8*c_0101_6^14 + 873812816327/8*c_0101_6^13 - 890763418521/8*c_0101_6^12 + 388592301167/4*c_0101_6^11 - 72789183059*c_0101_6^10 + 375040915037/8*c_0101_6^9 - 103647628447/4*c_0101_6^8 + 12237998787*c_0101_6^7 - 9799604915/2*c_0101_6^6 + 13139179423/8*c_0101_6^5 - 451931117*c_0101_6^4 + 395953015/4*c_0101_6^3 - 130974193/8*c_0101_6^2 + 14793479/8*c_0101_6 - 879635/8, c_0101_6^23 - 78/5*c_0101_6^22 + 6438/55*c_0101_6^21 - 30967/55*c_0101_6^20 + 21462/11*c_0101_6^19 - 57099/11*c_0101_6^18 + 606627/55*c_0101_6^17 - 1057318/55*c_0101_6^16 + 308045/11*c_0101_6^15 - 380170/11*c_0101_6^14 + 401370/11*c_0101_6^13 - 365001/11*c_0101_6^12 + 1435798/55*c_0101_6^11 - 979461/55*c_0101_6^10 + 115881/11*c_0101_6^9 - 59322/11*c_0101_6^8 + 26156/11*c_0101_6^7 - 49279/55*c_0101_6^6 + 15673/55*c_0101_6^5 - 826/11*c_0101_6^4 + 175/11*c_0101_6^3 - 142/55*c_0101_6^2 + 16/55*c_0101_6 - 1/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB