Magma V2.19-8 Tue Aug 20 2013 23:45:16 on localhost [Seed = 2716320883] Type ? for help. Type -D to quit. Loading file "K13n2498__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2498 geometric_solution 10.99542050 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 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 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.377720084067 0.340699981308 0 5 2 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356973202300 0.758926629581 7 0 8 1 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356973202300 0.758926629581 9 5 10 0 0132 0321 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -3 0 3 0 4 -4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848963395380 0.813678042645 7 11 0 6 2103 0132 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848963395380 0.813678042645 7 1 9 3 1023 0132 0213 0321 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 0 0 0 -1 0 0 1 -4 0 0 4 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.121437480536 1.667364365878 8 4 1 10 0213 2310 0132 3120 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 0 0 0 0 4 0 0 -4 1 0 0 -1 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045284885024 1.379651082844 2 5 4 11 0132 1023 2103 3120 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 1 0 -1 0 0 0 0 -4 4 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.121437480536 1.667364365878 6 9 10 2 0213 0213 3120 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 0 1 -1 -1 0 1 0 -4 0 0 4 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570282108546 1.459907100072 3 5 8 11 0132 0213 0213 0213 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 0 0 0 0 3 0 0 -3 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906560604225 1.095118956780 6 11 8 3 3120 0213 3120 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 4 0 -1 -3 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.570282108546 1.459907100072 7 4 10 9 3120 0132 0213 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 0 0 0 0 0 0 0 -3 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906560604225 1.095118956780 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_2_7' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_2'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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'], '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' : 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_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : 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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_8'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_10, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 162361569467753303/749858970375*c_1001_3^11 + 3841422187132355311/749858970375*c_1001_3^10 - 15253426499856229649/749858970375*c_1001_3^9 + 31824433585185764821/749858970375*c_1001_3^8 - 28288947382140804271/749858970375*c_1001_3^7 + 3063771039008890207/249952990125*c_1001_3^6 + 20989232842809028432/749858970375*c_1001_3^5 + 660990389600494364/749858970375*c_1001_3^4 + 3909987800014330952/249952990125*c_1001_3^3 - 135110680802983003/249952990125*c_1001_3^2 - 2907264197904792109/749858970375*c_1001_3 + 470525163400965194/749858970375, c_0011_0 - 1, c_0011_10 - 42470140997/3332706535*c_1001_3^11 + 1005066167546/3332706535*c_1001_3^10 - 3995431445041/3332706535*c_1001_3^9 + 1668801414104/666541307*c_1001_3^8 - 7434405956641/3332706535*c_1001_3^7 + 2418788481434/3332706535*c_1001_3^6 + 5507213457914/3332706535*c_1001_3^5 + 24664299692/666541307*c_1001_3^4 + 3059037114471/3332706535*c_1001_3^3 - 119683626276/3332706535*c_1001_3^2 - 153683450942/666541307*c_1001_3 + 129934539639/3332706535, c_0011_11 + 25053401404/16663532675*c_1001_3^11 - 591771577168/16663532675*c_1001_3^10 + 2331455451107/16663532675*c_1001_3^9 - 4842837524913/16663532675*c_1001_3^8 + 4272372222923/16663532675*c_1001_3^7 - 1466921019053/16663532675*c_1001_3^6 - 3064015939636/16663532675*c_1001_3^5 - 368063029417/16663532675*c_1001_3^4 - 1872267253878/16663532675*c_1001_3^3 - 50034408388/16663532675*c_1001_3^2 + 375463050477/16663532675*c_1001_3 - 42028958047/16663532675, c_0011_6 + 126538727682/16663532675*c_1001_3^11 - 2995799652189/16663532675*c_1001_3^10 + 11934043465431/16663532675*c_1001_3^9 - 24992141182689/16663532675*c_1001_3^8 + 22462131701729/16663532675*c_1001_3^7 - 7588597010374/16663532675*c_1001_3^6 - 16133878972823/16663532675*c_1001_3^5 - 351416251351/16663532675*c_1001_3^4 - 9126901121394/16663532675*c_1001_3^3 + 461283582921/16663532675*c_1001_3^2 + 2236652781731/16663532675*c_1001_3 - 380296543456/16663532675, c_0011_8 + 42470140997/3332706535*c_1001_3^11 - 1005066167546/3332706535*c_1001_3^10 + 3995431445041/3332706535*c_1001_3^9 - 1668801414104/666541307*c_1001_3^8 + 7434405956641/3332706535*c_1001_3^7 - 2418788481434/3332706535*c_1001_3^6 - 5507213457914/3332706535*c_1001_3^5 - 24664299692/666541307*c_1001_3^4 - 3059037114471/3332706535*c_1001_3^3 + 119683626276/3332706535*c_1001_3^2 + 153683450942/666541307*c_1001_3 - 129934539639/3332706535, c_0101_1 - 395497526356/16663532675*c_1001_3^11 + 9359883439112/16663532675*c_1001_3^10 - 37216351483148/16663532675*c_1001_3^9 + 77768294759687/16663532675*c_1001_3^8 - 69444888225507/16663532675*c_1001_3^7 + 22926901883217/16663532675*c_1001_3^6 + 50849876363809/16663532675*c_1001_3^5 + 1411093687808/16663532675*c_1001_3^4 + 28512718050552/16663532675*c_1001_3^3 - 1139929067818/16663532675*c_1001_3^2 - 7052292793998/16663532675*c_1001_3 + 1166985886448/16663532675, c_0101_10 - 126538727682/16663532675*c_1001_3^11 + 2995799652189/16663532675*c_1001_3^10 - 11934043465431/16663532675*c_1001_3^9 + 24992141182689/16663532675*c_1001_3^8 - 22462131701729/16663532675*c_1001_3^7 + 7588597010374/16663532675*c_1001_3^6 + 16133878972823/16663532675*c_1001_3^5 + 351416251351/16663532675*c_1001_3^4 + 9126901121394/16663532675*c_1001_3^3 - 461283582921/16663532675*c_1001_3^2 - 2236652781731/16663532675*c_1001_3 + 380296543456/16663532675, c_0101_2 - 22450942429/3332706535*c_1001_3^11 + 106285578053/666541307*c_1001_3^10 - 2114836810797/3332706535*c_1001_3^9 + 4419279290974/3332706535*c_1001_3^8 - 788291044618/666541307*c_1001_3^7 + 1272655899823/3332706535*c_1001_3^6 + 2932723556467/3332706535*c_1001_3^5 + 33341458286/3332706535*c_1001_3^4 + 321975318574/666541307*c_1001_3^3 - 74216339907/3332706535*c_1001_3^2 - 415251614311/3332706535*c_1001_3 + 14288433231/666541307, c_1001_0 + 6788642847/16663532675*c_1001_3^11 - 163624939954/16663532675*c_1001_3^10 + 709411671776/16663532675*c_1001_3^9 - 1624869639899/16663532675*c_1001_3^8 + 1828222174919/16663532675*c_1001_3^7 - 1052400062304/16663532675*c_1001_3^6 - 498765386863/16663532675*c_1001_3^5 + 169166129709/16663532675*c_1001_3^4 - 410619738334/16663532675*c_1001_3^3 + 232749334541/16663532675*c_1001_3^2 + 76435493646/16663532675*c_1001_3 - 33305412516/16663532675, c_1001_10 + 30818362603/16663532675*c_1001_3^11 - 728393260716/16663532675*c_1001_3^10 + 2877066329424/16663532675*c_1001_3^9 - 5962916783636/16663532675*c_1001_3^8 + 5194795681976/16663532675*c_1001_3^7 - 1558285290221/16663532675*c_1001_3^6 - 4078277013947/16663532675*c_1001_3^5 - 197862693899/16663532675*c_1001_3^4 - 2209838128611/16663532675*c_1001_3^3 + 21163794884/16663532675*c_1001_3^2 + 569660642144/16663532675*c_1001_3 - 83454931489/16663532675, c_1001_2 + c_1001_3, c_1001_3^12 - 24*c_1001_3^11 + 102*c_1001_3^10 - 228*c_1001_3^9 + 241*c_1001_3^8 - 116*c_1001_3^7 - 110*c_1001_3^6 + 40*c_1001_3^5 - 71*c_1001_3^4 + 27*c_1001_3^3 + 17*c_1001_3^2 - 9*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.290 Total time: 1.500 seconds, Total memory usage: 64.12MB