Magma V2.19-8 Tue Aug 20 2013 23:39:44 on localhost [Seed = 1292577269] Type ? for help. Type -D to quit. Loading file "K14n16076__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16076 geometric_solution 10.06102999 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 -1 0 1 0 0 -1 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554017416519 0.847115011106 0 5 6 2 0132 0132 0132 0132 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.592079981860 0.561239418539 7 0 1 8 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 -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.633197504195 0.622252784398 9 8 7 0 0132 1023 1023 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 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.225030709914 0.531650931376 10 8 0 5 0132 0132 0132 1230 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 -1 1 -2 0 -1 3 1 0 0 -1 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.012124544290 1.156814256219 4 1 8 9 3012 0132 0132 2103 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 -3 3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682905574439 0.853949722916 10 10 7 1 3012 3201 3012 0132 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 0 1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195740619095 0.908303690938 2 6 3 9 0132 1230 1023 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 1.718356927110 0.662009051577 3 4 2 5 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495482290633 1.258485874123 3 10 7 5 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.400847864570 0.876963596681 4 9 6 6 0132 0132 2310 1230 0 0 0 0 0 0 0 0 1 0 -1 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 2 0 -2 0 -2 0 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422724140393 1.067438087116 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_0101_5'], 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_0'], '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_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' : negation(d['c_0110_5']), 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : negation(d['c_0110_5']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : negation(d['c_0101_3']), 'c_1100_10' : d['c_0011_6'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : d['c_1001_2'], '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_10']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0011_6']})} 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_6, c_0101_0, c_0101_3, c_0101_5, c_0101_6, c_0101_7, c_0110_5, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 11230588688610799112896/568430522920772703555*c_1001_2^14 + 260863486411516721456996/3979013660445408924885*c_1001_2^13 + 199987245909540842121934/1326337886815136308295*c_1001_2^12 + 156943946144903208768115/795802732089081784977*c_1001_2^11 + 1863287524987888505425324/3979013660445408924885*c_1001_2^10 + 48657339939365918923468/78019875695008018135*c_1001_2^9 + 2581352897897998201963693/3979013660445408924885*c_1001_2^8 + 5227272469458373167167372/3979013660445408924885*c_1001_2^7 + 710019169651953689550454/795802732089081784977*c_1001_2^6 + 126843038809082606343532/113686104584154540711*c_1001_2^5 + 160414453089970257372276/265267577363027261659*c_1001_2^4 + 1745728255198935912917507/3979013660445408924885*c_1001_2^3 + 247829809300164224354458/3979013660445408924885*c_1001_2^2 - 6886841532790942141882/265267577363027261659*c_1001_2 - 3190809512820397142825/795802732089081784977, c_0011_0 - 1, c_0011_10 - 1867006021926892/1289265069734909*c_1001_2^14 - 5132635982932280/1289265069734909*c_1001_2^13 - 13686176830419554/1289265069734909*c_1001_2^12 - 15286003274402413/1289265069734909*c_1001_2^11 - 47710133766612955/1289265069734909*c_1001_2^10 - 38915480191506364/1289265069734909*c_1001_2^9 - 88059518482707090/1289265069734909*c_1001_2^8 - 80776321143208651/1289265069734909*c_1001_2^7 - 119067206621067244/1289265069734909*c_1001_2^6 - 81536365566670948/1289265069734909*c_1001_2^5 - 79554233653796572/1289265069734909*c_1001_2^4 - 40011870967597442/1289265069734909*c_1001_2^3 - 19908682872763460/1289265069734909*c_1001_2^2 - 807860033758368/1289265069734909*c_1001_2 + 168221271670036/1289265069734909, c_0011_6 - 2228357572323988/1289265069734909*c_1001_2^14 - 5399189561364254/1289265069734909*c_1001_2^13 - 13771105968123920/1289265069734909*c_1001_2^12 - 12723251132253459/1289265069734909*c_1001_2^11 - 49497676741549799/1289265069734909*c_1001_2^10 - 30163878645073402/1289265069734909*c_1001_2^9 - 79710350651393548/1289265069734909*c_1001_2^8 - 77693095766112632/1289265069734909*c_1001_2^7 - 89447652542181374/1289265069734909*c_1001_2^6 - 67976112340919218/1289265069734909*c_1001_2^5 - 57277862243075041/1289265069734909*c_1001_2^4 - 24010776734279240/1289265069734909*c_1001_2^3 - 9423210633658203/1289265069734909*c_1001_2^2 + 1230851211096132/1289265069734909*c_1001_2 - 142254284428715/1289265069734909, c_0101_0 + 7381332860833456/1289265069734909*c_1001_2^14 + 17417433012454443/1289265069734909*c_1001_2^13 + 45573545052660501/1289265069734909*c_1001_2^12 + 40733356526762153/1289265069734909*c_1001_2^11 + 165442710389237469/1289265069734909*c_1001_2^10 + 89516461513896908/1289265069734909*c_1001_2^9 + 276928011558186758/1289265069734909*c_1001_2^8 + 231941755398435138/1289265069734909*c_1001_2^7 + 307385640344680326/1289265069734909*c_1001_2^6 + 213644281401107868/1289265069734909*c_1001_2^5 + 180331368809990992/1289265069734909*c_1001_2^4 + 79243652341820374/1289265069734909*c_1001_2^3 + 21142624853102639/1289265069734909*c_1001_2^2 - 5408834295446644/1289265069734909*c_1001_2 - 2996725910202973/1289265069734909, c_0101_3 - 8746335302919081/1289265069734909*c_1001_2^14 - 20748582272589286/1289265069734909*c_1001_2^13 - 55585253621330137/1289265069734909*c_1001_2^12 - 51706928639869307/1289265069734909*c_1001_2^11 - 203885259218092689/1289265069734909*c_1001_2^10 - 113804180668778652/1289265069734909*c_1001_2^9 - 357379255983098933/1289265069734909*c_1001_2^8 - 288289256826512110/1289265069734909*c_1001_2^7 - 411939601822150071/1289265069734909*c_1001_2^6 - 291662592361415222/1289265069734909*c_1001_2^5 - 257289386196958581/1289265069734909*c_1001_2^4 - 128048858894484030/1289265069734909*c_1001_2^3 - 48960325376188328/1289265069734909*c_1001_2^2 - 4448562485367007/1289265069734909*c_1001_2 + 2632405755625643/1289265069734909, c_0101_5 + 10262677136264448/1289265069734909*c_1001_2^14 + 24279430787966002/1289265069734909*c_1001_2^13 + 63991459592412190/1289265069734909*c_1001_2^12 + 57721149206050720/1289265069734909*c_1001_2^11 + 232461715034848415/1289265069734909*c_1001_2^10 + 126432446095975476/1289265069734909*c_1001_2^9 + 395485519052659297/1289265069734909*c_1001_2^8 + 322911230583862798/1289265069734909*c_1001_2^7 + 445781246295986998/1289265069734909*c_1001_2^6 + 304206496534521264/1289265069734909*c_1001_2^5 + 263063035621587810/1289265069734909*c_1001_2^4 + 118818274322961662/1289265069734909*c_1001_2^3 + 35617373427713128/1289265069734909*c_1001_2^2 - 5684318261960480/1289265069734909*c_1001_2 - 4464244772172557/1289265069734909, c_0101_6 + 5142849925079377/1289265069734909*c_1001_2^14 + 11119792058144465/1289265069734909*c_1001_2^13 + 29377982802671405/1289265069734909*c_1001_2^12 + 22358766199970101/1289265069734909*c_1001_2^11 + 110204146860990949/1289265069734909*c_1001_2^10 + 40715297478047888/1289265069734909*c_1001_2^9 + 181689113802323066/1289265069734909*c_1001_2^8 + 127611738158441420/1289265069734909*c_1001_2^7 + 184193881451779944/1289265069734909*c_1001_2^6 + 112489623531791155/1289265069734909*c_1001_2^5 + 100423749938283588/1289265069734909*c_1001_2^4 + 35583380183107907/1289265069734909*c_1001_2^3 + 5887445994652543/1289265069734909*c_1001_2^2 - 4754854921130954/1289265069734909*c_1001_2 - 1557445448774572/1289265069734909, c_0101_7 - 19004620057186925/1289265069734909*c_1001_2^14 - 45059696016236165/1289265069734909*c_1001_2^13 - 121701444344981431/1289265069734909*c_1001_2^12 - 113293123394683214/1289265069734909*c_1001_2^11 - 446816258946119319/1289265069734909*c_1001_2^10 - 246156397561214155/1289265069734909*c_1001_2^9 - 795256754619078300/1289265069734909*c_1001_2^8 - 612454060960033363/1289265069734909*c_1001_2^7 - 931510964302371874/1289265069734909*c_1001_2^6 - 622639976339519260/1289265069734909*c_1001_2^5 - 581420366552893758/1289265069734909*c_1001_2^4 - 274798693989412517/1289265069734909*c_1001_2^3 - 112460324522314547/1289265069734909*c_1001_2^2 - 4892504476673817/1289265069734909*c_1001_2 + 6973059091155899/1289265069734909, c_0110_5 - 10202404389834615/1289265069734909*c_1001_2^14 - 25825234464767063/1289265069734909*c_1001_2^13 - 67741681087314970/1289265069734909*c_1001_2^12 - 67933058288257366/1289265069734909*c_1001_2^11 - 241231592812867907/1289265069734909*c_1001_2^10 - 163625385737104070/1289265069734909*c_1001_2^9 - 417277744668241421/1289265069734909*c_1001_2^8 - 381251083449685200/1289265069734909*c_1001_2^7 - 506590674442984184/1289265069734909*c_1001_2^6 - 366275745066779441/1289265069734909*c_1001_2^5 - 320729864661093872/1289265069734909*c_1001_2^4 - 156558553653804518/1289265069734909*c_1001_2^3 - 56182227565128928/1289265069734909*c_1001_2^2 + 2587068047574156/1289265069734909*c_1001_2 + 5180319057973203/1289265069734909, c_1001_1 - 326123902042575/1289265069734909*c_1001_2^14 - 78705781801429/1289265069734909*c_1001_2^13 - 1825952051063815/1289265069734909*c_1001_2^12 + 396647949481665/1289265069734909*c_1001_2^11 - 9687466233198333/1289265069734909*c_1001_2^10 + 10616425781031395/1289265069734909*c_1001_2^9 - 31648031436998010/1289265069734909*c_1001_2^8 + 25138092190976244/1289265069734909*c_1001_2^7 - 39069782176520775/1289265069734909*c_1001_2^6 + 15895569054685846/1289265069734909*c_1001_2^5 - 18989285090154035/1289265069734909*c_1001_2^4 + 7880922745527605/1289265069734909*c_1001_2^3 - 4442672768119234/1289265069734909*c_1001_2^2 + 3904679938923288/1289265069734909*c_1001_2 + 906949863251713/1289265069734909, c_1001_2^15 + 19/7*c_1001_2^14 + 50/7*c_1001_2^13 + 8*c_1001_2^12 + 176/7*c_1001_2^11 + 145/7*c_1001_2^10 + 313/7*c_1001_2^9 + 46*c_1001_2^8 + 403/7*c_1001_2^7 + 333/7*c_1001_2^6 + 276/7*c_1001_2^5 + 162/7*c_1001_2^4 + 66/7*c_1001_2^3 + 11/7*c_1001_2^2 - 3/7*c_1001_2 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.520 seconds, Total memory usage: 32.09MB