Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 1461111694] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1733 geometric_solution 5.43621950 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -2 1 1 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 0 1 0 -1 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.999737457976 0.790982712405 0 4 2 5 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401988929744 0.464382111258 4 0 5 1 2310 0132 0132 1302 0 0 0 0 0 2 -1 -1 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 -1 0 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 0.401988929744 0.464382111258 0 3 3 0 3201 3201 2310 0132 0 0 0 0 0 1 0 -1 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 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.290911618532 0.836542840028 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.748018400840 0.710703118929 5 5 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 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 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.479303055330 0.547338621716 4 6 6 4 0132 3201 2310 1023 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 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.339846050571 0.397429094693 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0011_5'], '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_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 13779040/23*c_0101_6^26 + 199030342/23*c_0101_6^25 - 510167555/23*c_0101_6^24 - 4263645599/23*c_0101_6^23 + 1211257532/23*c_0101_6^22 + 25397010047/23*c_0101_6^21 - 412401463/23*c_0101_6^20 - 86426835370/23*c_0101_6^19 - 2930698529/23*c_0101_6^18 + 192631206181/23*c_0101_6^17 + 5338604580/23*c_0101_6^16 - 297529590497/23*c_0101_6^15 - 6191333063/23*c_0101_6^14 + 326124834477/23*c_0101_6^13 + 13288707472/23*c_0101_6^12 - 252051231476/23*c_0101_6^11 - 21342094365/23*c_0101_6^10 + 134388045917/23*c_0101_6^9 + 18584713810/23*c_0101_6^8 - 47895460701/23*c_0101_6^7 - 9146598125/23*c_0101_6^6 + 10838445720/23*c_0101_6^5 + 2579937888/23*c_0101_6^4 - 1404908358/23*c_0101_6^3 - 391167192/23*c_0101_6^2 + 79385968/23*c_0101_6 + 24819100/23, c_0011_0 - 1, c_0011_3 - 317811*c_0101_6^26 - 4570747*c_0101_6^25 + 12041396*c_0101_6^24 + 97435638*c_0101_6^23 - 33522412*c_0101_6^22 - 580580422*c_0101_6^21 + 42914300*c_0101_6^20 + 1972190883*c_0101_6^19 - 43933731*c_0101_6^18 - 4378343543*c_0101_6^17 + 114852041*c_0101_6^16 + 6723181093*c_0101_6^15 - 200632155*c_0101_6^14 - 7318818318*c_0101_6^13 + 38965268*c_0101_6^12 + 5619288067*c_0101_6^11 + 248020170*c_0101_6^10 - 2979578118*c_0101_6^9 - 308510866*c_0101_6^8 + 1057340798*c_0101_6^7 + 170929183*c_0101_6^6 - 238485043*c_0101_6^5 - 50922202*c_0101_6^4 + 30836029*c_0101_6^3 + 7956220*c_0101_6^2 - 1739105*c_0101_6 - 514229, c_0011_5 - 32*c_0101_6^26 - 475*c_0101_6^25 + 1002*c_0101_6^24 + 10400*c_0101_6^23 + 1067*c_0101_6^22 - 60634*c_0101_6^21 - 22264*c_0101_6^20 + 204326*c_0101_6^19 + 85865*c_0101_6^18 - 455780*c_0101_6^17 - 187889*c_0101_6^16 + 710999*c_0101_6^15 + 283133*c_0101_6^14 - 790245*c_0101_6^13 - 321982*c_0101_6^12 + 615355*c_0101_6^11 + 271761*c_0101_6^10 - 325359*c_0101_6^9 - 160307*c_0101_6^8 + 112196*c_0101_6^7 + 62608*c_0101_6^6 - 23619*c_0101_6^5 - 15284*c_0101_6^4 + 2638*c_0101_6^3 + 2106*c_0101_6^2 - 106*c_0101_6 - 125, c_0101_0 + 334355*c_0101_6^26 + 4865652*c_0101_6^25 - 11875378*c_0101_6^24 - 105034814*c_0101_6^23 + 18978444*c_0101_6^22 + 624384933*c_0101_6^21 + 52565047*c_0101_6^20 - 2128028224*c_0101_6^19 - 282335992*c_0101_6^18 + 4767219724*c_0101_6^17 + 588345714*c_0101_6^16 - 7424525564*c_0101_6^15 - 828834328*c_0101_6^14 + 8221392102*c_0101_6^13 + 1025382839*c_0101_6^12 - 6417496789*c_0101_6^11 - 1029631496*c_0101_6^10 + 3450430007*c_0101_6^9 + 709217484*c_0101_6^8 - 1237813941*c_0101_6^7 - 309739066*c_0101_6^6 + 281518540*c_0101_6^5 + 81697547*c_0101_6^4 - 36632318*c_0101_6^3 - 11885251*c_0101_6^2 + 2076269*c_0101_6 + 733621, c_0101_1 + 1560463*c_0101_6^26 + 22557807*c_0101_6^25 - 57526522*c_0101_6^24 - 483622439*c_0101_6^23 + 132007046*c_0101_6^22 + 2880005996*c_0101_6^21 - 15699333*c_0101_6^20 - 9801884437*c_0101_6^19 - 436596673*c_0101_6^18 + 21857538195*c_0101_6^17 + 832452581*c_0101_6^16 - 33788330434*c_0101_6^15 - 1039423523*c_0101_6^14 + 37074267601*c_0101_6^13 + 1857131085*c_0101_6^12 - 28682630743*c_0101_6^11 - 2674855227*c_0101_6^10 + 15305870724*c_0101_6^9 + 2235556471*c_0101_6^8 - 5458483649*c_0101_6^7 - 1080549207*c_0101_6^6 + 1235807481*c_0101_6^5 + 301941437*c_0101_6^4 - 160244563*c_0101_6^3 - 45528177*c_0101_6^2 + 9057230*c_0101_6 + 2878425, c_0101_4 + c_0101_6^26 + 15*c_0101_6^25 - 29*c_0101_6^24 - 330*c_0101_6^23 - 84*c_0101_6^22 + 1892*c_0101_6^21 + 994*c_0101_6^20 - 6289*c_0101_6^19 - 3697*c_0101_6^18 + 13862*c_0101_6^17 + 8153*c_0101_6^16 - 21378*c_0101_6^15 - 12443*c_0101_6^14 + 23419*c_0101_6^13 + 14110*c_0101_6^12 - 17757*c_0101_6^11 - 11708*c_0101_6^10 + 8893*c_0101_6^9 + 6765*c_0101_6^8 - 2727*c_0101_6^7 - 2594*c_0101_6^6 + 418*c_0101_6^5 + 624*c_0101_6^4 + 2*c_0101_6^3 - 85*c_0101_6^2 - 9*c_0101_6 + 5, c_0101_6^27 + 15*c_0101_6^26 - 29*c_0101_6^25 - 330*c_0101_6^24 - 84*c_0101_6^23 + 1892*c_0101_6^22 + 994*c_0101_6^21 - 6289*c_0101_6^20 - 3697*c_0101_6^19 + 13862*c_0101_6^18 + 8153*c_0101_6^17 - 21378*c_0101_6^16 - 12443*c_0101_6^15 + 23419*c_0101_6^14 + 14110*c_0101_6^13 - 17757*c_0101_6^12 - 11708*c_0101_6^11 + 8893*c_0101_6^10 + 6765*c_0101_6^9 - 2727*c_0101_6^8 - 2594*c_0101_6^7 + 418*c_0101_6^6 + 624*c_0101_6^5 + 2*c_0101_6^4 - 85*c_0101_6^3 - 10*c_0101_6^2 + 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB