Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3035965583] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0115 geometric_solution 3.63536871 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 -1 1 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.764693934757 0.035989054144 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 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 1.698790942852 0.160256528544 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 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 1.181985590630 0.088308694970 2 4 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.329915155245 0.474133205062 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 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.202000074012 0.412773241212 4 6 6 6 0132 2310 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.008917250099 0.995386724524 5 5 4 5 2310 0321 0132 3201 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 1 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.008917250099 0.995386724524 ==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_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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), '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' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 3384341101151/13516365793*c_0101_5^25 + 3052223193752/13516365793*c_0101_5^24 - 20463276931436/13516365793*c_0101_5^23 - 21446699559756/13516365793*c_0101_5^22 + 72513084978328/13516365793*c_0101_5^21 + 11843784270143/1930909399*c_0101_5^20 - 212649684180536/13516365793*c_0101_5^19 - 248588788630043/13516365793*c_0101_5^18 + 67537130995221/1930909399*c_0101_5^17 + 82836660116581/1930909399*c_0101_5^16 - 118520779459976/1930909399*c_0101_5^15 - 1061078230583716/13516365793*c_0101_5^14 + 1249502566576199/13516365793*c_0101_5^13 + 1602900516893163/13516365793*c_0101_5^12 - 1479469497230271/13516365793*c_0101_5^11 - 1952405354917155/13516365793*c_0101_5^10 + 1354207857290373/13516365793*c_0101_5^9 + 1830748030839297/13516365793*c_0101_5^8 - 1059913680209924/13516365793*c_0101_5^7 - 1331464177750104/13516365793*c_0101_5^6 + 572188002110523/13516365793*c_0101_5^5 + 718851047126868/13516365793*c_0101_5^4 - 115072594416315/13516365793*c_0101_5^3 - 234569272441131/13516365793*c_0101_5^2 - 7825752152070/13516365793*c_0101_5 + 26843037228846/13516365793, c_0011_0 - 1, c_0011_2 + 637455468/1930909399*c_0101_5^25 + 1655555643/1930909399*c_0101_5^24 - 2123597277/1930909399*c_0101_5^23 - 8527960886/1930909399*c_0101_5^22 + 4536604993/1930909399*c_0101_5^21 + 28334657304/1930909399*c_0101_5^20 - 9166946420/1930909399*c_0101_5^19 - 80026472596/1930909399*c_0101_5^18 + 2092447704/1930909399*c_0101_5^17 + 161982949289/1930909399*c_0101_5^16 + 22200134435/1930909399*c_0101_5^15 - 266016800367/1930909399*c_0101_5^14 - 60081717346/1930909399*c_0101_5^13 + 372297858571/1930909399*c_0101_5^12 + 132025560303/1930909399*c_0101_5^11 - 377326430414/1930909399*c_0101_5^10 - 171308219625/1930909399*c_0101_5^9 + 302531426317/1930909399*c_0101_5^8 + 141853737928/1930909399*c_0101_5^7 - 197524285009/1930909399*c_0101_5^6 - 110220079302/1930909399*c_0101_5^5 + 54782715437/1930909399*c_0101_5^4 + 54265617723/1930909399*c_0101_5^3 + 4270204495/1930909399*c_0101_5^2 - 2814528281/1930909399*c_0101_5 - 785939179/1930909399, c_0011_6 + 637455468/1930909399*c_0101_5^25 + 1655555643/1930909399*c_0101_5^24 - 2123597277/1930909399*c_0101_5^23 - 8527960886/1930909399*c_0101_5^22 + 4536604993/1930909399*c_0101_5^21 + 28334657304/1930909399*c_0101_5^20 - 9166946420/1930909399*c_0101_5^19 - 80026472596/1930909399*c_0101_5^18 + 2092447704/1930909399*c_0101_5^17 + 161982949289/1930909399*c_0101_5^16 + 22200134435/1930909399*c_0101_5^15 - 266016800367/1930909399*c_0101_5^14 - 60081717346/1930909399*c_0101_5^13 + 372297858571/1930909399*c_0101_5^12 + 132025560303/1930909399*c_0101_5^11 - 377326430414/1930909399*c_0101_5^10 - 171308219625/1930909399*c_0101_5^9 + 302531426317/1930909399*c_0101_5^8 + 141853737928/1930909399*c_0101_5^7 - 197524285009/1930909399*c_0101_5^6 - 110220079302/1930909399*c_0101_5^5 + 54782715437/1930909399*c_0101_5^4 + 56196527122/1930909399*c_0101_5^3 + 4270204495/1930909399*c_0101_5^2 - 4745437680/1930909399*c_0101_5 - 785939179/1930909399, c_0101_0 - 318824857/1930909399*c_0101_5^25 + 915929050/1930909399*c_0101_5^24 + 2113122434/1930909399*c_0101_5^23 - 4797589375/1930909399*c_0101_5^22 - 9416243938/1930909399*c_0101_5^21 + 16330461455/1930909399*c_0101_5^20 + 30394003025/1930909399*c_0101_5^19 - 47266262314/1930909399*c_0101_5^18 - 75301023034/1930909399*c_0101_5^17 + 99379497698/1930909399*c_0101_5^16 + 154512065050/1930909399*c_0101_5^15 - 170253918686/1930909399*c_0101_5^14 - 251963977515/1930909399*c_0101_5^13 + 251630296292/1930909399*c_0101_5^12 + 335359266845/1930909399*c_0101_5^11 - 277523634309/1930909399*c_0101_5^10 - 366331148860/1930909399*c_0101_5^9 + 246537789830/1930909399*c_0101_5^8 + 293454581951/1930909399*c_0101_5^7 - 186976009641/1930909399*c_0101_5^6 - 177420304387/1930909399*c_0101_5^5 + 73815980841/1930909399*c_0101_5^4 + 78724980961/1930909399*c_0101_5^3 - 6219172516/1930909399*c_0101_5^2 - 12993931902/1930909399*c_0101_5 - 255601278/1930909399, c_0101_1 + 1115567542/1930909399*c_0101_5^25 + 351850986/1930909399*c_0101_5^24 - 6792328577/1930909399*c_0101_5^23 - 3700086103/1930909399*c_0101_5^22 + 24266325318/1930909399*c_0101_5^21 + 15056497113/1930909399*c_0101_5^20 - 71505065323/1930909399*c_0101_5^19 - 45624136133/1930909399*c_0101_5^18 + 159349527562/1930909399*c_0101_5^17 + 112307501863/1930909399*c_0101_5^16 - 280715978150/1930909399*c_0101_5^15 - 205228085514/1930909399*c_0101_5^14 + 423103503783/1930909399*c_0101_5^13 + 309245710162/1930909399*c_0101_5^12 - 497229106555/1930909399*c_0101_5^11 - 384194782021/1930909399*c_0101_5^10 + 454049405513/1930909399*c_0101_5^9 + 345083373727/1930909399*c_0101_5^8 - 349543960137/1930909399*c_0101_5^7 - 241170953810/1930909399*c_0101_5^6 + 174521288238/1930909399*c_0101_5^5 + 133827530550/1930909399*c_0101_5^4 - 37205357544/1930909399*c_0101_5^3 - 38982474069/1930909399*c_0101_5^2 + 2290647476/1930909399*c_0101_5 + 2213466096/1930909399, c_0101_3 - 91159776/1930909399*c_0101_5^25 - 774545594/1930909399*c_0101_5^24 - 800677334/1930909399*c_0101_5^23 + 3457566242/1930909399*c_0101_5^22 + 4614945180/1930909399*c_0101_5^21 - 10753747366/1930909399*c_0101_5^20 - 16612951174/1930909399*c_0101_5^19 + 29790170034/1930909399*c_0101_5^18 + 50122066472/1930909399*c_0101_5^17 - 55481965394/1930909399*c_0101_5^16 - 103942077426/1930909399*c_0101_5^15 + 87804532288/1930909399*c_0101_5^14 + 179164608382/1930909399*c_0101_5^13 - 120993559320/1930909399*c_0101_5^12 - 255381480288/1930909399*c_0101_5^11 + 112305991110/1930909399*c_0101_5^10 + 267991852234/1930909399*c_0101_5^9 - 92811302060/1930909399*c_0101_5^8 - 230114498560/1930909399*c_0101_5^7 + 67345580184/1930909399*c_0101_5^6 + 145797960605/1930909399*c_0101_5^5 - 19541324038/1930909399*c_0101_5^4 - 52789336440/1930909399*c_0101_5^3 - 2086629014/1930909399*c_0101_5^2 + 10004547775/1930909399*c_0101_5 + 464321992/1930909399, c_0101_5^26 + c_0101_5^25 - 6*c_0101_5^24 - 7*c_0101_5^23 + 21*c_0101_5^22 + 27*c_0101_5^21 - 61*c_0101_5^20 - 81*c_0101_5^19 + 134*c_0101_5^18 + 189*c_0101_5^17 - 231*c_0101_5^16 - 346*c_0101_5^15 + 342*c_0101_5^14 + 524*c_0101_5^13 - 395*c_0101_5^12 - 640*c_0101_5^11 + 346*c_0101_5^10 + 602*c_0101_5^9 - 260*c_0101_5^8 - 442*c_0101_5^7 + 130*c_0101_5^6 + 241*c_0101_5^5 - 11*c_0101_5^4 - 77*c_0101_5^3 - 11*c_0101_5^2 + 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB