Magma V2.19-8 Tue Aug 20 2013 16:14:37 on localhost [Seed = 4290667513] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s606 geometric_solution 5.08557530 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443658865636 0.202972265610 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692470475782 0.649741564042 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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.139388731823 1.550176618988 2 5 4 1 3201 1023 3201 0132 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 0 0 0 1 0 -1 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.139388731823 1.550176618988 3 2 4 4 2310 0132 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.173594578166 0.922167338939 3 5 5 2 1023 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 -1 0 1 -1 0 1 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.057539759980 0.639913925727 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 5221271626964478497/775120774730953552*c_0101_4^13 - 5707236905351578979/211396574926623696*c_0101_4^12 + 179721468197912176541/1162681162096430328*c_0101_4^11 + 258865809165154904723/581340581048215164*c_0101_4^10 + 1107084596005837601271/775120774730953552*c_0101_4^9 + 1529411766785718675203/775120774730953552*c_0101_4^8 + 5266543635215343692537/2325362324192860656*c_0101_4^7 + 5499384200946423789191/2325362324192860656*c_0101_4^6 - 87796201343075227723/70465524975541232*c_0101_4^5 + 1029097817863637759311/1162681162096430328*c_0101_4^4 - 478333742204185794106/145335145262053791*c_0101_4^3 + 432470022844075095971/2325362324192860656*c_0101_4^2 - 370216340626801078001/775120774730953552*c_0101_4 - 270422122643494039225/2325362324192860656, c_0011_0 - 1, c_0011_1 - 321410275859162/4404095310971327*c_0101_4^13 - 1352477807912510/4404095310971327*c_0101_4^12 + 7074197005358938/4404095310971327*c_0101_4^11 + 22629266082407844/4404095310971327*c_0101_4^10 + 73810815556909814/4404095310971327*c_0101_4^9 + 108971261434029786/4404095310971327*c_0101_4^8 + 128213034593471373/4404095310971327*c_0101_4^7 + 127164624735877479/4404095310971327*c_0101_4^6 - 50149368771965387/4404095310971327*c_0101_4^5 + 26923618864439837/4404095310971327*c_0101_4^4 - 166188105676941990/4404095310971327*c_0101_4^3 + 1749870161472588/4404095310971327*c_0101_4^2 - 19886637318917912/4404095310971327*c_0101_4 - 5693052164645474/4404095310971327, c_0011_3 - 1627043362666417/96890096841369194*c_0101_4^13 - 5901427413470987/96890096841369194*c_0101_4^12 + 20234896996093940/48445048420684597*c_0101_4^11 + 47624852243590796/48445048420684597*c_0101_4^10 + 285836441412719069/96890096841369194*c_0101_4^9 + 317718201883390041/96890096841369194*c_0101_4^8 + 291638233228216235/96890096841369194*c_0101_4^7 + 313100528990999759/96890096841369194*c_0101_4^6 - 549795082600597781/96890096841369194*c_0101_4^5 + 9403571866874321/4404095310971327*c_0101_4^4 - 336024329394483291/48445048420684597*c_0101_4^3 + 140141235018351343/96890096841369194*c_0101_4^2 - 9924556066196963/96890096841369194*c_0101_4 + 26171649146556253/96890096841369194, c_0101_0 + 3501852186764194/48445048420684597*c_0101_4^13 + 13053009730594782/48445048420684597*c_0101_4^12 - 84403563607043776/48445048420684597*c_0101_4^11 - 208346105145563346/48445048420684597*c_0101_4^10 - 670745298910366026/48445048420684597*c_0101_4^9 - 835123316445940435/48445048420684597*c_0101_4^8 - 945574576387283301/48445048420684597*c_0101_4^7 - 1061806895829003079/48445048420684597*c_0101_4^6 + 804674399636496634/48445048420684597*c_0101_4^5 - 66040340609959990/4404095310971327*c_0101_4^4 + 1685352532119540881/48445048420684597*c_0101_4^3 - 298898657758471677/48445048420684597*c_0101_4^2 + 235680533305061015/48445048420684597*c_0101_4 + 66544447854943461/48445048420684597, c_0101_1 - 17441078664524/4404095310971327*c_0101_4^13 - 94778688948212/4404095310971327*c_0101_4^12 + 300796212385116/4404095310971327*c_0101_4^11 + 1765498282964706/4404095310971327*c_0101_4^10 + 5513800490590262/4404095310971327*c_0101_4^9 + 9433362236537747/4404095310971327*c_0101_4^8 + 9800550118224345/4404095310971327*c_0101_4^7 + 6086098493505811/4404095310971327*c_0101_4^6 - 4544790611192012/4404095310971327*c_0101_4^5 - 6543404252069969/4404095310971327*c_0101_4^4 - 6740459701689527/4404095310971327*c_0101_4^3 + 840736307424896/4404095310971327*c_0101_4^2 + 2617793189604900/4404095310971327*c_0101_4 - 1264984174289778/4404095310971327, c_0101_4^14 + 4*c_0101_4^13 - 23*c_0101_4^12 - 66*c_0101_4^11 - 211*c_0101_4^10 - 290*c_0101_4^9 - 330*c_0101_4^8 - 344*c_0101_4^7 + 192*c_0101_4^6 - 129*c_0101_4^5 + 482*c_0101_4^4 - 29*c_0101_4^3 + 60*c_0101_4^2 + 20*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB