Magma V2.19-8 Tue Aug 20 2013 17:58:14 on localhost [Seed = 307471940] Type ? for help. Type -D to quit. Loading file "10^2_170__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_170 geometric_solution 11.83429528 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 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 -1 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 0.665613733887 0.954279241661 0 3 5 4 0132 0213 0132 0132 1 1 1 0 0 0 0 0 0 0 1 -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 1 -1 0 -1 0 1 0 0 0 0 0 -1 4 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578183247659 0.322999359075 0 0 7 6 3012 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 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.327039952604 0.933314162665 8 6 1 0 0132 1302 0213 0132 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.112370854445 0.645260308739 8 6 1 9 2103 1023 0132 0132 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322548845091 1.193953233293 8 9 10 1 3120 0132 0132 0132 1 1 0 0 0 0 0 0 0 0 1 -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 0 -1 1 0 0 1 -1 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.320940047347 1.749650782206 4 7 2 3 1023 1230 0132 2031 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299562000688 1.714842869315 11 11 6 2 0132 1230 3012 0132 1 1 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 1 -1 0 0 0 0 -1 0 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726718250473 0.579351807983 3 11 4 5 0132 0321 2103 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529633766733 1.032582023894 12 5 4 10 0132 0132 0132 0132 1 1 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 -1 0 0 1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.298638909019 1.040449584992 12 12 9 5 3120 1230 0132 0132 1 1 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 0 -1 0 1 1 0 0 -1 3 -3 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213658189980 0.596962361693 7 12 7 8 0132 3120 3012 0321 0 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 0 0 0 0 0 4 -4 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.158664934501 0.670726228493 9 11 10 10 0132 3120 3012 3120 0 1 0 0 0 0 0 0 1 0 0 -1 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 1 -1 0 0 0 1 -1 3 0 0 -3 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213658189980 0.596962361693 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_6'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0110_6'], 'c_1001_8' : d['c_0011_4'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_10'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_12' : 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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_1001_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_4'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : negation(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_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : 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_0110_11' : d['c_0011_3'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0110_6'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_10, c_0101_11, c_0101_5, c_0101_6, c_0110_6, c_1001_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 31555904257167/21538451440*c_1100_1^15 + 243784372939573/21538451440*c_1100_1^14 - 87591667298767/4307690288*c_1100_1^13 - 24056703818545/4307690288*c_1100_1^12 + 471748857006377/21538451440*c_1100_1^11 + 758124322147217/4307690288*c_1100_1^10 + 10128543684685781/21538451440*c_1100_1^9 + 3383094212274055/4307690288*c_1100_1^8 + 3767264050088487/4307690288*c_1100_1^7 + 16768185846501951/21538451440*c_1100_1^6 + 1059238506013077/1958041040*c_1100_1^5 + 7220030095112049/21538451440*c_1100_1^4 + 3484040851303587/21538451440*c_1100_1^3 + 1580289501667703/21538451440*c_1100_1^2 + 429999782335247/21538451440*c_1100_1 + 116682349174753/21538451440, c_0011_0 - 1, c_0011_10 - 912994495/2153845144*c_1100_1^15 + 1574451677/538461286*c_1100_1^14 - 2861961503/1076922572*c_1100_1^13 - 11357995871/1076922572*c_1100_1^12 + 27112708691/2153845144*c_1100_1^11 + 63029849391/1076922572*c_1100_1^10 + 179621404253/1076922572*c_1100_1^9 + 301551097225/1076922572*c_1100_1^8 + 621133610147/2153845144*c_1100_1^7 + 108991190029/538461286*c_1100_1^6 + 11774352679/97902052*c_1100_1^5 + 62105454773/1076922572*c_1100_1^4 + 54644520985/2153845144*c_1100_1^3 + 5678371717/1076922572*c_1100_1^2 + 1940697401/1076922572*c_1100_1 - 1761122119/1076922572, c_0011_12 + 610340721/1076922572*c_1100_1^15 - 6132874441/1076922572*c_1100_1^14 + 19987072917/1076922572*c_1100_1^13 - 21403234009/1076922572*c_1100_1^12 - 4653819843/538461286*c_1100_1^11 - 43706481545/1076922572*c_1100_1^10 - 9116030731/269230643*c_1100_1^9 + 26931374429/538461286*c_1100_1^8 + 183424492129/1076922572*c_1100_1^7 + 155504784577/1076922572*c_1100_1^6 + 10487397263/97902052*c_1100_1^5 + 43064576207/1076922572*c_1100_1^4 + 8064828470/269230643*c_1100_1^3 + 1049917401/1076922572*c_1100_1^2 + 2320913981/538461286*c_1100_1 - 654954566/269230643, c_0011_3 - 1761122119/1076922572*c_1100_1^15 + 29090948399/2153845144*c_1100_1^14 - 15663428629/538461286*c_1100_1^13 + 2861961503/1076922572*c_1100_1^12 + 39535949775/1076922572*c_1100_1^11 + 381467622917/2153845144*c_1100_1^10 + 444173320881/1076922572*c_1100_1^9 + 609361305059/1076922572*c_1100_1^8 + 490953856325/1076922572*c_1100_1^7 + 675052269437/2153845144*c_1100_1^6 + 8023135209/48951026*c_1100_1^5 + 95905751763/1076922572*c_1100_1^4 + 22428406939/1076922572*c_1100_1^3 + 15800363775/2153845144*c_1100_1^2 - 5678371717/1076922572*c_1100_1 - 863774829/1076922572, c_0011_4 + 3390266663/2153845144*c_1100_1^15 - 14407518759/1076922572*c_1100_1^14 + 67129524313/2153845144*c_1100_1^13 - 20823007467/2153845144*c_1100_1^12 - 72890339721/2153845144*c_1100_1^11 - 43696644628/269230643*c_1100_1^10 - 768437165589/2153845144*c_1100_1^9 - 977916614767/2153845144*c_1100_1^8 - 689445467879/2153845144*c_1100_1^7 - 228965161883/1076922572*c_1100_1^6 - 19657580239/195804104*c_1100_1^5 - 126372839669/2153845144*c_1100_1^4 - 8154782311/2153845144*c_1100_1^3 - 1731228311/538461286*c_1100_1^2 + 12735775993/2153845144*c_1100_1 - 1232445249/2153845144, c_0101_0 - 1, c_0101_10 - 3157813/7376182*c_1100_1^15 + 51042231/14752364*c_1100_1^14 - 26188350/3688091*c_1100_1^13 + 8322313/29504728*c_1100_1^12 + 28501141/3688091*c_1100_1^11 + 706649403/14752364*c_1100_1^10 + 442137510/3688091*c_1100_1^9 + 5275908629/29504728*c_1100_1^8 + 1268554055/7376182*c_1100_1^7 + 1987317781/14752364*c_1100_1^6 + 25150860/335281*c_1100_1^5 + 1095903583/29504728*c_1100_1^4 + 46636657/3688091*c_1100_1^3 + 66048289/14752364*c_1100_1^2 - 1193026/3688091*c_1100_1 - 10848045/29504728, c_0101_11 + 182173628/269230643*c_1100_1^15 - 11098038405/2153845144*c_1100_1^14 + 2292960419/269230643*c_1100_1^13 + 6377607457/1076922572*c_1100_1^12 - 3744147557/269230643*c_1100_1^11 - 181932195833/2153845144*c_1100_1^10 - 236322654895/1076922572*c_1100_1^9 - 378009054161/1076922572*c_1100_1^8 - 190213139389/538461286*c_1100_1^7 - 569067261799/2153845144*c_1100_1^6 - 7599187967/48951026*c_1100_1^5 - 90607257647/1076922572*c_1100_1^4 - 17385955745/538461286*c_1100_1^3 - 19356100683/2153845144*c_1100_1^2 + 428510569/1076922572*c_1100_1 + 1514093855/1076922572, c_0101_5 + 110188941/269230643*c_1100_1^15 - 3608575089/1076922572*c_1100_1^14 + 7560693265/1076922572*c_1100_1^13 - 38805579/2153845144*c_1100_1^12 - 10116089921/1076922572*c_1100_1^11 - 12253388691/269230643*c_1100_1^10 - 113208873683/1076922572*c_1100_1^9 - 317480393529/2153845144*c_1100_1^8 - 32390440835/269230643*c_1100_1^7 - 87828356251/1076922572*c_1100_1^6 - 4424232977/97902052*c_1100_1^5 - 54671788209/2153845144*c_1100_1^4 - 3980330039/1076922572*c_1100_1^3 + 12280931/269230643*c_1100_1^2 + 1674473753/1076922572*c_1100_1 + 1329704397/2153845144, c_0101_6 + 139873109/1076922572*c_1100_1^15 - 911382751/2153845144*c_1100_1^14 - 1662664643/538461286*c_1100_1^13 + 12541081679/1076922572*c_1100_1^12 - 5192292883/1076922572*c_1100_1^11 - 59960009443/2153845144*c_1100_1^10 - 55494285845/538461286*c_1100_1^9 - 221358444075/1076922572*c_1100_1^8 - 274312391135/1076922572*c_1100_1^7 - 429304819893/2153845144*c_1100_1^6 - 6475812005/48951026*c_1100_1^5 - 72909767681/1076922572*c_1100_1^4 - 39665621035/1076922572*c_1100_1^3 - 16444117769/2153845144*c_1100_1^2 - 1698503409/538461286*c_1100_1 + 1921502017/1076922572, c_0110_6 - 139873109/1076922572*c_1100_1^15 + 911382751/2153845144*c_1100_1^14 + 1662664643/538461286*c_1100_1^13 - 12541081679/1076922572*c_1100_1^12 + 5192292883/1076922572*c_1100_1^11 + 59960009443/2153845144*c_1100_1^10 + 55494285845/538461286*c_1100_1^9 + 221358444075/1076922572*c_1100_1^8 + 274312391135/1076922572*c_1100_1^7 + 429304819893/2153845144*c_1100_1^6 + 6475812005/48951026*c_1100_1^5 + 72909767681/1076922572*c_1100_1^4 + 39665621035/1076922572*c_1100_1^3 + 16444117769/2153845144*c_1100_1^2 + 1160042123/538461286*c_1100_1 - 1921502017/1076922572, c_1001_0 - 588821403/1076922572*c_1100_1^15 + 5093327827/1076922572*c_1100_1^14 - 6248585481/538461286*c_1100_1^13 + 3081737111/538461286*c_1100_1^12 + 9784297345/1076922572*c_1100_1^11 + 60986093195/1076922572*c_1100_1^10 + 125334083205/1076922572*c_1100_1^9 + 78325305043/538461286*c_1100_1^8 + 106113887643/1076922572*c_1100_1^7 + 69881220953/1076922572*c_1100_1^6 + 561687981/24475513*c_1100_1^5 + 8848744983/538461286*c_1100_1^4 - 4893709545/1076922572*c_1100_1^3 + 1455991457/1076922572*c_1100_1^2 - 3825517387/1076922572*c_1100_1 + 203704081/538461286, c_1100_1^16 - 8*c_1100_1^15 + 16*c_1100_1^14 - 16*c_1100_1^12 - 116*c_1100_1^11 - 288*c_1100_1^10 - 448*c_1100_1^9 - 450*c_1100_1^8 - 368*c_1100_1^7 - 224*c_1100_1^6 - 128*c_1100_1^5 - 48*c_1100_1^4 - 20*c_1100_1^3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.390 seconds, Total memory usage: 32.09MB