Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 3499183318] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s591 geometric_solution 5.06919391 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 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 -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.319869666745 0.454348323009 3 2 4 0 0132 3012 0132 0132 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 -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.470898499400 0.961280535797 1 3 0 4 1230 0132 0132 3201 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 1 0 -1 -1 0 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.470898499400 0.961280535797 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 1 -1 0 0 0 -1 1 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 1 -1 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.029050275902 1.252928888514 5 2 5 1 0132 2310 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388306710037 1.853807128687 4 4 5 5 0132 3201 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 1 0 -1 0 0 1 -1 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.408740440008 0.156936310641 ==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_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' : negation(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' : d['1'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 4109135087919180387/2920149645874568*c_0101_4^14 + 2811705049852567503/730037411468642*c_0101_4^13 - 92002448177469992525/2920149645874568*c_0101_4^12 - 101859497815861948545/2920149645874568*c_0101_4^11 + 714673115440835649229/2920149645874568*c_0101_4^10 - 23188987075178289987/2920149645874568*c_0101_4^9 - 893153902734891171651/1460074822937284*c_0101_4^8 + 720159714012670475889/2920149645874568*c_0101_4^7 + 157604978658093931968/365018705734321*c_0101_4^6 - 200753568991786001733/1460074822937284*c_0101_4^5 - 92803884967863290667/730037411468642*c_0101_4^4 - 5615025829152217103/730037411468642*c_0101_4^3 + 37889231579928316027/2920149645874568*c_0101_4^2 + 13580818959088561039/1460074822937284*c_0101_4 + 5220463845710196735/2920149645874568, c_0011_0 - 1, c_0011_1 + 5811380004515259/1460074822937284*c_0101_4^14 + 3830545142069331/365018705734321*c_0101_4^13 - 131452606125992513/1460074822937284*c_0101_4^12 - 130367469603330421/1460074822937284*c_0101_4^11 + 1019183168439031601/1460074822937284*c_0101_4^10 - 138462023391937227/1460074822937284*c_0101_4^9 - 1238401502703871921/730037411468642*c_0101_4^8 + 1252338096138010713/1460074822937284*c_0101_4^7 + 394651968513786693/365018705734321*c_0101_4^6 - 328961531962603491/730037411468642*c_0101_4^5 - 107133672135785958/365018705734321*c_0101_4^4 - 7011888615569995/365018705734321*c_0101_4^3 + 53054006293430471/1460074822937284*c_0101_4^2 + 18692359191353715/730037411468642*c_0101_4 + 5848043561822391/1460074822937284, c_0011_4 - 28761606662900661/365018705734321*c_0101_4^14 - 78371539647435573/365018705734321*c_0101_4^13 + 644710478686647180/365018705734321*c_0101_4^12 + 704580181964134627/365018705734321*c_0101_4^11 - 5006187582790223397/365018705734321*c_0101_4^10 + 227542115009356268/365018705734321*c_0101_4^9 + 12464460702178058091/365018705734321*c_0101_4^8 - 5184819615303809685/365018705734321*c_0101_4^7 - 8679168868156329335/365018705734321*c_0101_4^6 + 2866620920484655925/365018705734321*c_0101_4^5 + 2521790208090475426/365018705734321*c_0101_4^4 + 149289986590025101/365018705734321*c_0101_4^3 - 260115370127297082/365018705734321*c_0101_4^2 - 186595816042294843/365018705734321*c_0101_4 - 34970476864556983/365018705734321, c_0101_0 - 28912693388314173/365018705734321*c_0101_4^14 - 78884507118657789/365018705734321*c_0101_4^13 + 647946458567689723/365018705734321*c_0101_4^12 + 710916945166717930/365018705734321*c_0101_4^11 - 5032712633467376132/365018705734321*c_0101_4^10 + 207602357489942163/365018705734321*c_0101_4^9 + 12551232471045282845/365018705734321*c_0101_4^8 - 5166015140024417062/365018705734321*c_0101_4^7 - 8792061394146591972/365018705734321*c_0101_4^6 + 2864864886542182021/365018705734321*c_0101_4^5 + 2573831287121557081/365018705734321*c_0101_4^4 + 154798202186210952/365018705734321*c_0101_4^3 - 266064127038900475/365018705734321*c_0101_4^2 - 190242086519482570/365018705734321*c_0101_4 - 35754196640055876/365018705734321, c_0101_1 - 121160103020839479/1460074822937284*c_0101_4^14 - 82621199670522510/365018705734321*c_0101_4^13 + 2715099955137325157/1460074822937284*c_0101_4^12 + 2976046692388298065/1460074822937284*c_0101_4^11 - 21083858824256315405/1460074822937284*c_0101_4^10 + 896832171437636875/1460074822937284*c_0101_4^9 + 26267856493462378689/730037411468642*c_0101_4^8 - 21701858629592187937/1460074822937284*c_0101_4^7 - 9170824525085658990/365018705734321*c_0101_4^6 + 6006738131909427891/730037411468642*c_0101_4^5 + 2672418050651483380/365018705734321*c_0101_4^4 + 159602735569297920/365018705734321*c_0101_4^3 - 1098380747602408415/1460074822937284*c_0101_4^2 - 394499123092080539/730037411468642*c_0101_4 - 148239297768442827/1460074822937284, c_0101_4^15 + 3*c_0101_4^14 - 65/3*c_0101_4^13 - 92/3*c_0101_4^12 + 502/3*c_0101_4^11 + 40*c_0101_4^10 - 1307/3*c_0101_4^9 + 61*c_0101_4^8 + 1055/3*c_0101_4^7 - 50/3*c_0101_4^6 - 346/3*c_0101_4^5 - 88/3*c_0101_4^4 + 23/3*c_0101_4^3 + 9*c_0101_4^2 + 3*c_0101_4 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB