Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 4038159578] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0056 geometric_solution 3.61897398 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 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 2.142149438870 0.163706362320 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.681752860181 0.026012377842 0 3 3 0 3201 0132 1023 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 1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.925559197856 0.563069560522 4 2 2 4 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 0 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.110002815181 0.215736727927 3 3 6 5 0132 2310 0132 0132 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 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.034536362878 1.971769809728 6 6 4 6 1302 2031 0132 3012 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 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.492082102097 0.499099412083 5 5 5 4 1302 2031 1230 0132 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 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.492082102097 0.499099412083 ==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' : d['c_0110_5'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0110_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0101_1']), '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_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 99478922484826236925269/10883507609960243339*c_0110_5^16 - 859745166311783416442563/21767015219920486678*c_0110_5^15 - 1254679322266997923138756/10883507609960243339*c_0110_5^14 - 1381839500183434389034315/21767015219920486678*c_0110_5^13 - 8332367418654317753232589/10883507609960243339*c_0110_5^12 - 20908038380242018280648059/21767015219920486678*c_0110_5^11 + 14288273741935998880697407/21767015219920486678*c_0110_5^10 - 7758861652062733739115719/21767015219920486678*c_0110_5^9 + 6812110114061507890902982/10883507609960243339*c_0110_5^8 + 27756841793642943001780598/10883507609960243339*c_0110_5^7 + 12963901317738620969142694/10883507609960243339*c_0110_5^6 - 2592191239233353484623770/10883507609960243339*c_0110_5^5 - 31407787405358818241090182/10883507609960243339*c_0110_5^4 - 10301352882247831484501260/10883507609960243339*c_0110_5^3 + 23972728704642208154545363/21767015219920486678*c_0110_5^2 + 5645649816705413390757383/21767015219920486678*c_0110_5 - 318297436532282060149293/10883507609960243339, c_0011_0 - 1, c_0011_2 + 142874305407267093395/21767015219920486678*c_0110_5^16 - 616134256269999736035/21767015219920486678*c_0110_5^15 - 1806938579172117653813/21767015219920486678*c_0110_5^14 - 1010355081714623701495/21767015219920486678*c_0110_5^13 - 11982378963749091120897/21767015219920486678*c_0110_5^12 - 7562827132846130891798/10883507609960243339*c_0110_5^11 + 5040642671748003787691/10883507609960243339*c_0110_5^10 - 5543705566994920592393/21767015219920486678*c_0110_5^9 + 4868833075988071275818/10883507609960243339*c_0110_5^8 + 19953343356134851746395/10883507609960243339*c_0110_5^7 + 9505553223897251074833/10883507609960243339*c_0110_5^6 - 1713823875324493221859/10883507609960243339*c_0110_5^5 - 22506310860952661236368/10883507609960243339*c_0110_5^4 - 15136553976356679953271/21767015219920486678*c_0110_5^3 + 8497820829330317717433/10883507609960243339*c_0110_5^2 + 4159498847455198644369/21767015219920486678*c_0110_5 - 220974461784186189931/10883507609960243339, c_0011_5 + 32750268327390896977/21767015219920486678*c_0110_5^16 - 70753588979860454720/10883507609960243339*c_0110_5^15 - 206977857992946020553/10883507609960243339*c_0110_5^14 - 112203976883733925911/10883507609960243339*c_0110_5^13 - 1365951684075220245734/10883507609960243339*c_0110_5^12 - 3430589390211376022041/21767015219920486678*c_0110_5^11 + 1214966537779527469486/10883507609960243339*c_0110_5^10 - 1151639750119630988597/21767015219920486678*c_0110_5^9 + 2274227371984607534039/21767015219920486678*c_0110_5^8 + 4616927706107598770659/10883507609960243339*c_0110_5^7 + 2129604618505233539615/10883507609960243339*c_0110_5^6 - 513196458424758854939/10883507609960243339*c_0110_5^5 - 5271599916433672554662/10883507609960243339*c_0110_5^4 - 3532767414965335832549/21767015219920486678*c_0110_5^3 + 4074717101217068976163/21767015219920486678*c_0110_5^2 + 1024473542087711276011/21767015219920486678*c_0110_5 - 106377069169820407691/21767015219920486678, c_0101_0 + 52293426538363489209/10883507609960243339*c_0110_5^16 - 452782630262934231165/21767015219920486678*c_0110_5^15 - 1315897293898712604339/21767015219920486678*c_0110_5^14 - 714548758196250332573/21767015219920486678*c_0110_5^13 - 8747315536107118140879/21767015219920486678*c_0110_5^12 - 10910649638970610746343/21767015219920486678*c_0110_5^11 + 3821007639640048357915/10883507609960243339*c_0110_5^10 - 2022733141580761175854/10883507609960243339*c_0110_5^9 + 7248965813181348222245/21767015219920486678*c_0110_5^8 + 14587446297352875669793/10883507609960243339*c_0110_5^7 + 6720849801522360233894/10883507609960243339*c_0110_5^6 - 1470126604063358424046/10883507609960243339*c_0110_5^5 - 16579937163421307270509/10883507609960243339*c_0110_5^4 - 5338477697360163686581/10883507609960243339*c_0110_5^3 + 12689971009796553448277/21767015219920486678*c_0110_5^2 + 1482339852930713625194/10883507609960243339*c_0110_5 - 346577851203054851049/21767015219920486678, c_0101_1 - 48385088835673302131/21767015219920486678*c_0110_5^16 + 208583635003876420639/21767015219920486678*c_0110_5^15 + 612381949582827115323/21767015219920486678*c_0110_5^14 + 342656288731297967943/21767015219920486678*c_0110_5^13 + 4055864921337159669589/21767015219920486678*c_0110_5^12 + 2563066903107356638053/10883507609960243339*c_0110_5^11 - 1708985990250543138943/10883507609960243339*c_0110_5^10 + 1844285998951827233851/21767015219920486678*c_0110_5^9 - 1645450997639451494459/10883507609960243339*c_0110_5^8 - 6753181494895357087381/10883507609960243339*c_0110_5^7 - 3231438539369053387842/10883507609960243339*c_0110_5^6 + 617729637386218871204/10883507609960243339*c_0110_5^5 + 7654314525400791264914/10883507609960243339*c_0110_5^4 + 5149515967254585782759/21767015219920486678*c_0110_5^3 - 2886172392207294192990/10883507609960243339*c_0110_5^2 - 1481132701651850820061/21767015219920486678*c_0110_5 + 72690042614014433447/10883507609960243339, c_0101_4 - 81939044249313418367/21767015219920486678*c_0110_5^16 + 353482034342910751473/21767015219920486678*c_0110_5^15 + 1036058421408004547063/21767015219920486678*c_0110_5^14 + 576592713311972481477/21767015219920486678*c_0110_5^13 + 6866745169890872713989/21767015219920486678*c_0110_5^12 + 4329906808349551441385/10883507609960243339*c_0110_5^11 - 2912261102203614579114/10883507609960243339*c_0110_5^10 + 3142547066429803741059/21767015219920486678*c_0110_5^9 - 2797242119244879199996/10883507609960243339*c_0110_5^8 - 11453887234945026063776/10883507609960243339*c_0110_5^7 - 5432848939334466584267/10883507609960243339*c_0110_5^6 + 1031189789197565709504/10883507609960243339*c_0110_5^5 + 12945782166019289652813/10883507609960243339*c_0110_5^4 + 8653339808157310237971/21767015219920486678*c_0110_5^3 - 4904421558213387812017/10883507609960243339*c_0110_5^2 - 2409269025003983265693/21767015219920486678*c_0110_5 + 127800478443739374282/10883507609960243339, c_0110_5^17 - 4*c_0110_5^16 - 14*c_0110_5^15 - 11*c_0110_5^14 - 86*c_0110_5^13 - 132*c_0110_5^12 + 38*c_0110_5^11 - 16*c_0110_5^10 + 56*c_0110_5^9 + 301*c_0110_5^8 + 220*c_0110_5^7 + 16*c_0110_5^6 - 324*c_0110_5^5 - 205*c_0110_5^4 + 87*c_0110_5^3 + 67*c_0110_5^2 + 6*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB