Magma V2.19-8 Tue Aug 20 2013 16:19:08 on localhost [Seed = 2648441056] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3269 geometric_solution 6.39395438 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -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 -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.538989787750 0.570311666765 0 3 5 4 0132 0132 0132 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 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.546429549127 0.860098058717 3 0 4 5 3201 0132 3201 2310 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 -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.546429549127 0.860098058717 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496922271641 1.124916813118 2 6 1 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.018947424851 1.328519334144 2 5 5 1 3201 3201 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 0.441297903035 0.698434825412 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 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.458367762792 0.207962985152 ==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_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], '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_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), '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' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 2*c_0101_5 + 3, c_0011_0 - 1, c_0011_4 + 1, c_0101_0 - c_0101_5, c_0101_1 - 1, c_0101_2 - c_0101_5, c_0101_5^2 + c_0101_5 - 1, c_0110_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 4553/175*c_0110_6^9 - 211/35*c_0110_6^8 - 89703/175*c_0110_6^7 - 25301/175*c_0110_6^6 + 416741/175*c_0110_6^5 + 349197/175*c_0110_6^4 - 41746/35*c_0110_6^3 - 36756/25*c_0110_6^2 - 66804/175*c_0110_6 - 3606/175, c_0011_0 - 1, c_0011_4 - 39/35*c_0110_6^9 + 16/35*c_0110_6^8 + 772/35*c_0110_6^7 + 74/35*c_0110_6^6 - 3707/35*c_0110_6^5 - 2301/35*c_0110_6^4 + 2754/35*c_0110_6^3 + 274/5*c_0110_6^2 - 94/35*c_0110_6 - 113/35, c_0101_0 + 117/175*c_0110_6^9 - 69/175*c_0110_6^8 - 459/35*c_0110_6^7 + 184/175*c_0110_6^6 + 10918/175*c_0110_6^5 + 4978/175*c_0110_6^4 - 8381/175*c_0110_6^3 - 23*c_0110_6^2 + 576/175*c_0110_6 + 122/175, c_0101_1 - 16/35*c_0110_6^9 + 8/35*c_0110_6^8 + 316/35*c_0110_6^7 + 2/35*c_0110_6^6 - 1521/35*c_0110_6^5 - 804/35*c_0110_6^4 + 1202/35*c_0110_6^3 + 92/5*c_0110_6^2 - 82/35*c_0110_6 - 4/35, c_0101_2 - 6/7*c_0110_6^9 + 54/175*c_0110_6^8 + 2973/175*c_0110_6^7 + 437/175*c_0110_6^6 - 14269/175*c_0110_6^5 - 1924/35*c_0110_6^4 + 10406/175*c_0110_6^3 + 1156/25*c_0110_6^2 - 417/175*c_0110_6 - 531/175, c_0101_5 - 34/175*c_0110_6^9 + 9/35*c_0110_6^8 + 654/175*c_0110_6^7 - 547/175*c_0110_6^6 - 3163/175*c_0110_6^5 + 934/175*c_0110_6^4 + 717/35*c_0110_6^3 - 92/25*c_0110_6^2 - 988/175*c_0110_6 + 58/175, c_0110_6^10 - 20*c_0110_6^8 - 10*c_0110_6^7 + 95*c_0110_6^6 + 98*c_0110_6^5 - 50*c_0110_6^4 - 80*c_0110_6^3 - 15*c_0110_6^2 + 5*c_0110_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 107617750975289543405/2221997912044083603*c_0110_6^16 + 311937413364507033680/2221997912044083603*c_0110_6^15 - 895921198284007794434/2221997912044083603*c_0110_6^14 - 3790290888177553410983/2221997912044083603*c_0110_6^13 + 2999489394281144514580/2221997912044083603*c_0110_6^12 + 7066417057163958064261/740665970681361201*c_0110_6^11 + 210179379574066638919/246888656893787067*c_0110_6^10 - 14540618983387881399710/740665970681361201*c_0110_6^9 - 12912469900221504699196/2221997912044083603*c_0110_6^8 + 10922784196354046489500/740665970681361201*c_0110_6^7 + 4613740335043372329139/2221997912044083603*c_0110_6^6 - 2954508726226709022343/2221997912044083603*c_0110_6^5 + 3917516272622543842282/740665970681361201*c_0110_6^4 - 1105298973810777542756/740665970681361201*c_0110_6^3 - 2300276555288991311014/740665970681361201*c_0110_6^2 - 649169537604422934682/2221997912044083603*c_0110_6 - 891234799038609250120/2221997912044083603, c_0011_0 - 1, c_0011_4 - 1207137052805638/9144024329399521*c_0110_6^16 - 3062215685662738/9144024329399521*c_0110_6^15 + 11612363714044486/9144024329399521*c_0110_6^14 + 39925565250823643/9144024329399521*c_0110_6^13 - 50523966742719031/9144024329399521*c_0110_6^12 - 236418648494588478/9144024329399521*c_0110_6^11 + 63546162077564887/9144024329399521*c_0110_6^10 + 547852368369125882/9144024329399521*c_0110_6^9 + 17480520832821828/9144024329399521*c_0110_6^8 - 476248609379548803/9144024329399521*c_0110_6^7 - 10558392743626807/9144024329399521*c_0110_6^6 + 61826376936007939/9144024329399521*c_0110_6^5 - 109086119174021510/9144024329399521*c_0110_6^4 + 60350970632095497/9144024329399521*c_0110_6^3 + 78767480359627756/9144024329399521*c_0110_6^2 + 3762641868042927/9144024329399521*c_0110_6 + 3408780623627287/9144024329399521, c_0101_0 + 277680873336854/9144024329399521*c_0110_6^16 + 942195131854083/9144024329399521*c_0110_6^15 - 1421640456233383/9144024329399521*c_0110_6^14 - 9619066332366740/9144024329399521*c_0110_6^13 - 655391941096255/9144024329399521*c_0110_6^12 + 44396060862263456/9144024329399521*c_0110_6^11 + 42629037801613420/9144024329399521*c_0110_6^10 - 41713628851062747/9144024329399521*c_0110_6^9 - 76420353939778665/9144024329399521*c_0110_6^8 - 4167278469370735/9144024329399521*c_0110_6^7 + 27080848300094186/9144024329399521*c_0110_6^6 - 19533825484840291/9144024329399521*c_0110_6^5 + 9161953384030816/9144024329399521*c_0110_6^4 + 14625600001140090/9144024329399521*c_0110_6^3 + 373283766935009/9144024329399521*c_0110_6^2 + 22113670860780988/9144024329399521*c_0110_6 + 559195472754176/9144024329399521, c_0101_1 + 210565242985901/9144024329399521*c_0110_6^16 + 1378817872295803/9144024329399521*c_0110_6^15 + 105201285598149/9144024329399521*c_0110_6^14 - 14269670503780998/9144024329399521*c_0110_6^13 - 16887407148944356/9144024329399521*c_0110_6^12 + 69986345693970773/9144024329399521*c_0110_6^11 + 129401527226938513/9144024329399521*c_0110_6^10 - 115876740328767363/9144024329399521*c_0110_6^9 - 259225118866379720/9144024329399521*c_0110_6^8 + 61325975033875555/9144024329399521*c_0110_6^7 + 152691855320565726/9144024329399521*c_0110_6^6 - 9710173475507208/9144024329399521*c_0110_6^5 - 2262889007360799/9144024329399521*c_0110_6^4 + 27642144380318947/9144024329399521*c_0110_6^3 - 6356736578213913/9144024329399521*c_0110_6^2 - 20193962792329129/9144024329399521*c_0110_6 + 2614009171915013/9144024329399521, c_0101_2 - 1114040801645252/9144024329399521*c_0110_6^16 - 2883512866774878/9144024329399521*c_0110_6^15 + 10382705141269856/9144024329399521*c_0110_6^14 + 36816863925268357/9144024329399521*c_0110_6^13 - 43537861773431694/9144024329399521*c_0110_6^12 - 214376285220987239/9144024329399521*c_0110_6^11 + 45471251601008584/9144024329399521*c_0110_6^10 + 478445749998440910/9144024329399521*c_0110_6^9 + 25223279113092980/9144024329399521*c_0110_6^8 - 402080592490855841/9144024329399521*c_0110_6^7 + 583879253245164/9144024329399521*c_0110_6^6 + 48993605366633723/9144024329399521*c_0110_6^5 - 105857891378843832/9144024329399521*c_0110_6^4 + 61365276470237377/9144024329399521*c_0110_6^3 + 67697249642026707/9144024329399521*c_0110_6^2 + 1915785083584633/9144024329399521*c_0110_6 + 3638498790982267/9144024329399521, c_0101_5 + 228891370805898/9144024329399521*c_0110_6^16 + 688127974882514/9144024329399521*c_0110_6^15 - 1629562414008735/9144024329399521*c_0110_6^14 - 7301369936391736/9144024329399521*c_0110_6^13 + 4913299615453675/9144024329399521*c_0110_6^12 + 36218822592245055/9144024329399521*c_0110_6^11 + 2942098341539903/9144024329399521*c_0110_6^10 - 47746953105535025/9144024329399521*c_0110_6^9 + 21387392993297419/9144024329399521*c_0110_6^8 + 13382303170844096/9144024329399521*c_0110_6^7 - 64029485639652487/9144024329399521*c_0110_6^6 + 3224725175135025/9144024329399521*c_0110_6^5 + 30254624205079137/9144024329399521*c_0110_6^4 - 4922744049347963/9144024329399521*c_0110_6^3 + 9610331397237426/9144024329399521*c_0110_6^2 + 7898416636745768/9144024329399521*c_0110_6 - 6343744840391659/9144024329399521, c_0110_6^17 + 3*c_0110_6^16 - 8*c_0110_6^15 - 36*c_0110_6^14 + 24*c_0110_6^13 + 199*c_0110_6^12 + 39*c_0110_6^11 - 399*c_0110_6^10 - 164*c_0110_6^9 + 284*c_0110_6^8 + 77*c_0110_6^7 - 19*c_0110_6^6 + 104*c_0110_6^5 - 18*c_0110_6^4 - 66*c_0110_6^3 - 14*c_0110_6^2 - 9*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB