Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 4004475586] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s219 geometric_solution 4.36984631 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 2310 3201 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 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.404476145015 0.235766091223 0 0 2 2 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466035912487 0.161001647381 1 3 1 4 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785245921441 0.484056498277 5 2 4 4 0132 0132 2310 1230 0 0 0 0 0 0 0 0 1 0 -1 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 0 1 0 -1 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694446070746 1.081116917037 3 3 2 5 3012 3201 0132 1023 0 0 0 0 0 0 1 -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 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.694446070746 1.081116917037 3 5 5 4 0132 1230 3012 1023 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694446070746 1.081116917037 ==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' : negation(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' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], '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_0011_2']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 13127999442126080/639585881529217*c_0101_3^14 + 66697034170475360/639585881529217*c_0101_3^13 - 6463216024987130/639585881529217*c_0101_3^12 - 190544422441372222/639585881529217*c_0101_3^11 + 26272080966118916/639585881529217*c_0101_3^10 + 586659884903027316/639585881529217*c_0101_3^9 + 3346380489621896318/639585881529217*c_0101_3^8 + 2310892764174124010/639585881529217*c_0101_3^7 - 5369145809846005445/639585881529217*c_0101_3^6 - 2479990196404474981/639585881529217*c_0101_3^5 + 2488528976208710563/639585881529217*c_0101_3^4 + 310543103206189366/639585881529217*c_0101_3^3 - 517504785221352486/639585881529217*c_0101_3^2 + 56289931884771220/639585881529217*c_0101_3 + 35095589147146257/639585881529217, c_0011_0 - 1, c_0011_2 + 148998848089867/639585881529217*c_0101_3^14 - 779147842848801/639585881529217*c_0101_3^13 + 207982906230383/639585881529217*c_0101_3^12 + 2046114778214333/639585881529217*c_0101_3^11 - 644088138826967/639585881529217*c_0101_3^10 - 6273814749119684/639585881529217*c_0101_3^9 - 36969897885349628/639585881529217*c_0101_3^8 - 21603099499609601/639585881529217*c_0101_3^7 + 59004689088992417/639585881529217*c_0101_3^6 + 13612615130523140/639585881529217*c_0101_3^5 - 24177728655647747/639585881529217*c_0101_3^4 + 6502231429810419/639585881529217*c_0101_3^3 + 1912517434635222/639585881529217*c_0101_3^2 - 1397792779513670/639585881529217*c_0101_3 + 481645063693859/639585881529217, c_0011_4 + 31357094628418/91369411647031*c_0101_3^14 - 27771511678773/13052773092433*c_0101_3^13 + 205913491537471/91369411647031*c_0101_3^12 + 368138897030343/91369411647031*c_0101_3^11 - 522469547977318/91369411647031*c_0101_3^10 - 1182278195130187/91369411647031*c_0101_3^9 - 6544019590443633/91369411647031*c_0101_3^8 + 2946766552132244/91369411647031*c_0101_3^7 + 16194144153767562/91369411647031*c_0101_3^6 - 1251831361658149/13052773092433*c_0101_3^5 - 7215219950667713/91369411647031*c_0101_3^4 + 4925159048113931/91369411647031*c_0101_3^3 + 135069373187349/91369411647031*c_0101_3^2 - 751984735420592/91369411647031*c_0101_3 + 20880404047425/13052773092433, c_0101_0 - 468588065794340/639585881529217*c_0101_3^14 + 2484648079711877/639585881529217*c_0101_3^13 - 856981742689456/639585881529217*c_0101_3^12 - 6226030685566263/639585881529217*c_0101_3^11 + 2234438125468097/639585881529217*c_0101_3^10 + 19500486291030751/639585881529217*c_0101_3^9 + 115263572843977188/639585881529217*c_0101_3^8 + 59926524117610211/639585881529217*c_0101_3^7 - 185897637302149582/639585881529217*c_0101_3^6 - 34093287307388434/639585881529217*c_0101_3^5 + 71363048114010377/639585881529217*c_0101_3^4 - 14445632039529813/639585881529217*c_0101_3^3 - 10413420727367584/639585881529217*c_0101_3^2 + 4264551398188142/639585881529217*c_0101_3 + 192723343976706/639585881529217, c_0101_1 - 228714083813010/639585881529217*c_0101_3^14 + 1403059180312893/639585881529217*c_0101_3^13 - 1434918862596668/639585881529217*c_0101_3^12 - 2626391446695683/639585881529217*c_0101_3^11 + 3468204262666938/639585881529217*c_0101_3^10 + 8591947844730867/639585881529217*c_0101_3^9 + 48669851097808828/639585881529217*c_0101_3^8 - 17430037162102409/639585881529217*c_0101_3^7 - 114209707617479231/639585881529217*c_0101_3^6 + 53916925764524339/639585881529217*c_0101_3^5 + 43861584462853643/639585881529217*c_0101_3^4 - 26958163164733924/639585881529217*c_0101_3^3 + 1389668995481630/639585881529217*c_0101_3^2 + 3143622974753312/639585881529217*c_0101_3 - 914031638568073/639585881529217, c_0101_3^15 - 5*c_0101_3^14 + 15*c_0101_3^12 - c_0101_3^11 - 46*c_0101_3^10 - 258*c_0101_3^9 - 193*c_0101_3^8 + 415*c_0101_3^7 + 231*c_0101_3^6 - 210*c_0101_3^5 - 43*c_0101_3^4 + 55*c_0101_3^3 - 5*c_0101_3^2 - 6*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB