Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1764291904] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0043 geometric_solution 3.61088249 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -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 2.220386011882 0.066597137597 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.853926738810 0.621465520595 1 1 3 3 2310 0132 0132 3201 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 1 0 -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.096041424259 0.068116807789 4 2 4 2 0132 2310 2310 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.990034244218 3.590241870189 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 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.029402616669 0.503171468266 6 6 6 4 1023 3012 1230 0132 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 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.981659677509 1.003309224703 5 5 4 5 1230 1023 0132 3012 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 -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.981659677509 1.003309224703 ==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_5'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_2'], '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_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 14902454931763/530330993473*c_0101_3^17 - 239758859755784/530330993473*c_0101_3^16 + 1572307121899918/530330993473*c_0101_3^15 - 5136840888308268/530330993473*c_0101_3^14 + 247575144575779/18287275637*c_0101_3^13 + 3753547834474673/530330993473*c_0101_3^12 - 24226473654934720/530330993473*c_0101_3^11 + 14643280359723323/530330993473*c_0101_3^10 + 34330114502103677/530330993473*c_0101_3^9 - 39649742068403454/530330993473*c_0101_3^8 - 26589518023123788/530330993473*c_0101_3^7 + 42957433403225949/530330993473*c_0101_3^6 + 14608181826480466/530330993473*c_0101_3^5 - 23442901284543516/530330993473*c_0101_3^4 - 7099279532508144/530330993473*c_0101_3^3 + 5113867584981989/530330993473*c_0101_3^2 + 1399866869657822/530330993473*c_0101_3 - 251822232405792/530330993473, c_0011_0 - 1, c_0011_3 + 1388397886/18287275637*c_0101_3^17 - 23622035316/18287275637*c_0101_3^16 + 167326475189/18287275637*c_0101_3^15 - 618230510042/18287275637*c_0101_3^14 + 1150230983954/18287275637*c_0101_3^13 - 453051671262/18287275637*c_0101_3^12 - 2123714015111/18287275637*c_0101_3^11 + 3029832600164/18287275637*c_0101_3^10 + 1390100724627/18287275637*c_0101_3^9 - 5161391734738/18287275637*c_0101_3^8 + 793370967548/18287275637*c_0101_3^7 + 4132335958953/18287275637*c_0101_3^6 - 1231370047991/18287275637*c_0101_3^5 - 1845196804239/18287275637*c_0101_3^4 + 402499480091/18287275637*c_0101_3^3 + 363196950921/18287275637*c_0101_3^2 - 48561655207/18287275637*c_0101_3 + 4903961038/18287275637, c_0011_5 + 75016444/18287275637*c_0101_3^17 - 844331794/18287275637*c_0101_3^16 + 2752194912/18287275637*c_0101_3^15 + 3006236209/18287275637*c_0101_3^14 - 37637615859/18287275637*c_0101_3^13 + 68884460832/18287275637*c_0101_3^12 + 33347178998/18287275637*c_0101_3^11 - 214747181964/18287275637*c_0101_3^10 + 74926721410/18287275637*c_0101_3^9 + 305371764616/18287275637*c_0101_3^8 - 159187687392/18287275637*c_0101_3^7 - 288619660643/18287275637*c_0101_3^6 + 103397477945/18287275637*c_0101_3^5 + 196677238128/18287275637*c_0101_3^4 + 5284090013/18287275637*c_0101_3^3 - 81212214972/18287275637*c_0101_3^2 - 271366423/389090971*c_0101_3 + 7659532422/18287275637, c_0101_0 - 2163510212/18287275637*c_0101_3^17 + 35211038259/18287275637*c_0101_3^16 - 235437515750/18287275637*c_0101_3^15 + 798973274041/18287275637*c_0101_3^14 - 1248971358412/18287275637*c_0101_3^13 - 136228263702/18287275637*c_0101_3^12 + 3317381176225/18287275637*c_0101_3^11 - 2861418191886/18287275637*c_0101_3^10 - 3813358379291/18287275637*c_0101_3^9 + 6171134277186/18287275637*c_0101_3^8 + 40628215508/389090971*c_0101_3^7 - 5847932180527/18287275637*c_0101_3^6 - 581944055462/18287275637*c_0101_3^5 + 2923852181019/18287275637*c_0101_3^4 + 384151982792/18287275637*c_0101_3^3 - 620975548995/18287275637*c_0101_3^2 - 116002587451/18287275637*c_0101_3 + 17534718641/18287275637, c_0101_1 - 1584269976/18287275637*c_0101_3^17 + 26323748934/18287275637*c_0101_3^16 - 181141138538/18287275637*c_0101_3^15 + 643547497555/18287275637*c_0101_3^14 - 1116317966857/18287275637*c_0101_3^13 + 238738066067/18287275637*c_0101_3^12 + 2364347323835/18287275637*c_0101_3^11 - 2780528719739/18287275637*c_0101_3^10 - 2031729085341/18287275637*c_0101_3^9 + 5119923881777/18287275637*c_0101_3^8 + 12350048319/18287275637*c_0101_3^7 - 4333625695268/18287275637*c_0101_3^6 + 733459610805/18287275637*c_0101_3^5 + 1995715156823/18287275637*c_0101_3^4 - 283632585649/18287275637*c_0101_3^3 - 409184136800/18287275637*c_0101_3^2 + 66411887899/18287275637*c_0101_3 + 16052381514/18287275637, c_0101_2 - 506092125/18287275637*c_0101_3^17 + 7863725963/18287275637*c_0101_3^16 - 49460664874/18287275637*c_0101_3^15 + 152998628767/18287275637*c_0101_3^14 - 193551039666/18287275637*c_0101_3^13 - 137665269038/18287275637*c_0101_3^12 + 639606376305/18287275637*c_0101_3^11 - 221445698951/18287275637*c_0101_3^10 - 1035549102002/18287275637*c_0101_3^9 + 822279723430/18287275637*c_0101_3^8 + 934486743200/18287275637*c_0101_3^7 - 917956863792/18287275637*c_0101_3^6 - 631562354267/18287275637*c_0101_3^5 + 543466037797/18287275637*c_0101_3^4 + 273485595741/18287275637*c_0101_3^3 - 127689112207/18287275637*c_0101_3^2 - 50037612912/18287275637*c_0101_3 + 5939100319/18287275637, c_0101_3^18 - 16*c_0101_3^17 + 104*c_0101_3^16 - 334*c_0101_3^15 + 442*c_0101_3^14 + 327*c_0101_3^13 - 1658*c_0101_3^12 + 845*c_0101_3^11 + 2516*c_0101_3^10 - 2591*c_0101_3^9 - 2139*c_0101_3^8 + 2982*c_0101_3^7 + 1260*c_0101_3^6 - 1710*c_0101_3^5 - 598*c_0101_3^4 + 403*c_0101_3^3 + 121*c_0101_3^2 - 27*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB