Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 997894140] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0248 geometric_solution 4.27848749 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 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 0 1 -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.051816880040 0.884151734372 0 3 5 4 0132 2310 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 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.558045593286 0.313189612304 0 0 5 5 2310 0132 1302 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.066058474146 1.127156139864 4 5 0 1 0213 1230 0132 3201 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 -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.362739991196 0.764804909578 3 6 1 6 0213 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785950566040 0.129478618678 2 2 3 1 2031 1302 3012 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 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.066058474146 1.127156139864 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669361720895 0.060702019448 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : 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' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_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_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0011_3']), 'c_1001_4' : negation(d['c_0110_3']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0110_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_3']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : negation(d['c_0110_3']), 'c_1010_0' : d['c_0011_4']})} 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_4, c_0011_5, c_0101_5, c_0110_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 1174172/5129575*c_0110_6^9 + 142189119/82073200*c_0110_6^8 - 331828963/82073200*c_0110_6^7 + 501667037/82073200*c_0110_6^6 - 37053841/3730600*c_0110_6^5 + 399697219/82073200*c_0110_6^4 - 13059001/16414640*c_0110_6^3 - 19589437/7461200*c_0110_6^2 - 5383973/16414640*c_0110_6 + 38114411/82073200, c_0011_0 - 1, c_0011_3 + 12487/207616*c_0110_6^9 - 40151/103808*c_0110_6^8 + 30063/51904*c_0110_6^7 - 137255/207616*c_0110_6^6 + 296793/207616*c_0110_6^5 + 30811/51904*c_0110_6^4 + 69425/103808*c_0110_6^3 - 95283/103808*c_0110_6^2 + 40737/25952*c_0110_6 - 7015/207616, c_0011_4 - 15067/207616*c_0110_6^9 + 51411/103808*c_0110_6^8 - 47719/51904*c_0110_6^7 + 276907/207616*c_0110_6^6 - 522853/207616*c_0110_6^5 + 25733/51904*c_0110_6^4 - 144437/103808*c_0110_6^3 + 6959/103808*c_0110_6^2 - 28675/25952*c_0110_6 - 63989/207616, c_0011_5 + 25931/207616*c_0110_6^9 - 102547/103808*c_0110_6^8 + 129439/51904*c_0110_6^7 - 799739/207616*c_0110_6^6 + 1272373/207616*c_0110_6^5 - 207069/51904*c_0110_6^4 + 30645/103808*c_0110_6^3 + 189553/103808*c_0110_6^2 - 11137/25952*c_0110_6 + 15461/207616, c_0101_5 - 1, c_0110_3 - 67/207616*c_0110_6^9 - 1229/103808*c_0110_6^8 + 7781/51904*c_0110_6^7 - 120093/207616*c_0110_6^6 + 223523/207616*c_0110_6^5 - 91095/51904*c_0110_6^4 + 202507/103808*c_0110_6^3 - 54849/103808*c_0110_6^2 + 19075/25952*c_0110_6 + 146339/207616, c_0110_6^10 - 7*c_0110_6^9 + 14*c_0110_6^8 - 21*c_0110_6^7 + 36*c_0110_6^6 - 7*c_0110_6^5 + 10*c_0110_6^4 + 16*c_0110_6^3 + 10*c_0110_6^2 + 7*c_0110_6 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB