Magma V2.19-8 Tue Aug 20 2013 16:15:48 on localhost [Seed = 3616951292] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0027 geometric_solution 3.59541638 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1302 0132 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 -1 1 0 0 0 0 0 0 1 0 -1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009981013355 0.514242475210 0 4 3 2 0132 0132 0132 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 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.929641588635 0.645632313711 0 0 1 3 2031 0132 2031 2310 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 1 -1 0 -1 0 0 1 2 -1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962271010714 1.943875651355 2 4 0 1 3201 1230 0132 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 1 0 0 -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 -2.814958060586 1.797194724110 5 1 3 5 0132 0132 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.031839677678 0.087208622141 4 4 6 6 0132 2310 3201 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 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.384970681102 0.291612632738 5 6 5 6 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.836041399426 0.087061913331 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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_6' : 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_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_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_3, c_0011_6, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 923310778276113/125030848949552*c_0101_5^13 - 3488215827446513/125030848949552*c_0101_5^12 + 8196741489486373/125030848949552*c_0101_5^11 + 2665637634553869/7814428059347*c_0101_5^10 - 2819517253191189/4465387462484*c_0101_5^9 - 53054510529097201/31257712237388*c_0101_5^8 + 650619784808249/1202219701438*c_0101_5^7 + 165648865470469855/62515424474776*c_0101_5^6 + 10972789419029695/62515424474776*c_0101_5^5 - 220507552342610735/125030848949552*c_0101_5^4 - 20173714705653167/62515424474776*c_0101_5^3 + 54538639400956419/125030848949552*c_0101_5^2 + 1025465734812879/31257712237388*c_0101_5 - 547991182546625/31257712237388, c_0011_0 - 1, c_0011_3 + 971948453381/1116346865621*c_0101_5^13 + 3758189965989/1116346865621*c_0101_5^12 - 8173452039104/1116346865621*c_0101_5^11 - 45181322849557/1116346865621*c_0101_5^10 + 78008042248892/1116346865621*c_0101_5^9 + 225103563572137/1116346865621*c_0101_5^8 - 3118526211938/85872835817*c_0101_5^7 - 328896843086115/1116346865621*c_0101_5^6 - 60064378994039/1116346865621*c_0101_5^5 + 198771016219377/1116346865621*c_0101_5^4 + 58149923795380/1116346865621*c_0101_5^3 - 42103779544532/1116346865621*c_0101_5^2 - 5331814873374/1116346865621*c_0101_5 + 3349061839962/1116346865621, c_0011_6 + 129603847535/1116346865621*c_0101_5^13 + 397864412056/1116346865621*c_0101_5^12 - 1472202912731/1116346865621*c_0101_5^11 - 5111908245317/1116346865621*c_0101_5^10 + 14967704412970/1116346865621*c_0101_5^9 + 21101871687574/1116346865621*c_0101_5^8 - 2064330065487/85872835817*c_0101_5^7 - 37130466344061/1116346865621*c_0101_5^6 + 19917385791348/1116346865621*c_0101_5^5 + 28353488555529/1116346865621*c_0101_5^4 - 5521694671137/1116346865621*c_0101_5^3 - 7159116608339/1116346865621*c_0101_5^2 + 538731973562/1116346865621*c_0101_5 - 144398412240/1116346865621, c_0101_1 - 1960212096435/1116346865621*c_0101_5^13 - 7218065668351/1116346865621*c_0101_5^12 + 18107362207777/1116346865621*c_0101_5^11 + 88833402381767/1116346865621*c_0101_5^10 - 176368433183510/1116346865621*c_0101_5^9 - 433996774469707/1116346865621*c_0101_5^8 + 14464599392640/85872835817*c_0101_5^7 + 685164424127056/1116346865621*c_0101_5^6 - 26762566753411/1116346865621*c_0101_5^5 - 468110712320204/1116346865621*c_0101_5^4 - 32095316212490/1116346865621*c_0101_5^3 + 124333198078471/1116346865621*c_0101_5^2 - 6033771250589/1116346865621*c_0101_5 - 8128379640510/1116346865621, c_0101_2 - 2816889824873/1116346865621*c_0101_5^13 - 10548434602751/1116346865621*c_0101_5^12 + 25213376417367/1116346865621*c_0101_5^11 + 128701750358321/1116346865621*c_0101_5^10 - 244069390706807/1116346865621*c_0101_5^9 - 632696984134733/1116346865621*c_0101_5^8 + 16726734750804/85872835817*c_0101_5^7 + 971316762157626/1116346865621*c_0101_5^6 + 30356619293227/1116346865621*c_0101_5^5 - 638633638611832/1116346865621*c_0101_5^4 - 82690706453948/1116346865621*c_0101_5^3 + 158188388121250/1116346865621*c_0101_5^2 - 3406906637339/1116346865621*c_0101_5 - 10088683866993/1116346865621, c_0101_4 + 77771684791/1116346865621*c_0101_5^13 + 238595307514/1116346865621*c_0101_5^12 - 853217684980/1116346865621*c_0101_5^11 - 2921461791837/1116346865621*c_0101_5^10 + 8819897176320/1116346865621*c_0101_5^9 + 10992902895033/1116346865621*c_0101_5^8 - 1131344353641/85872835817*c_0101_5^7 - 12928420790860/1116346865621*c_0101_5^6 + 15017986822457/1116346865621*c_0101_5^5 + 6233212342765/1116346865621*c_0101_5^4 - 10503185222363/1116346865621*c_0101_5^3 - 53632807194/1116346865621*c_0101_5^2 + 3743886017200/1116346865621*c_0101_5 - 65035215532/1116346865621, c_0101_5^14 + 4*c_0101_5^13 - 8*c_0101_5^12 - 48*c_0101_5^11 + 75*c_0101_5^10 + 247*c_0101_5^9 - 20*c_0101_5^8 - 366*c_0101_5^7 - 100*c_0101_5^6 + 225*c_0101_5^5 + 89*c_0101_5^4 - 49*c_0101_5^3 - 14*c_0101_5^2 + 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB