Magma V2.19-8 Wed Aug 21 2013 00:31:18 on localhost [Seed = 2968952850] Type ? for help. Type -D to quit. Loading file "K14n18080__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18080 geometric_solution 11.76575045 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 13 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 -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 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431935059214 0.853409652725 0 5 6 3 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 -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.962099951085 1.047557713396 7 0 8 6 0132 0132 0132 0321 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 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283508694698 0.409921019018 9 10 1 0 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 1 0 -1 1 0 -1 0 1 -16 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.137018263317 0.705707560247 5 11 0 6 2031 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 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.228023551828 0.877276823729 7 1 4 10 1230 0132 1302 0132 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 -1 0 0 1 -16 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862981736683 0.705707560247 10 2 4 1 3012 0321 0132 0132 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 -1 0 0 1 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329946713492 1.078713421468 2 5 10 11 0132 3012 3201 3120 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 1 0 -1 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.716045185788 1.656458452605 12 11 12 2 0132 0321 2031 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 -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.675389477542 1.107621198984 3 11 12 12 0132 0213 2310 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243665608540 0.831424660662 7 3 5 6 2310 0132 0132 1230 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 -1 0 1 16 0 -1 -15 0 0 0 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238845034468 0.878803107007 7 4 9 8 3120 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661050094937 1.772347944113 8 9 9 8 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598693260479 0.658132628312 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0101_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : negation(d['c_0101_8']), 'c_1010_12' : negation(d['c_1001_11']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_6'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_0'], '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_12'], 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_11'], '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_1001_2'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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'], 'c_1100_12' : d['c_0101_8'], '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0011_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : d['c_0011_12'], 'c_0110_6' : d['c_0101_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_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_6, c_0101_8, c_1001_0, c_1001_11, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 15100984621563647932/1212158825120157275*c_1001_2^18 - 848199359306035342/28189740119073425*c_1001_2^17 + 12666869196521984408/242431765024031455*c_1001_2^16 + 54654023967939816673/484863530048062910*c_1001_2^15 - 179553713657400038013/1212158825120157275*c_1001_2^14 - 229866649026532778162/1212158825120157275*c_1001_2^13 + 344673287306807218373/1212158825120157275*c_1001_2^12 + 403499874409810595369/2424317650240314550*c_1001_2^11 - 424560101636748478248/1212158825120157275*c_1001_2^10 - 23624538983845509378/1212158825120157275*c_1001_2^9 + 784132821128189234609/2424317650240314550*c_1001_2^8 - 121849487259326923114/1212158825120157275*c_1001_2^7 - 53951075190649356397/242431765024031455*c_1001_2^6 + 237802366029403684431/2424317650240314550*c_1001_2^5 + 49562033991831951103/484863530048062910*c_1001_2^4 - 10304418491570401281/242431765024031455*c_1001_2^3 - 40705109470713131944/1212158825120157275*c_1001_2^2 + 3081653796219460354/1212158825120157275*c_1001_2 - 627616663088935172/1212158825120157275, c_0011_0 - 1, c_0011_10 - 3645689296504/18485075487917*c_1001_2^18 + 36090476380804/18485075487917*c_1001_2^17 + 78805587604964/18485075487917*c_1001_2^16 - 199190814647715/18485075487917*c_1001_2^15 - 200868451974235/18485075487917*c_1001_2^14 + 490827569308670/18485075487917*c_1001_2^13 + 154233258591129/18485075487917*c_1001_2^12 - 665551389453474/18485075487917*c_1001_2^11 + 43949311686151/18485075487917*c_1001_2^10 + 526804174740471/18485075487917*c_1001_2^9 - 250168184538941/18485075487917*c_1001_2^8 - 293661307884905/18485075487917*c_1001_2^7 + 273437107704395/18485075487917*c_1001_2^6 + 156656300866521/18485075487917*c_1001_2^5 - 58363010597673/18485075487917*c_1001_2^4 - 91571512612277/18485075487917*c_1001_2^3 - 46046812849685/18485075487917*c_1001_2^2 + 47391782078170/18485075487917*c_1001_2 + 48345265796190/18485075487917, c_0011_11 + 762786974416/18485075487917*c_1001_2^18 + 110348571728008/18485075487917*c_1001_2^17 + 162875554349584/18485075487917*c_1001_2^16 - 547536200063258/18485075487917*c_1001_2^15 - 431181602985306/18485075487917*c_1001_2^14 + 1293919464176671/18485075487917*c_1001_2^13 + 316683013283864/18485075487917*c_1001_2^12 - 1757114020244448/18485075487917*c_1001_2^11 + 146106970672392/18485075487917*c_1001_2^10 + 1388052537639356/18485075487917*c_1001_2^9 - 691771412988206/18485075487917*c_1001_2^8 - 780233980318493/18485075487917*c_1001_2^7 + 735095684349534/18485075487917*c_1001_2^6 + 435629650551883/18485075487917*c_1001_2^5 - 226542154455554/18485075487917*c_1001_2^4 - 256186203365691/18485075487917*c_1001_2^3 - 52436780411050/18485075487917*c_1001_2^2 + 142199703723739/18485075487917*c_1001_2 + 116474538591656/18485075487917, c_0011_12 + 110031845549568/18485075487917*c_1001_2^18 + 322400452214016/18485075487917*c_1001_2^17 - 310080466624200/18485075487917*c_1001_2^16 - 1172329504531676/18485075487917*c_1001_2^15 + 727396185125736/18485075487917*c_1001_2^14 + 1997130444105443/18485075487917*c_1001_2^13 - 1407868938704996/18485075487917*c_1001_2^12 - 2016384143502520/18485075487917*c_1001_2^11 + 1655991558429628/18485075487917*c_1001_2^10 + 896595442527035/18485075487917*c_1001_2^9 - 1704812518543954/18485075487917*c_1001_2^8 - 138158416360677/18485075487917*c_1001_2^7 + 1284652315470710/18485075487917*c_1001_2^6 + 251500647736262/18485075487917*c_1001_2^5 - 466744853245610/18485075487917*c_1001_2^4 - 336378047316059/18485075487917*c_1001_2^3 + 66583838485810/18485075487917*c_1001_2^2 + 277332929594313/18485075487917*c_1001_2 + 146631944004544/18485075487917, c_0011_6 + 4408476270920/18485075487917*c_1001_2^18 + 74258095347204/18485075487917*c_1001_2^17 + 84069966744620/18485075487917*c_1001_2^16 - 348345385415543/18485075487917*c_1001_2^15 - 230313151011071/18485075487917*c_1001_2^14 + 803091894868001/18485075487917*c_1001_2^13 + 162449754692735/18485075487917*c_1001_2^12 - 1091562630790974/18485075487917*c_1001_2^11 + 102157658986241/18485075487917*c_1001_2^10 + 861248362898885/18485075487917*c_1001_2^9 - 441603228449265/18485075487917*c_1001_2^8 - 486572672433588/18485075487917*c_1001_2^7 + 461658576645139/18485075487917*c_1001_2^6 + 278973349685362/18485075487917*c_1001_2^5 - 168179143857881/18485075487917*c_1001_2^4 - 164614690753414/18485075487917*c_1001_2^3 - 6389967561365/18485075487917*c_1001_2^2 + 94807921645569/18485075487917*c_1001_2 + 86614348283383/18485075487917, c_0101_0 + c_1001_2, c_0101_1 - 13551360387608/18485075487917*c_1001_2^18 - 17444138259324/18485075487917*c_1001_2^17 + 82749718120172/18485075487917*c_1001_2^16 + 52978325983849/18485075487917*c_1001_2^15 - 219661291298141/18485075487917*c_1001_2^14 - 29071127685338/18485075487917*c_1001_2^13 + 325512473038077/18485075487917*c_1001_2^12 - 69178326241128/18485075487917*c_1001_2^11 - 285892192632644/18485075487917*c_1001_2^10 + 158660582085242/18485075487917*c_1001_2^9 + 154156532800591/18485075487917*c_1001_2^8 - 176966937395524/18485075487917*c_1001_2^7 - 66588072214004/18485075487917*c_1001_2^6 + 86362772100340/18485075487917*c_1001_2^5 + 43574475544754/18485075487917*c_1001_2^4 - 12698007846940/18485075487917*c_1001_2^3 - 32403404161166/18485075487917*c_1001_2^2 + 4216250727655/18485075487917*c_1001_2 + 12198469561771/18485075487917, c_0101_6 + 25124852249344/18485075487917*c_1001_2^18 + 36924491399600/18485075487917*c_1001_2^17 - 113217081320736/18485075487917*c_1001_2^16 - 76100729334804/18485075487917*c_1001_2^15 + 228974455723090/18485075487917*c_1001_2^14 + 21455802480615/18485075487917*c_1001_2^13 - 247255805169433/18485075487917*c_1001_2^12 + 46378719713049/18485075487917*c_1001_2^11 + 131490371748538/18485075487917*c_1001_2^10 - 106799807324223/18485075487917*c_1001_2^9 - 53887332561026/18485075487917*c_1001_2^8 + 75655642345911/18485075487917*c_1001_2^7 + 45850852589087/18485075487917*c_1001_2^6 + 31052072390643/18485075487917*c_1001_2^5 - 31826499410437/18485075487917*c_1001_2^4 - 13046699489185/18485075487917*c_1001_2^3 + 11391827455889/18485075487917*c_1001_2^2 + 16183756833398/18485075487917*c_1001_2 + 11244985843751/18485075487917, c_0101_8 - 110508660254240/18485075487917*c_1001_2^18 - 318612695828888/18485075487917*c_1001_2^17 + 306348038730348/18485075487917*c_1001_2^16 + 1131549986151768/18485075487917*c_1001_2^15 - 701042532475673/18485075487917*c_1001_2^14 - 1913207190527813/18485075487917*c_1001_2^13 + 1326598319571804/18485075487917*c_1001_2^12 + 1938478520595197/18485075487917*c_1001_2^11 - 1527470324922726/18485075487917*c_1001_2^10 - 881245419018910/18485075487917*c_1001_2^9 + 1588246513569764/18485075487917*c_1001_2^8 + 190606553837902/18485075487917*c_1001_2^7 - 1205334374022016/18485075487917*c_1001_2^6 - 306313443666485/18485075487917*c_1001_2^5 + 441579776818339/18485075487917*c_1001_2^4 + 362939669962713/18485075487917*c_1001_2^3 - 61982942701903/18485075487917*c_1001_2^2 - 271018629792432/18485075487917*c_1001_2 - 151977426044322/18485075487917, c_1001_0 - 13551360387608/18485075487917*c_1001_2^18 - 17444138259324/18485075487917*c_1001_2^17 + 82749718120172/18485075487917*c_1001_2^16 + 52978325983849/18485075487917*c_1001_2^15 - 219661291298141/18485075487917*c_1001_2^14 - 29071127685338/18485075487917*c_1001_2^13 + 325512473038077/18485075487917*c_1001_2^12 - 69178326241128/18485075487917*c_1001_2^11 - 285892192632644/18485075487917*c_1001_2^10 + 158660582085242/18485075487917*c_1001_2^9 + 154156532800591/18485075487917*c_1001_2^8 - 176966937395524/18485075487917*c_1001_2^7 - 66588072214004/18485075487917*c_1001_2^6 + 86362772100340/18485075487917*c_1001_2^5 + 43574475544754/18485075487917*c_1001_2^4 - 12698007846940/18485075487917*c_1001_2^3 - 32403404161166/18485075487917*c_1001_2^2 + 4216250727655/18485075487917*c_1001_2 + 12198469561771/18485075487917, c_1001_11 - 119296748604304/18485075487917*c_1001_2^18 - 239187237768904/18485075487917*c_1001_2^17 + 491664281177504/18485075487917*c_1001_2^16 + 741442299846626/18485075487917*c_1001_2^15 - 1129467932182850/18485075487917*c_1001_2^14 - 1009195485737259/18485075487917*c_1001_2^13 + 1684416940689934/18485075487917*c_1001_2^12 + 770924874017772/18485075487917*c_1001_2^11 - 1577477772694306/18485075487917*c_1001_2^10 + 30847687197653/18485075487917*c_1001_2^9 + 1245243094583903/18485075487917*c_1001_2^8 - 373294745269754/18485075487917*c_1001_2^7 - 852565977543942/18485075487917*c_1001_2^6 + 50402441284487/18485075487917*c_1001_2^5 + 382780692994461/18485075487917*c_1001_2^4 + 140421609728736/18485075487917*c_1001_2^3 - 126167071836262/18485075487917*c_1001_2^2 - 209173074678404/18485075487917*c_1001_2 - 55462816075148/18485075487917, c_1001_2^19 + 3/2*c_1001_2^18 - 6*c_1001_2^17 - 43/8*c_1001_2^16 + 67/4*c_1001_2^15 + 13/2*c_1001_2^14 - 55/2*c_1001_2^13 - c_1001_2^12 + 28*c_1001_2^11 - 8*c_1001_2^10 - 19*c_1001_2^9 + 13*c_1001_2^8 + 21/2*c_1001_2^7 - 17/2*c_1001_2^6 - 6*c_1001_2^5 + 3/2*c_1001_2^4 + 7/2*c_1001_2^3 + 3/2*c_1001_2^2 - 5/4*c_1001_2 - 5/4, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.550 Total time: 5.759 seconds, Total memory usage: 64.12MB