Magma V2.19-8 Tue Aug 20 2013 23:52:42 on localhost [Seed = 1814693816] Type ? for help. Type -D to quit. Loading file "L13n3386__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3386 geometric_solution 10.42651402 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 1 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 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.519435751368 1.676264874591 0 4 0 5 0132 0132 3012 0132 1 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 -1 0 1 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.831334364314 0.544298847174 6 3 7 0 0132 3012 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 0 -1 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.132243192614 0.674604450565 2 5 0 8 1230 0321 0132 0132 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 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.706802690734 0.855183215599 9 1 10 9 0132 0132 0132 2031 1 0 1 1 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 1 0 -1 1 0 0 -1 10 -1 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.158038447764 0.551256776958 6 11 1 3 2103 0132 0132 0321 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 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 1.116724624262 0.527484396643 2 10 5 7 0132 1230 2103 2031 0 1 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 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.327425636180 0.703490533455 8 6 8 2 1023 1302 0132 0132 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 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.612308616567 0.460681670927 11 7 3 7 2031 1023 0132 0132 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 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.727119453977 0.649616703722 4 4 10 11 0132 1302 1302 3120 0 0 1 1 0 -1 0 1 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 0 -1 -1 0 1 0 0 1 0 -1 -10 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519435751368 1.676264874591 9 11 6 4 2031 0321 3012 0132 1 0 1 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 0 0 0 0 0 0 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 1.226238442102 0.821081658991 9 5 8 10 3120 0132 1302 0321 1 0 1 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 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133668256857 1.323413904583 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0011_2'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_7']), 'c_0101_10' : d['c_0011_7'], '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' : negation(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' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_7'], 'c_1100_11' : d['c_0011_2'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_7'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), '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_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : 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_2, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_1001_4, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1158240997069233/419126041568*c_1100_0^11 + 18582799691220649/419126041568*c_1100_0^10 + 13556895339189551/419126041568*c_1100_0^9 - 1559212869757803/32240464736*c_1100_0^8 + 220191708803870919/209563020784*c_1100_0^7 - 885626730304038267/209563020784*c_1100_0^6 + 340734830242626801/32240464736*c_1100_0^5 - 7881115800248706165/419126041568*c_1100_0^4 + 7378294904475727867/419126041568*c_1100_0^3 - 3391058296885619453/419126041568*c_1100_0^2 + 247216851587946789/209563020784*c_1100_0 - 11034615306376225/209563020784, c_0011_0 - 1, c_0011_10 - 11171796752289/5867764581952*c_1100_0^11 - 45016419467281/1466941145488*c_1100_0^10 - 72054338578149/2933882290976*c_1100_0^9 + 6579107194935/209563020784*c_1100_0^8 - 4234750041718463/5867764581952*c_1100_0^7 + 8386036923312459/2933882290976*c_1100_0^6 - 41500987064734389/5867764581952*c_1100_0^5 + 36503348870769707/2933882290976*c_1100_0^4 - 16477738406635083/1466941145488*c_1100_0^3 + 2005374327621285/419126041568*c_1100_0^2 - 2895404342325045/5867764581952*c_1100_0 + 40099161017511/2933882290976, c_0011_11 - 504693532035981/11735529163904*c_1100_0^11 - 8122006923122863/11735529163904*c_1100_0^10 - 197080576662115/366735286372*c_1100_0^9 + 606993723284015/838252083136*c_1100_0^8 - 191498972932739755/11735529163904*c_1100_0^7 + 762456592352593497/11735529163904*c_1100_0^6 - 1893406902423709717/11735529163904*c_1100_0^5 + 3343770900195715903/11735529163904*c_1100_0^4 - 764271140425759489/2933882290976*c_1100_0^3 + 95573721699593987/838252083136*c_1100_0^2 - 158815524740949007/11735529163904*c_1100_0 + 5431074204066587/11735529163904, c_0011_2 - 1, c_0011_3 + 105536398986413/11735529163904*c_1100_0^11 + 1698347387660479/11735529163904*c_1100_0^10 + 164755579548317/1466941145488*c_1100_0^9 - 126978329470959/838252083136*c_1100_0^8 + 40044767982435267/11735529163904*c_1100_0^7 - 159454253809109097/11735529163904*c_1100_0^6 + 395994120622374917/11735529163904*c_1100_0^5 - 699373542753645471/11735529163904*c_1100_0^4 + 159886236008446039/2933882290976*c_1100_0^3 - 20002714943392915/838252083136*c_1100_0^2 + 33325504007374855/11735529163904*c_1100_0 - 1148076769783003/11735529163904, c_0011_7 + 1191165417084985/33372911059852*c_1100_0^11 + 306708832128137437/533966576957632*c_1100_0^10 + 29767173680609905/66745822119704*c_1100_0^9 - 11461882533959513/19070234891344*c_1100_0^8 + 3615766773969553571/266983288478816*c_1100_0^7 - 28792880208477644619/533966576957632*c_1100_0^6 + 17875375715748941417/133491644239408*c_1100_0^5 - 126272752248884249175/533966576957632*c_1100_0^4 + 57723992610441616131/266983288478816*c_1100_0^3 - 3609252528091261263/38140469782688*c_1100_0^2 + 749677978832795815/66745822119704*c_1100_0 - 204557707327075181/533966576957632, c_0101_0 - 247204605711/128961858944*c_1100_0^11 - 3977688158877/128961858944*c_1100_0^10 - 769930273985/32240464736*c_1100_0^9 + 2086778336873/64480929472*c_1100_0^8 - 93804137932237/128961858944*c_1100_0^7 + 373668086127855/128961858944*c_1100_0^6 - 928166601821207/128961858944*c_1100_0^5 + 1639568967911549/128961858944*c_1100_0^4 - 93764239229499/8060116184*c_1100_0^3 + 328687592506833/64480929472*c_1100_0^2 - 78123603064985/128961858944*c_1100_0 + 2609189772669/128961858944, c_0101_1 + 316762095781/64480929472*c_1100_0^11 + 2548752246149/32240464736*c_1100_0^10 + 61813324414/1007514523*c_1100_0^9 - 2667989895579/32240464736*c_1100_0^8 + 120191722544837/64480929472*c_1100_0^7 - 239296425881667/32240464736*c_1100_0^6 + 1188547869230697/64480929472*c_1100_0^5 - 131193851160061/4030058092*c_1100_0^4 + 959754012594251/32240464736*c_1100_0^3 - 105054404200379/8060116184*c_1100_0^2 + 99996931860023/64480929472*c_1100_0 - 1721996110947/32240464736, c_0101_2 + 38919239352369/11735529163904*c_1100_0^11 + 626317983824531/11735529163904*c_1100_0^10 + 7597133447289/183367643186*c_1100_0^9 - 46808862520991/838252083136*c_1100_0^8 + 14767521528608311/11735529163904*c_1100_0^7 - 58799431901456333/11735529163904*c_1100_0^6 + 146022401655528233/11735529163904*c_1100_0^5 - 257889456594188131/11735529163904*c_1100_0^4 + 58954154538602341/2933882290976*c_1100_0^3 - 7375957518938467/838252083136*c_1100_0^2 + 12305631510163227/11735529163904*c_1100_0 - 430597396271303/11735529163904, c_0101_7 - 1/11648*c_1100_0^11 - 15/11648*c_1100_0^10 + 1/2912*c_1100_0^9 + 1/832*c_1100_0^8 - 395/11648*c_1100_0^7 + 1941/11648*c_1100_0^6 - 5833/11648*c_1100_0^5 + 12807/11648*c_1100_0^4 - 2435/1456*c_1100_0^3 + 1621/832*c_1100_0^2 - 23255/11648*c_1100_0 + 11647/11648, c_1001_4 - 2773035849019/64480929472*c_1100_0^11 - 44626328628599/64480929472*c_1100_0^10 - 17325776052873/32240464736*c_1100_0^9 + 11672936841721/16120232368*c_1100_0^8 - 1052189972332435/64480929472*c_1100_0^7 + 4189311191026947/64480929472*c_1100_0^6 - 10403302338414819/64480929472*c_1100_0^5 + 18372296686578131/64480929472*c_1100_0^4 - 8398530042088269/32240464736*c_1100_0^3 + 1837924779202927/16120232368*c_1100_0^2 - 872484038410531/64480929472*c_1100_0 + 29776591661633/64480929472, c_1100_0^12 + 16*c_1100_0^11 + 11*c_1100_0^10 - 18*c_1100_0^9 + 381*c_1100_0^8 - 1546*c_1100_0^7 + 3892*c_1100_0^6 - 6974*c_1100_0^5 + 6673*c_1100_0^4 - 3214*c_1100_0^3 + 561*c_1100_0^2 - 40*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB