Magma V2.19-8 Tue Aug 20 2013 23:39:44 on localhost [Seed = 1562065381] Type ? for help. Type -D to quit. Loading file "K14n15069__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15069 geometric_solution 9.60098541 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 1023 0132 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 -1 1 0 0 0 0 1 -1 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798544879972 0.491865880972 0 4 5 3 0132 0132 0132 2031 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 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.435544784157 1.198590867520 6 0 0 7 0132 0132 1023 0132 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 0 0 0 0 -1 0 1 0 -5 5 0 0 4 1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798544879972 0.491865880972 4 1 0 8 0132 1302 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 -1 1 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 0 0 0.779768637063 0.344776078493 3 1 6 5 0132 0132 3012 3120 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 -4 5 -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.406168748269 1.007463257366 4 9 10 1 3120 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547081342856 0.383800689414 2 4 9 8 0132 1230 0321 1230 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 -1 0 -4 0 0 4 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.129376186297 0.357306038537 9 8 2 8 0321 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.435544784157 1.198590867520 6 7 3 7 3012 2103 0132 0213 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 1.035712759242 1.079168671252 7 5 6 10 0321 0132 0321 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.285100637175 1.088986957666 10 10 9 5 1302 2031 1230 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 0.496537866755 0.601906671564 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : d['c_0011_8'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : d['c_0011_7'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_10']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : 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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_1010_7']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : d['c_1010_7'], 'c_1100_3' : d['c_1010_7'], 'c_1100_2' : negation(d['c_1010_7']), 'c_1100_10' : negation(d['c_0011_7']), 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_8'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_1010_7']), 'c_1100_8' : d['c_1010_7'], '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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_5'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_4'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_5']), '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_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 448133006682452122008138038663/19184239467010397881913405045760*c_0\ 101_6^16 + 14756988580350836531112240529/68515140953608563863976446\ 5920*c_0101_6^15 - 730870585089357062387231167577/47960598667525994\ 70478351261440*c_0101_6^14 - 28509614985207250329114792433/10657910\ 81500577660106300280320*c_0101_6^13 + 14112146613606815681925114593/83048655701343713774516904960*c_0101_\ 6^12 - 2077323519818277792712799483189/9592119733505198940956702522\ 880*c_0101_6^11 + 2506378096731820903831911075577/95921197335051989\ 40956702522880*c_0101_6^10 + 151129442833633444201398392861/7993433\ 11125433245079725210240*c_0101_6^9 + 210230649538907313227939884657/228383803178695212879921488640*c_010\ 1_6^8 + 1213773037470166596519225464747/239802993337629973523917563\ 0720*c_0101_6^7 - 11599795132814587832580164622341/3197373244501732\ 980318900840960*c_0101_6^6 - 2820490962344380017544148505451/319737\ 3244501732980318900840960*c_0101_6^5 + 46634575342351479796783322310457/9592119733505198940956702522880*c_\ 0101_6^4 - 2951356453686130880544130958977/685151409536085638639764\ 465920*c_0101_6^3 - 265184195651230931072153078033/3746921770900468\ 3363112119230*c_0101_6^2 + 2770419865223281227693017375051/11990149\ 6668814986761958781536*c_0101_6 - 60581246004239106508383286179389/\ 6394746489003465960637801681920, c_0011_0 - 1, c_0011_10 + 7794420883297567/5248193320087774254*c_0101_6^16 + 7835113289687773/2624096660043887127*c_0101_6^15 - 22653824797954309/5248193320087774254*c_0101_6^14 - 3319387513988151/291566295560431903*c_0101_6^13 - 20845850196300949/1749397773362591418*c_0101_6^12 + 103228314920373319/5248193320087774254*c_0101_6^11 + 14355113328305447/477108483644343114*c_0101_6^10 + 1447587262799929/159036161214781038*c_0101_6^9 + 77988446342316947/1749397773362591418*c_0101_6^8 - 55257397114849658/2624096660043887127*c_0101_6^7 - 108795816944505481/874698886681295709*c_0101_6^6 - 247387358777868299/874698886681295709*c_0101_6^5 - 249129155976351773/5248193320087774254*c_0101_6^4 + 101292558468981443/477108483644343114*c_0101_6^3 + 1914819391635811517/2624096660043887127*c_0101_6^2 + 343839377471634488/2624096660043887127*c_0101_6 + 328448854734658204/874698886681295709, c_0011_5 - 914461097202671/2624096660043887127*c_0101_6^16 + 222919662562373/477108483644343114*c_0101_6^15 + 20870927185226209/5248193320087774254*c_0101_6^14 - 337235750085877/53012053738260346*c_0101_6^13 - 37244710103069417/1749397773362591418*c_0101_6^12 - 5149806411090101/2624096660043887127*c_0101_6^11 + 130185662527852169/5248193320087774254*c_0101_6^10 + 72179533780830521/874698886681295709*c_0101_6^9 + 116279659626698443/1749397773362591418*c_0101_6^8 - 142219176491680235/5248193320087774254*c_0101_6^7 + 79560806225629217/1749397773362591418*c_0101_6^6 - 221157942490448362/874698886681295709*c_0101_6^5 - 131738726955259876/238554241822171557*c_0101_6^4 - 392194257668090780/2624096660043887127*c_0101_6^3 + 3558228697129053107/5248193320087774254*c_0101_6^2 + 913232616709494448/2624096660043887127*c_0101_6 + 1089821059241504828/874698886681295709, c_0011_7 + 2375488284196585/1749397773362591418*c_0101_6^16 + 2900334364978169/1749397773362591418*c_0101_6^15 - 12942739576363087/1749397773362591418*c_0101_6^14 - 975942701772629/291566295560431903*c_0101_6^13 + 2361898078205289/291566295560431903*c_0101_6^12 + 114086907888977/159036161214781038*c_0101_6^11 - 13581221599369781/1749397773362591418*c_0101_6^10 - 26952361618887037/583132591120863806*c_0101_6^9 + 9953610543336217/291566295560431903*c_0101_6^8 + 65450026894533907/874698886681295709*c_0101_6^7 - 5735123113615843/291566295560431903*c_0101_6^6 - 2846336370222615/53012053738260346*c_0101_6^5 + 234899544274446761/874698886681295709*c_0101_6^4 + 51009004983304331/874698886681295709*c_0101_6^3 - 920649369597762383/1749397773362591418*c_0101_6^2 + 1315896505605535933/1749397773362591418*c_0101_6 - 120285979613524089/291566295560431903, c_0011_8 - 204923279/179067015378*c_0101_6^16 - 400676513/89533507689*c_0101_6^15 - 172691599/179067015378*c_0101_6^14 + 171849552/9948167521*c_0101_6^13 + 1124299285/29844502563*c_0101_6^12 + 4750446031/179067015378*c_0101_6^11 - 5094896836/89533507689*c_0101_6^10 - 4028473931/29844502563*c_0101_6^9 - 7739346241/59689005126*c_0101_6^8 - 16252475047/179067015378*c_0101_6^7 + 3833684264/29844502563*c_0101_6^6 + 12691549267/29844502563*c_0101_6^5 + 56428042016/89533507689*c_0101_6^4 + 96766179487/179067015378*c_0101_6^3 - 51311805505/89533507689*c_0101_6^2 - 196686626477/179067015378*c_0101_6 - 32003358974/29844502563, c_0101_0 + 204923279/179067015378*c_0101_6^16 + 400676513/89533507689*c_0101_6^15 + 172691599/179067015378*c_0101_6^14 - 171849552/9948167521*c_0101_6^13 - 1124299285/29844502563*c_0101_6^12 - 4750446031/179067015378*c_0101_6^11 + 5094896836/89533507689*c_0101_6^10 + 4028473931/29844502563*c_0101_6^9 + 7739346241/59689005126*c_0101_6^8 + 16252475047/179067015378*c_0101_6^7 - 3833684264/29844502563*c_0101_6^6 - 12691549267/29844502563*c_0101_6^5 - 56428042016/89533507689*c_0101_6^4 - 96766179487/179067015378*c_0101_6^3 + 51311805505/89533507689*c_0101_6^2 + 196686626477/179067015378*c_0101_6 + 32003358974/29844502563, c_0101_1 + c_0101_6, c_0101_4 - 6032423845083707/5248193320087774254*c_0101_6^16 - 1205324509546507/5248193320087774254*c_0101_6^15 + 61423318940032163/5248193320087774254*c_0101_6^14 + 1677564459082192/291566295560431903*c_0101_6^13 - 26267566435522721/874698886681295709*c_0101_6^12 - 116945899006537786/2624096660043887127*c_0101_6^11 - 26056649385579947/5248193320087774254*c_0101_6^10 + 73795834342933555/874698886681295709*c_0101_6^9 + 86554744180290961/874698886681295709*c_0101_6^8 + 143658881636863837/2624096660043887127*c_0101_6^7 + 98459959598693687/874698886681295709*c_0101_6^6 + 298450284279817577/1749397773362591418*c_0101_6^5 - 1838407165117000759/2624096660043887127*c_0101_6^4 - 4650466626647361917/5248193320087774254*c_0101_6^3 + 1094605137547325845/5248193320087774254*c_0101_6^2 + 1435242708096587215/5248193320087774254*c_0101_6 + 698347157993145436/874698886681295709, c_0101_5 - 173313642812708/291566295560431903*c_0101_6^16 - 1009310136420705/291566295560431903*c_0101_6^15 - 179142244075310/291566295560431903*c_0101_6^14 + 3925774819846202/291566295560431903*c_0101_6^13 + 2936840373667489/291566295560431903*c_0101_6^12 + 2026717637606161/583132591120863806*c_0101_6^11 - 17208803483020673/583132591120863806*c_0101_6^10 - 3224210769081140/291566295560431903*c_0101_6^9 + 5348118492043915/583132591120863806*c_0101_6^8 - 67129874406079957/583132591120863806*c_0101_6^7 - 10509775234749787/291566295560431903*c_0101_6^6 + 41841574503184349/291566295560431903*c_0101_6^5 + 61530841655720051/291566295560431903*c_0101_6^4 - 299260871496308313/583132591120863806*c_0101_6^3 + 115920729953825765/583132591120863806*c_0101_6^2 + 176642786502252221/583132591120863806*c_0101_6 + 172311289742506997/291566295560431903, c_0101_6^17 + 2*c_0101_6^16 - 4*c_0101_6^15 - 6*c_0101_6^14 - 3*c_0101_6^13 - 8*c_0101_6^12 + 10*c_0101_6^11 + 12*c_0101_6^10 + 60*c_0101_6^9 + 80*c_0101_6^8 - 66*c_0101_6^7 - 138*c_0101_6^6 - 38*c_0101_6^5 - 128*c_0101_6^4 - 248*c_0101_6^3 + 544*c_0101_6^2 + 111*c_0101_6 + 738, c_1010_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB