Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 1949689965] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s716 geometric_solution 5.22600590 oriented_manifold CS_known -0.0000000000000000 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 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 -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.381223683872 0.215523785414 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 -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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630979310079 0.908271911189 1 4 5 3 0132 0132 0132 2310 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 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.040608969903 0.999560110908 2 5 4 1 3201 0132 3201 0132 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 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.040608969903 0.999560110908 3 2 4 4 2310 0132 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 0 -1 1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.324940680365 1.313293780935 5 3 5 2 2031 0132 1302 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.474477176382 0.906646083375 ==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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], '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' : d['c_0011_3'], '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' : negation(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_0'], '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: 24 Groebner basis: [ t + 89066097969695651481260/22352629813563973062857*c_0101_4^23 - 14293209507985238837311799/178821038508511784502856*c_0101_4^21 - 41208593647227475120466931/178821038508511784502856*c_0101_4^19 - 94028754769055531227108029/44705259627127946125714*c_0101_4^17 + 261084195581035508054502097/89410519254255892251428*c_0101_4^15 + 1976052069447646221077203573/178821038508511784502856*c_0101_4^13 - 208657719195961884573681409/178821038508511784502856*c_0101_4^11 - 779104667606729399158106913/44705259627127946125714*c_0101_4^9 + 40110266038663817559578806/22352629813563973062857*c_0101_4^7 + 389380620407474660631879617/89410519254255892251428*c_0101_4^5 + 111617010432295033950402909/178821038508511784502856*c_0101_4^3 - 87957554817926815090122185/178821038508511784502856*c_0101_4, c_0011_0 - 1, c_0011_1 - 67931706902350018906/22352629813563973062857*c_0101_4^22 + 59701759566872082274/971853470154955350559*c_0101_4^20 + 3732053950222308948514/22352629813563973062857*c_0101_4^18 + 35006131381967022277141/22352629813563973062857*c_0101_4^16 - 56147988437841058057525/22352629813563973062857*c_0101_4^14 - 188329696865013869046225/22352629813563973062857*c_0101_4^12 + 53065123941409560461544/22352629813563973062857*c_0101_4^10 + 321675565179691034432031/22352629813563973062857*c_0101_4^8 - 46833497417318341182292/22352629813563973062857*c_0101_4^6 - 67355674523136618819737/22352629813563973062857*c_0101_4^4 - 18850737417331496046314/22352629813563973062857*c_0101_4^2 - 8432689739851931599289/22352629813563973062857, c_0011_3 - 4370029220614646019745/89410519254255892251428*c_0101_4^23 + 87347597388494825843501/89410519254255892251428*c_0101_4^21 + 129496828190539912072111/44705259627127946125714*c_0101_4^19 + 1162966376578286743480585/44705259627127946125714*c_0101_4^17 - 3032369936708830557831137/89410519254255892251428*c_0101_4^15 - 12318727018840715434004509/89410519254255892251428*c_0101_4^13 + 200105530534458710028175/44705259627127946125714*c_0101_4^11 + 206784666970763307457654/971853470154955350559*c_0101_4^9 - 383462560240792197041673/44705259627127946125714*c_0101_4^7 - 4665950762052887958094201/89410519254255892251428*c_0101_4^5 - 756251701346123083772181/89410519254255892251428*c_0101_4^3 + 223984772918574455593933/44705259627127946125714*c_0101_4, c_0101_0 - 3317035884668187017057/44705259627127946125714*c_0101_4^23 + 66188447666088475830217/44705259627127946125714*c_0101_4^21 + 99326885514812459557695/22352629813563973062857*c_0101_4^19 + 887778680089486998452472/22352629813563973062857*c_0101_4^17 - 2231437019093448315518131/44705259627127946125714*c_0101_4^15 - 405820295603412609463979/1943706940309910701118*c_0101_4^13 - 58312530563937582220597/22352629813563973062857*c_0101_4^11 + 6990156628805177694727119/22352629813563973062857*c_0101_4^9 - 70995193706842284810535/22352629813563973062857*c_0101_4^7 - 2969107949262976982186937/44705259627127946125714*c_0101_4^5 - 769525611466417664548321/44705259627127946125714*c_0101_4^3 + 127022613120212339566793/22352629813563973062857*c_0101_4, c_0101_1 + 156647600571513494552/22352629813563973062857*c_0101_4^22 - 137038924499933139431/971853470154955350559*c_0101_4^20 - 8860292976170987044028/22352629813563973062857*c_0101_4^18 - 82295383938852447697798/22352629813563973062857*c_0101_4^16 + 119707910005330931823920/22352629813563973062857*c_0101_4^14 + 424271403120614052458083/22352629813563973062857*c_0101_4^12 - 59628181294952159339453/22352629813563973062857*c_0101_4^10 - 673489931997638670580992/22352629813563973062857*c_0101_4^8 + 80188382549902343672272/22352629813563973062857*c_0101_4^6 + 134673699985688367819775/22352629813563973062857*c_0101_4^4 + 42811575767035771282296/22352629813563973062857*c_0101_4^2 - 10948388065037797676059/22352629813563973062857, c_0101_4^24 - 20*c_0101_4^22 - 59*c_0101_4^20 - 532*c_0101_4^18 + 699*c_0101_4^16 + 2798*c_0101_4^14 - 109*c_0101_4^12 - 4290*c_0101_4^10 + 218*c_0101_4^8 + 987*c_0101_4^6 + 190*c_0101_4^4 - 97*c_0101_4^2 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB