Magma V2.19-8 Tue Aug 20 2013 16:18:42 on localhost [Seed = 3566553509] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2872 geometric_solution 6.08767195 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 1023 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 1 -1 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 1.001568167232 0.882764373900 0 3 4 0 0132 0132 0132 1023 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 -1 1 -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.450690829708 0.224504185938 5 0 0 3 0132 0132 1023 1302 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 -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.001568167232 0.882764373900 6 1 2 5 0132 0132 2031 2103 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 0 0 0 0 0 0 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.214361323907 1.205326344612 6 5 6 1 2103 2103 3012 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 -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 1.190309507836 0.699021581446 2 4 6 3 0132 2103 2031 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.550518637739 1.037508199534 3 4 4 5 0132 1230 2103 1302 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 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.637401326264 1.331853049420 ==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' : negation(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_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 91273398113831324929/52593407882592270690*c_1001_1^13 - 1208807673234687046241/21037363153036908276*c_1001_1^12 - 2352718455055447321279/26296703941296135345*c_1001_1^11 + 6096448731231853784717/105186815765184541380*c_1001_1^10 + 18794642230482270064603/26296703941296135345*c_1001_1^9 + 31545017759606848988737/105186815765184541380*c_1001_1^8 - 57443473374362527406924/26296703941296135345*c_1001_1^7 - 43690147661126788570961/105186815765184541380*c_1001_1^6 + 26393434103774607780988/8765567980432045115*c_1001_1^5 - 19956547012639073475041/105186815765184541380*c_1001_1^4 - 39329198413740222157003/21037363153036908276*c_1001_1^3 + 44890582197433162833743/105186815765184541380*c_1001_1^2 + 45614355704950256859361/105186815765184541380*c_1001_1 - 3651610643017592950942/26296703941296135345, c_0011_0 - 1, c_0011_4 - 448651392247453/44382622685731874*c_1001_1^13 + 6963494804070116/22191311342865937*c_1001_1^12 + 52100602636254587/44382622685731874*c_1001_1^11 + 45373041894798709/22191311342865937*c_1001_1^10 - 133726957643533447/44382622685731874*c_1001_1^9 - 246204161501015599/22191311342865937*c_1001_1^8 - 290896403379220531/44382622685731874*c_1001_1^7 + 495559941465716359/22191311342865937*c_1001_1^6 + 1240871054447443461/44382622685731874*c_1001_1^5 - 1221207714360458107/44382622685731874*c_1001_1^4 - 1286298858529870403/44382622685731874*c_1001_1^3 + 869865955963602955/44382622685731874*c_1001_1^2 + 208579155437358955/22191311342865937*c_1001_1 - 124865955507820677/22191311342865937, c_0101_0 + 2341658800094999/22191311342865937*c_1001_1^13 - 78507715194062985/22191311342865937*c_1001_1^12 - 88294276651557100/22191311342865937*c_1001_1^11 + 124794984721230365/22191311342865937*c_1001_1^10 + 947930615783270245/22191311342865937*c_1001_1^9 + 24250369194152102/22191311342865937*c_1001_1^8 - 3100435870918965767/22191311342865937*c_1001_1^7 + 440207565401581798/22191311342865937*c_1001_1^6 + 4189009342673868629/22191311342865937*c_1001_1^5 - 1332642203350064783/22191311342865937*c_1001_1^4 - 2424374941237566888/22191311342865937*c_1001_1^3 + 1031206335698293331/22191311342865937*c_1001_1^2 + 497223542503126425/22191311342865937*c_1001_1 - 240767947959163922/22191311342865937, c_0101_1 + 5702657563903493/44382622685731874*c_1001_1^13 - 94620998153238629/22191311342865937*c_1001_1^12 - 140182190888228039/22191311342865937*c_1001_1^11 + 115637108834964392/22191311342865937*c_1001_1^10 + 1202837630789595685/22191311342865937*c_1001_1^9 + 426061821518123147/22191311342865937*c_1001_1^8 - 3733648507570003058/22191311342865937*c_1001_1^7 - 674240922164830347/22191311342865937*c_1001_1^6 + 5264055569319932268/22191311342865937*c_1001_1^5 - 403298949986051595/44382622685731874*c_1001_1^4 - 3445401023983447916/22191311342865937*c_1001_1^3 + 676581450622421550/22191311342865937*c_1001_1^2 + 1721926424678532839/44382622685731874*c_1001_1 - 499839495754813435/44382622685731874, c_0101_2 - 2341658800094999/22191311342865937*c_1001_1^13 + 78507715194062985/22191311342865937*c_1001_1^12 + 88294276651557100/22191311342865937*c_1001_1^11 - 124794984721230365/22191311342865937*c_1001_1^10 - 947930615783270245/22191311342865937*c_1001_1^9 - 24250369194152102/22191311342865937*c_1001_1^8 + 3100435870918965767/22191311342865937*c_1001_1^7 - 440207565401581798/22191311342865937*c_1001_1^6 - 4189009342673868629/22191311342865937*c_1001_1^5 + 1332642203350064783/22191311342865937*c_1001_1^4 + 2424374941237566888/22191311342865937*c_1001_1^3 - 1031206335698293331/22191311342865937*c_1001_1^2 - 497223542503126425/22191311342865937*c_1001_1 + 240767947959163922/22191311342865937, c_0101_4 - 7456587092708371/44382622685731874*c_1001_1^13 + 248827042961751511/44382622685731874*c_1001_1^12 + 321060338133799123/44382622685731874*c_1001_1^11 - 380924013128582123/44382622685731874*c_1001_1^10 - 3079444250618882781/44382622685731874*c_1001_1^9 - 506673518166211353/44382622685731874*c_1001_1^8 + 10113261223231037315/44382622685731874*c_1001_1^7 - 225331888189837475/44382622685731874*c_1001_1^6 - 14364676850332839119/44382622685731874*c_1001_1^5 + 1624342521503762364/22191311342865937*c_1001_1^4 + 4511664682528976502/22191311342865937*c_1001_1^3 - 1579090654748998662/22191311342865937*c_1001_1^2 - 2127207143237341423/44382622685731874*c_1001_1 + 432754369545217149/22191311342865937, c_1001_1^14 - 34*c_1001_1^13 - 22*c_1001_1^12 + 77*c_1001_1^11 + 378*c_1001_1^10 - 197*c_1001_1^9 - 1388*c_1001_1^8 + 901*c_1001_1^7 + 1910*c_1001_1^6 - 1690*c_1001_1^5 - 962*c_1001_1^4 + 1251*c_1001_1^3 + 18*c_1001_1^2 - 324*c_1001_1 + 79 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB