Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 1831661655] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2420 geometric_solution 5.76970490 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 -1 0 0 1 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 -1 0 1 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.454172870768 0.964079130903 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373876756564 0.914429754090 4 6 3 0 1023 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373876756564 0.914429754090 3 1 3 2 2031 0132 1302 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 0.599844200152 0.320505325903 5 2 1 6 0213 1023 0132 1302 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.595685678276 0.492002856792 4 6 6 1 0213 0321 1302 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.379440052883 1.520084348918 5 2 4 5 2031 0132 2031 0321 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.379440052883 1.520084348918 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_1'], 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_5, c_0101_1, c_0101_2, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 39979920391/20065084000*c_1001_1^16 - 47384231457/5016271000*c_1001_1^15 + 146374074839/20065084000*c_1001_1^14 - 98400003381/20065084000*c_1001_1^13 - 104464545219/5016271000*c_1001_1^12 + 143025467021/5016271000*c_1001_1^11 - 123307427781/10032542000*c_1001_1^10 + 187840069489/10032542000*c_1001_1^9 + 2027474718843/20065084000*c_1001_1^8 - 2279243248417/20065084000*c_1001_1^7 + 4324981849817/20065084000*c_1001_1^6 - 480218969051/5016271000*c_1001_1^5 - 22200563359/192933500*c_1001_1^4 + 2529718160077/20065084000*c_1001_1^3 - 513061615597/2006508400*c_1001_1^2 + 126350942801/5016271000*c_1001_1 - 262842409343/4013016800, c_0011_0 - 1, c_0011_2 + 2828203939/80260336000*c_1001_1^16 - 2880757673/20065084000*c_1001_1^15 + 786136011/80260336000*c_1001_1^14 - 1354186809/80260336000*c_1001_1^13 - 4782969011/20065084000*c_1001_1^12 + 5927448009/20065084000*c_1001_1^11 + 4745193091/40130168000*c_1001_1^10 + 17461793341/40130168000*c_1001_1^9 + 127884131447/80260336000*c_1001_1^8 - 96214804333/80260336000*c_1001_1^7 + 149610368373/80260336000*c_1001_1^6 - 17982547379/20065084000*c_1001_1^5 - 333626389/192933500*c_1001_1^4 - 15378684047/80260336000*c_1001_1^3 - 3601317573/1605206720*c_1001_1^2 + 9474710919/20065084000*c_1001_1 - 16623170907/16052067200, c_0011_5 - 479880437/80260336000*c_1001_1^16 - 80408401/20065084000*c_1001_1^15 + 10256439827/80260336000*c_1001_1^14 - 5635694033/80260336000*c_1001_1^13 + 1642753733/20065084000*c_1001_1^12 + 4248955753/20065084000*c_1001_1^11 - 18195778533/40130168000*c_1001_1^10 - 4281570123/40130168000*c_1001_1^9 - 47157627201/80260336000*c_1001_1^8 - 95879754981/80260336000*c_1001_1^7 + 103826168781/80260336000*c_1001_1^6 - 39179385043/20065084000*c_1001_1^5 + 382037147/192933500*c_1001_1^4 + 184231566761/80260336000*c_1001_1^3 - 7288382721/8026033600*c_1001_1^2 + 47468000343/20065084000*c_1001_1 - 7334341379/16052067200, c_0101_1 - 4333273023/80260336000*c_1001_1^16 + 5378079701/20065084000*c_1001_1^15 - 22206755687/80260336000*c_1001_1^14 + 19997472333/80260336000*c_1001_1^13 + 12153922847/20065084000*c_1001_1^12 - 18000113613/20065084000*c_1001_1^11 + 20037641233/40130168000*c_1001_1^10 - 23013040657/40130168000*c_1001_1^9 - 229289429379/80260336000*c_1001_1^8 + 272751362961/80260336000*c_1001_1^7 - 579447047321/80260336000*c_1001_1^6 + 80874008503/20065084000*c_1001_1^5 + 527771633/192933500*c_1001_1^4 - 291643549061/80260336000*c_1001_1^3 + 55378852909/8026033600*c_1001_1^2 - 3792859563/20065084000*c_1001_1 + 13156747639/16052067200, c_0101_2 - 639271/7438400*c_1001_1^16 + 784253/1859600*c_1001_1^15 - 2614863/7438400*c_1001_1^14 + 1159269/7438400*c_1001_1^13 + 1424447/1859600*c_1001_1^12 - 2343861/1859600*c_1001_1^11 + 2000249/3719200*c_1001_1^10 - 2701817/3719200*c_1001_1^9 - 29541003/7438400*c_1001_1^8 + 43529449/7438400*c_1001_1^7 - 64121681/7438400*c_1001_1^6 + 9195871/1859600*c_1001_1^5 + 19005/4649*c_1001_1^4 - 36075133/7438400*c_1001_1^3 + 33314553/3719200*c_1001_1^2 - 3439723/1859600*c_1001_1 + 1725119/1487680, c_0101_6 + 2828203939/80260336000*c_1001_1^16 - 2880757673/20065084000*c_1001_1^15 + 786136011/80260336000*c_1001_1^14 - 1354186809/80260336000*c_1001_1^13 - 4782969011/20065084000*c_1001_1^12 + 5927448009/20065084000*c_1001_1^11 + 4745193091/40130168000*c_1001_1^10 + 17461793341/40130168000*c_1001_1^9 + 127884131447/80260336000*c_1001_1^8 - 96214804333/80260336000*c_1001_1^7 + 149610368373/80260336000*c_1001_1^6 - 17982547379/20065084000*c_1001_1^5 - 333626389/192933500*c_1001_1^4 - 15378684047/80260336000*c_1001_1^3 - 3601317573/1605206720*c_1001_1^2 + 9474710919/20065084000*c_1001_1 - 16623170907/16052067200, c_1001_1^17 - 5*c_1001_1^16 + 5*c_1001_1^15 - 4*c_1001_1^14 - 9*c_1001_1^13 + 16*c_1001_1^12 - 10*c_1001_1^11 + 12*c_1001_1^10 + 47*c_1001_1^9 - 68*c_1001_1^8 + 126*c_1001_1^7 - 83*c_1001_1^6 - 28*c_1001_1^5 + 59*c_1001_1^4 - 129*c_1001_1^3 + 34*c_1001_1^2 - 33*c_1001_1 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB