Magma V2.19-8 Tue Aug 20 2013 18:12:43 on localhost [Seed = 3549587545] Type ? for help. Type -D to quit. Loading file "10^2_7__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_7 geometric_solution 13.64038891 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 15 1 1 2 3 0132 1230 0132 0132 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 0 0 0 0 0 -1 0 1 1 0 -1 0 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.252767457513 0.867583453328 0 4 0 5 0132 0132 3012 0132 0 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 0 0 0 0 0 1 -1 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.690460692079 1.062443656113 6 4 7 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347949444892 1.467151164190 4 4 0 5 0132 1302 0132 2103 0 0 0 1 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 -1 1 0 0 0 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252767457513 0.867583453328 3 1 2 3 0132 0132 3012 2031 0 0 1 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 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569946421492 0.661743241166 7 6 1 3 2103 2103 0132 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 -1 1 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252958036842 0.569170097834 2 5 8 9 0132 2103 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 -1 0 1 1 0 0 -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.276036197712 0.462506921608 10 8 5 2 0132 0132 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276036197712 0.462506921608 11 7 12 6 0132 0132 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 0 0 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.730366270133 1.406165859135 10 12 6 13 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 1 -1 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.015931599753 1.355546613088 7 13 9 11 0132 3012 2103 0132 0 0 0 0 0 -1 1 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 -1 -1 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.576822349283 0.846007074063 8 14 10 14 0132 0132 0132 0213 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 0 1 -1 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388957577561 0.467304385683 14 9 13 8 0213 0132 0132 0132 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 0 0 0 0 0 0 0 -2 2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510911163038 0.905210216568 10 14 9 12 1230 0213 0132 0132 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 1 -1 0 -1 0 1 0 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.219885643878 0.548492695180 12 11 13 11 0213 0132 0213 0213 0 0 0 0 0 0 0 0 -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 0 0 -1 1 2 0 0 -2 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388957577561 0.467304385683 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : negation(d['1']), 'c_1001_14' : d['c_1001_12'], 'c_1001_11' : negation(d['c_0101_13']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : d['c_1001_12'], 'c_1001_12' : d['c_1001_12'], 's_0_10' : d['1'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : d['c_1001_2'], 'c_1010_13' : d['c_1001_12'], 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : negation(d['c_0101_13']), 'c_1010_14' : negation(d['c_0101_13']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : d['c_0011_12'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_14' : d['c_0011_10'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0110_5']), 'c_1100_6' : d['c_1100_12'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : negation(d['c_0110_5']), 'c_1100_14' : d['c_1001_12'], 'c_1100_9' : d['c_1100_12'], 'c_1100_11' : negation(d['c_0101_13']), 'c_1100_10' : negation(d['c_0101_13']), 'c_1100_13' : d['c_1100_12'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_1001_2']), 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_2']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_0011_5'], 'c_1100_8' : d['c_1100_12'], 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_12'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0101_8'], 'c_0110_14' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0011_0']), 'c_0101_12' : d['c_0011_10'], 's_2_14' : d['1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : 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' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_4, c_0101_8, c_0110_5, c_1001_12, c_1001_2, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 14593482622618621/20008749899988653*c_1100_12^8 - 478923467361802247/40017499799977306*c_1100_12^7 + 1998188556151620825/40017499799977306*c_1100_12^6 - 1796642523175134762/20008749899988653*c_1100_12^5 + 1503351625890397793/20008749899988653*c_1100_12^4 - 1664809872828299857/40017499799977306*c_1100_12^3 + 849746191583581229/40017499799977306*c_1100_12^2 - 193553135705532317/40017499799977306*c_1100_12 - 21859174438137611/40017499799977306, c_0011_0 - 1, c_0011_10 + c_1100_12, c_0011_12 - 87736/844513*c_1100_12^8 + 1321752/844513*c_1100_12^7 - 4018196/844513*c_1100_12^6 + 1891272/844513*c_1100_12^5 + 8434548/844513*c_1100_12^4 - 10822219/844513*c_1100_12^3 + 4371384/844513*c_1100_12^2 - 2080961/844513*c_1100_12 + 1067617/844513, c_0011_2 - 444086/844513*c_1100_12^8 + 6816028/844513*c_1100_12^7 - 22952654/844513*c_1100_12^6 + 26715268/844513*c_1100_12^5 - 2688324/844513*c_1100_12^4 - 3374808/844513*c_1100_12^3 + 3857930/844513*c_1100_12^2 - 1976336/844513*c_1100_12 + 927129/844513, c_0011_5 + 412729/844513*c_1100_12^8 - 6648263/844513*c_1100_12^7 + 26267478/844513*c_1100_12^6 - 43006589/844513*c_1100_12^5 + 29009503/844513*c_1100_12^4 - 11383503/844513*c_1100_12^3 + 3752146/844513*c_1100_12^2 - 1676601/844513*c_1100_12 - 624693/844513, c_0101_0 - 1, c_0101_1 + 1, c_0101_10 - 412729/844513*c_1100_12^8 + 6648263/844513*c_1100_12^7 - 26267478/844513*c_1100_12^6 + 43006589/844513*c_1100_12^5 - 29009503/844513*c_1100_12^4 + 11383503/844513*c_1100_12^3 - 3752146/844513*c_1100_12^2 + 1676601/844513*c_1100_12 + 624693/844513, c_0101_13 - 37474/844513*c_1100_12^8 + 506334/844513*c_1100_12^7 - 902704/844513*c_1100_12^6 - 981328/844513*c_1100_12^5 + 3034287/844513*c_1100_12^4 + 211015/844513*c_1100_12^3 - 658338/844513*c_1100_12^2 + 1293591/844513*c_1100_12 - 290810/844513, c_0101_4 - 444086/844513*c_1100_12^8 + 6816028/844513*c_1100_12^7 - 22952654/844513*c_1100_12^6 + 26715268/844513*c_1100_12^5 - 2688324/844513*c_1100_12^4 - 3374808/844513*c_1100_12^3 + 3857930/844513*c_1100_12^2 - 1976336/844513*c_1100_12 + 82616/844513, c_0101_8 - 78782/844513*c_1100_12^8 + 1389305/844513*c_1100_12^7 - 6871814/844513*c_1100_12^6 + 14584491/844513*c_1100_12^5 - 13090983/844513*c_1100_12^4 + 3083573/844513*c_1100_12^3 + 120290/844513*c_1100_12^2 + 498295/844513*c_1100_12 + 656050/844513, c_0110_5 - 444086/844513*c_1100_12^8 + 6816028/844513*c_1100_12^7 - 22952654/844513*c_1100_12^6 + 26715268/844513*c_1100_12^5 - 2688324/844513*c_1100_12^4 - 3374808/844513*c_1100_12^3 + 3857930/844513*c_1100_12^2 - 1976336/844513*c_1100_12 + 927129/844513, c_1001_12 + 173392/844513*c_1100_12^8 - 2665610/844513*c_1100_12^7 + 8931491/844513*c_1100_12^6 - 9169249/844513*c_1100_12^5 - 3718831/844513*c_1100_12^4 + 7181386/844513*c_1100_12^3 - 2954707/844513*c_1100_12^2 + 1772254/844513*c_1100_12 - 491511/844513, c_1001_2 + 1, c_1100_12^9 - 16*c_1100_12^8 + 62*c_1100_12^7 - 99*c_1100_12^6 + 67*c_1100_12^5 - 37*c_1100_12^4 + 22*c_1100_12^3 - 7*c_1100_12^2 + c_1100_12 - 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_4, c_0101_8, c_0110_5, c_1001_12, c_1001_2, c_1100_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 4890990703737248/200109559379025*c_1100_12^10 - 6643701705658412/200109559379025*c_1100_12^9 + 6015363134690227/200109559379025*c_1100_12^8 - 8027775293001107/133406372919350*c_1100_12^7 + 28171540679254529/400219118758050*c_1100_12^6 - 2667946995048254/200109559379025*c_1100_12^5 + 8156926682478763/200109559379025*c_1100_12^4 - 7994100427622393/133406372919350*c_1100_12^3 - 368602588132857/133406372919350*c_1100_12^2 + 710489735704687/133406372919350*c_1100_12 + 1087919915520493/400219118758050, c_0011_0 - 1, c_0011_10 + c_1100_12, c_0011_12 + 993443392/29042529*c_1100_12^10 - 1097195176/29042529*c_1100_12^9 + 1144111868/29042529*c_1100_12^8 - 731051096/9680843*c_1100_12^7 + 2399523872/29042529*c_1100_12^6 - 157622068/29042529*c_1100_12^5 + 1726671104/29042529*c_1100_12^4 - 571544311/9680843*c_1100_12^3 - 20111900/9680843*c_1100_12^2 + 18073579/9680843*c_1100_12 + 134538313/29042529, c_0011_2 + 855244000/29042529*c_1100_12^10 - 1134215404/29042529*c_1100_12^9 + 1137417050/29042529*c_1100_12^8 - 693812124/9680843*c_1100_12^7 + 2428594622/29042529*c_1100_12^6 - 485224312/29042529*c_1100_12^5 + 1422754400/29042529*c_1100_12^4 - 604678928/9680843*c_1100_12^3 + 34896082/9680843*c_1100_12^2 + 30451852/9680843*c_1100_12 + 99885019/29042529, c_0011_5 + 1143810224/29042529*c_1100_12^10 - 1288927598/29042529*c_1100_12^9 + 1309061707/29042529*c_1100_12^8 - 835729937/9680843*c_1100_12^7 + 2752960900/29042529*c_1100_12^6 - 140321027/29042529*c_1100_12^5 + 1867996267/29042529*c_1100_12^4 - 645991345/9680843*c_1100_12^3 - 40991676/9680843*c_1100_12^2 + 45338735/9680843*c_1100_12 + 103074395/29042529, c_0101_0 - 1, c_0101_1 - 1, c_0101_10 - 1143810224/29042529*c_1100_12^10 + 1288927598/29042529*c_1100_12^9 - 1309061707/29042529*c_1100_12^8 + 835729937/9680843*c_1100_12^7 - 2752960900/29042529*c_1100_12^6 + 140321027/29042529*c_1100_12^5 - 1867996267/29042529*c_1100_12^4 + 645991345/9680843*c_1100_12^3 + 40991676/9680843*c_1100_12^2 - 45338735/9680843*c_1100_12 - 103074395/29042529, c_0101_13 + 201818080/29042529*c_1100_12^10 - 274819372/29042529*c_1100_12^9 + 232156166/29042529*c_1100_12^8 - 148707742/9680843*c_1100_12^7 + 539938712/29042529*c_1100_12^6 - 40834552/29042529*c_1100_12^5 + 245427173/29042529*c_1100_12^4 - 145917147/9680843*c_1100_12^3 - 6641198/9680843*c_1100_12^2 + 31624409/9680843*c_1100_12 + 25102546/29042529, c_0101_4 - 855244000/29042529*c_1100_12^10 + 1134215404/29042529*c_1100_12^9 - 1137417050/29042529*c_1100_12^8 + 693812124/9680843*c_1100_12^7 - 2428594622/29042529*c_1100_12^6 + 485224312/29042529*c_1100_12^5 - 1422754400/29042529*c_1100_12^4 + 604678928/9680843*c_1100_12^3 - 34896082/9680843*c_1100_12^2 - 30451852/9680843*c_1100_12 - 128927548/29042529, c_0101_8 - 829602304/29042529*c_1100_12^10 + 973616752/29042529*c_1100_12^9 - 941258030/29042529*c_1100_12^8 + 607191435/9680843*c_1100_12^7 - 2029314446/29042529*c_1100_12^6 + 98607391/29042529*c_1100_12^5 - 1252482569/29042529*c_1100_12^4 + 497962031/9680843*c_1100_12^3 + 37843170/9680843*c_1100_12^2 - 40606563/9680843*c_1100_12 - 85039006/29042529, c_0110_5 + 855244000/29042529*c_1100_12^10 - 1134215404/29042529*c_1100_12^9 + 1137417050/29042529*c_1100_12^8 - 693812124/9680843*c_1100_12^7 + 2428594622/29042529*c_1100_12^6 - 485224312/29042529*c_1100_12^5 + 1422754400/29042529*c_1100_12^4 - 604678928/9680843*c_1100_12^3 + 34896082/9680843*c_1100_12^2 + 30451852/9680843*c_1100_12 + 99885019/29042529, c_1001_12 - 314750336/9680843*c_1100_12^10 + 359937968/9680843*c_1100_12^9 - 366040112/9680843*c_1100_12^8 + 708222834/9680843*c_1100_12^7 - 783725175/9680843*c_1100_12^6 + 69884935/9680843*c_1100_12^5 - 541669825/9680843*c_1100_12^4 + 572187978/9680843*c_1100_12^3 + 18031299/9680843*c_1100_12^2 - 21591706/9680843*c_1100_12 - 41112761/9680843, c_1001_2 + 1, c_1100_12^11 - 13/8*c_1100_12^10 + 27/16*c_1100_12^9 - 11/4*c_1100_12^8 + 7/2*c_1100_12^7 - 21/16*c_1100_12^6 + 27/16*c_1100_12^5 - 41/16*c_1100_12^4 + 3/4*c_1100_12^3 + 3/16*c_1100_12^2 + 1/16*c_1100_12 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.720 Total time: 0.930 seconds, Total memory usage: 32.09MB