Magma V2.19-8 Tue Aug 20 2013 16:14:38 on localhost [Seed = 947495998] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s611 geometric_solution 5.08909303 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 -1 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 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.191623208933 1.350885491772 0 3 4 2 0132 0132 0132 1230 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 0 0 0 0 0.734060120405 0.766349202376 1 4 3 0 3012 0132 3201 0132 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 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.734060120405 0.766349202376 2 1 3 3 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534888912367 0.527066472538 5 2 5 1 0132 0132 2310 0132 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 1.865449741421 0.805814171156 4 4 5 5 0132 3201 2031 1302 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 0 0 0 0 0.469364855253 0.339703111015 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(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_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : 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_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 65579716211119535/8808974155974856*c_0101_4^17 + 59439605067856235/8808974155974856*c_0101_4^16 - 289336244018532353/2202243538993714*c_0101_4^15 - 2675138536769197165/8808974155974856*c_0101_4^14 + 1313513965928959281/2202243538993714*c_0101_4^13 + 10490387176735708511/4404487077987428*c_0101_4^12 + 5501550506837813299/8808974155974856*c_0101_4^11 - 42628908349319653125/8808974155974856*c_0101_4^10 - 21781357785693584575/4404487077987428*c_0101_4^9 + 4943921952908982403/2202243538993714*c_0101_4^8 + 52662821775598125571/8808974155974856*c_0101_4^7 + 14579574511265723765/8808974155974856*c_0101_4^6 - 21149742162797431637/8808974155974856*c_0101_4^5 - 13159382396339601391/8808974155974856*c_0101_4^4 + 683273630613033579/4404487077987428*c_0101_4^3 + 3347183321730161769/8808974155974856*c_0101_4^2 + 949747699219054399/8808974155974856*c_0101_4 - 607438830932808213/8808974155974856, c_0011_0 - 1, c_0011_2 - 5536372439872809/2202243538993714*c_0101_4^17 - 1750533918660765/1101121769496857*c_0101_4^16 + 48721760641973599/1101121769496857*c_0101_4^15 + 200013030333562127/2202243538993714*c_0101_4^14 - 477021408497366793/2202243538993714*c_0101_4^13 - 1624664056494107029/2202243538993714*c_0101_4^12 - 81550255270384854/1101121769496857*c_0101_4^11 + 3445073713828624983/2202243538993714*c_0101_4^10 + 3044486665563519503/2202243538993714*c_0101_4^9 - 1902902837096611215/2202243538993714*c_0101_4^8 - 2005387616813740846/1101121769496857*c_0101_4^7 - 869467327227926825/2202243538993714*c_0101_4^6 + 842242805610931671/1101121769496857*c_0101_4^5 + 982512030231976147/2202243538993714*c_0101_4^4 - 93786770060833761/2202243538993714*c_0101_4^3 - 127816600486654893/1101121769496857*c_0101_4^2 - 66814703479674225/2202243538993714*c_0101_4 + 16975766573297305/1101121769496857, c_0101_1 + 2650194170944109/2202243538993714*c_0101_4^17 + 922337291607754/1101121769496857*c_0101_4^16 - 23262497869398595/1101121769496857*c_0101_4^15 - 98692622845166619/2202243538993714*c_0101_4^14 + 222037621719756511/2202243538993714*c_0101_4^13 + 791551098398161089/2202243538993714*c_0101_4^12 + 63994578113092106/1101121769496857*c_0101_4^11 - 1639724123269593043/2202243538993714*c_0101_4^10 - 1556832334202821529/2202243538993714*c_0101_4^9 + 814823872757455565/2202243538993714*c_0101_4^8 + 981439489579016266/1101121769496857*c_0101_4^7 + 527396596522088725/2202243538993714*c_0101_4^6 - 385600475500990813/1101121769496857*c_0101_4^5 - 504731484517242693/2202243538993714*c_0101_4^4 + 19342046787919985/2202243538993714*c_0101_4^3 + 58713674220606361/1101121769496857*c_0101_4^2 + 34947848899809353/2202243538993714*c_0101_4 - 7487256004967365/1101121769496857, c_0101_2 - 1170026654603032/1101121769496857*c_0101_4^17 - 788208043857014/1101121769496857*c_0101_4^16 + 20403471455248624/1101121769496857*c_0101_4^15 + 43052471896677036/1101121769496857*c_0101_4^14 - 96357042333718448/1101121769496857*c_0101_4^13 - 342350969786952669/1101121769496857*c_0101_4^12 - 61596282772344505/1101121769496857*c_0101_4^11 + 685752196249216171/1101121769496857*c_0101_4^10 + 667783538698051195/1101121769496857*c_0101_4^9 - 301308875544599740/1101121769496857*c_0101_4^8 - 789717083908584852/1101121769496857*c_0101_4^7 - 237274268437565636/1101121769496857*c_0101_4^6 + 275599900313016425/1101121769496857*c_0101_4^5 + 188713810854682470/1101121769496857*c_0101_4^4 - 2865459064092175/1101121769496857*c_0101_4^3 - 40682469198058829/1101121769496857*c_0101_4^2 - 9899776348786990/1101121769496857*c_0101_4 + 6227375089732917/1101121769496857, c_0101_3 + 3294464933690239/1101121769496857*c_0101_4^17 + 2032338803562736/1101121769496857*c_0101_4^16 - 58088985216213666/1101121769496857*c_0101_4^15 - 118179225281212814/1101121769496857*c_0101_4^14 + 286979055014052630/1101121769496857*c_0101_4^13 + 965140123293251664/1101121769496857*c_0101_4^12 + 76029737035895723/1101121769496857*c_0101_4^11 - 2073354066099878345/1101121769496857*c_0101_4^10 - 1783328984768927992/1101121769496857*c_0101_4^9 + 1203603205157860728/1101121769496857*c_0101_4^8 + 2408982651164668863/1101121769496857*c_0101_4^7 + 464420709281780770/1101121769496857*c_0101_4^6 - 1056896206418162945/1101121769496857*c_0101_4^5 - 587071171394803591/1101121769496857*c_0101_4^4 + 78124372114886237/1101121769496857*c_0101_4^3 + 162619531654355951/1101121769496857*c_0101_4^2 + 38739737772790828/1101121769496857*c_0101_4 - 22576748041110572/1101121769496857, c_0101_4^18 - 18*c_0101_4^16 - 25*c_0101_4^15 + 109*c_0101_4^14 + 239*c_0101_4^13 - 156*c_0101_4^12 - 641*c_0101_4^11 - 157*c_0101_4^10 + 691*c_0101_4^9 + 508*c_0101_4^8 - 299*c_0101_4^7 - 404*c_0101_4^6 + 13*c_0101_4^5 + 129*c_0101_4^4 + 36*c_0101_4^3 - 17*c_0101_4^2 - 14*c_0101_4 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB