Magma V2.19-8 Tue Aug 20 2013 23:38:12 on localhost [Seed = 3086078869] Type ? for help. Type -D to quit. Loading file "K10n19__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n19 geometric_solution 9.46502166 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 10 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 0 1 -1 0 0 0 0 2 0 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416992981349 0.724253691815 0 5 2 3 0132 0132 2103 2310 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 0 0 0 0 1 -1 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.159369156364 0.809665451821 1 0 7 6 2103 0132 0132 0132 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 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.093249190690 0.952586633197 1 8 5 0 3201 0132 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 1 0 -1 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.424916039275 0.816889448279 7 8 0 9 0132 1023 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 -1 1 0 0 0 0 0 -1 1 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204248211289 1.009038973827 9 1 3 9 0321 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.206127158100 1.104433346129 7 8 2 9 1302 0213 0132 0321 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 1 0 -1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.190027605071 0.803898568376 4 6 8 2 0132 2031 1230 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 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670080232102 1.256947078884 4 3 6 7 1023 0132 0213 3012 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 0 1 1 0 -1 0 -1 1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751245542070 0.505409870729 5 6 4 5 0321 0321 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.206127158100 1.104433346129 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_0110_8'], 'c_1001_8' : d['c_1001_0'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_8' : negation(d['c_0011_9']), 'c_1100_5' : negation(d['c_1100_0']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0110_8'], 'c_1100_6' : d['c_0110_8'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0110_8'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0110_8'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : d['c_0101_5'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_3'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0011_6'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0110_8'], '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_3']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_9'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_5, c_0110_8, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 19773101696659547253422705/2565479980628894404140002273*c_1100_0^17 - 146697105082687883944744107/2565479980628894404140002273*c_1100_0\ ^16 - 164428902293490735111710073/5130959961257788808280004546*c_11\ 00_0^15 - 1537918831460498206829893809/5130959961257788808280004546\ *c_1100_0^14 - 3385683794381722473049333323/51309599612577888082800\ 04546*c_1100_0^13 + 2617083429065969306938739903/513095996125778880\ 8280004546*c_1100_0^12 - 11307076652539643479360270919/256547998062\ 8894404140002273*c_1100_0^11 + 21802443203402000439000331965/513095\ 9961257788808280004546*c_1100_0^10 - 4044998096881674026057114929/366497140089842057734286039*c_1100_0^9 + 56259875040164073497384373319/5130959961257788808280004546*c_1100\ _0^8 - 115749262341122870498970886573/5130959961257788808280004546*\ c_1100_0^7 + 22021616245440808212423708781/732994280179684115468572\ 078*c_1100_0^6 - 25872913686345019942331980729/73299428017968411546\ 8572078*c_1100_0^5 + 193679603307347194306442979819/513095996125778\ 8808280004546*c_1100_0^4 - 28931471336408324412118844141/2565479980\ 628894404140002273*c_1100_0^3 + 25864824418290916558130214195/25654\ 79980628894404140002273*c_1100_0^2 + 29110046481874038923801252906/2565479980628894404140002273*c_1100_0 + 8169898345418093385530667071/5130959961257788808280004546, c_0011_0 - 1, c_0011_3 + 496273767368564501907/6655960265329568997953*c_1100_0^17 - 681170924527812556888/6655960265329568997953*c_1100_0^16 + 2284966996966688740102/6655960265329568997953*c_1100_0^15 + 4690309864276062010504/6655960265329568997953*c_1100_0^14 - 19472783070979369953060/6655960265329568997953*c_1100_0^13 + 72178018219891591511615/6655960265329568997953*c_1100_0^12 - 141531500656486602305522/6655960265329568997953*c_1100_0^11 + 265264653480567805437386/6655960265329568997953*c_1100_0^10 - 396434045609198367075771/6655960265329568997953*c_1100_0^9 + 618440986723639828000793/6655960265329568997953*c_1100_0^8 - 904595038659783446239725/6655960265329568997953*c_1100_0^7 + 1222826924094960612926632/6655960265329568997953*c_1100_0^6 - 1424638426024288770640677/6655960265329568997953*c_1100_0^5 + 1255824023981527842953568/6655960265329568997953*c_1100_0^4 - 838817067739209515874206/6655960265329568997953*c_1100_0^3 + 277639337619001432717432/6655960265329568997953*c_1100_0^2 + 7708443480853407942313/6655960265329568997953*c_1100_0 - 75258478713446127678214/6655960265329568997953, c_0011_6 - 1352531776038257469/34847959504343293183*c_1100_0^17 + 1952177665006210704/34847959504343293183*c_1100_0^16 - 6680271191284022636/34847959504343293183*c_1100_0^15 - 12291120515196342512/34847959504343293183*c_1100_0^14 + 53147906679530943453/34847959504343293183*c_1100_0^13 - 204620058046260708651/34847959504343293183*c_1100_0^12 + 408873772280641689625/34847959504343293183*c_1100_0^11 - 778154887684776136018/34847959504343293183*c_1100_0^10 + 1172166973923490571820/34847959504343293183*c_1100_0^9 - 1830927691232568003815/34847959504343293183*c_1100_0^8 + 2678905404571516435702/34847959504343293183*c_1100_0^7 - 3662015273535531489990/34847959504343293183*c_1100_0^6 + 4341571100056006852767/34847959504343293183*c_1100_0^5 - 3937875322834566293114/34847959504343293183*c_1100_0^4 + 2745398431616622303060/34847959504343293183*c_1100_0^3 - 1009315415142097410202/34847959504343293183*c_1100_0^2 + 53715818251006324401/34847959504343293183*c_1100_0 + 204332028715658062114/34847959504343293183, c_0011_9 - 454837549350322084473/6655960265329568997953*c_1100_0^17 + 666201315968147327902/6655960265329568997953*c_1100_0^16 - 2044347328495398267268/6655960265329568997953*c_1100_0^15 - 4212468081656666516436/6655960265329568997953*c_1100_0^14 + 18586839415706799025099/6655960265329568997953*c_1100_0^13 - 66529988950734040584376/6655960265329568997953*c_1100_0^12 + 131732416212418076714017/6655960265329568997953*c_1100_0^11 - 242358524394686155457753/6655960265329568997953*c_1100_0^10 + 364241112860427445023080/6655960265329568997953*c_1100_0^9 - 564308674719785803080233/6655960265329568997953*c_1100_0^8 + 830648361888713859642805/6655960265329568997953*c_1100_0^7 - 1117727507695654439093047/6655960265329568997953*c_1100_0^6 + 1292417895945724093611990/6655960265329568997953*c_1100_0^5 - 1128440561524345338135048/6655960265329568997953*c_1100_0^4 + 739103474796565361260006/6655960265329568997953*c_1100_0^3 - 241574245242537132293927/6655960265329568997953*c_1100_0^2 - 7542186163569612717121/6655960265329568997953*c_1100_0 + 60153236054406724774465/6655960265329568997953, c_0101_0 - 180541132296200374362/6655960265329568997953*c_1100_0^17 + 199115049310547288218/6655960265329568997953*c_1100_0^16 - 846149560626312436965/6655960265329568997953*c_1100_0^15 - 1833756117538212845456/6655960265329568997953*c_1100_0^14 + 6388667068205627740206/6655960265329568997953*c_1100_0^13 - 25275861349564835721908/6655960265329568997953*c_1100_0^12 + 47739133957316109892944/6655960265329568997953*c_1100_0^11 - 92320085300806378225325/6655960265329568997953*c_1100_0^10 + 135097078159791658433005/6655960265329568997953*c_1100_0^9 - 213391906778194617721955/6655960265329568997953*c_1100_0^8 + 308367101063776340898077/6655960265329568997953*c_1100_0^7 - 417851333240310208692993/6655960265329568997953*c_1100_0^6 + 490629736044272716481609/6655960265329568997953*c_1100_0^5 - 428017357905493190519092/6655960265329568997953*c_1100_0^4 + 291023763352245630743006/6655960265329568997953*c_1100_0^3 - 87718220640410869779638/6655960265329568997953*c_1100_0^2 - 3227457059781478412230/6655960265329568997953*c_1100_0 + 27154390992022547671799/6655960265329568997953, c_0101_1 - 286680171477900060999/6655960265329568997953*c_1100_0^17 + 308954008713232741265/6655960265329568997953*c_1100_0^16 - 1190066649998440463548/6655960265329568997953*c_1100_0^15 - 2927443836504025285211/6655960265329568997953*c_1100_0^14 + 10479980690558559143905/6655960265329568997953*c_1100_0^13 - 37719872197839991023862/6655960265329568997953*c_1100_0^12 + 71440747527457680598038/6655960265329568997953*c_1100_0^11 - 132393349991683808703920/6655960265329568997953*c_1100_0^10 + 197259233512048262357306/6655960265329568997953*c_1100_0^9 - 306560012680855564538606/6655960265329568997953*c_1100_0^8 + 449986039349473661127274/6655960265329568997953*c_1100_0^7 - 592156549737752893619673/6655960265329568997953*c_1100_0^6 + 684463961355825719760500/6655960265329568997953*c_1100_0^5 - 582776019668520562509548/6655960265329568997953*c_1100_0^4 + 380110607794181797895944/6655960265329568997953*c_1100_0^3 - 120125392360445648102830/6655960265329568997953*c_1100_0^2 - 11774999157238438723844/6655960265329568997953*c_1100_0 + 35714544119868594863754/6655960265329568997953, c_0101_5 - 318891716568774141144/6655960265329568997953*c_1100_0^17 + 405885918877191446578/6655960265329568997953*c_1100_0^16 - 1388857953647174347419/6655960265329568997953*c_1100_0^15 - 3132465272802006471475/6655960265329568997953*c_1100_0^14 + 12341796440003047651449/6655960265329568997953*c_1100_0^13 - 44493587393577485845867/6655960265329568997953*c_1100_0^12 + 85835281494824079835823/6655960265329568997953*c_1100_0^11 - 158519518842498776313443/6655960265329568997953*c_1100_0^10 + 236141229276676794427010/6655960265329568997953*c_1100_0^9 - 367551208874534520748504/6655960265329568997953*c_1100_0^8 + 539622044827564883957945/6655960265329568997953*c_1100_0^7 - 720410955619983587991368/6655960265329568997953*c_1100_0^6 + 829495179834134317418396/6655960265329568997953*c_1100_0^5 - 711851743038907815677595/6655960265329568997953*c_1100_0^4 + 463697140675248173296672/6655960265329568997953*c_1100_0^3 - 151716983167395784279846/6655960265329568997953*c_1100_0^2 - 7268761160140346603590/6655960265329568997953*c_1100_0 + 33471081445031233116958/6655960265329568997953, c_0110_8 + 469330000273960758430/6655960265329568997953*c_1100_0^17 - 570047955208989713135/6655960265329568997953*c_1100_0^16 + 2031483810429689607651/6655960265329568997953*c_1100_0^15 + 4625034619712326603027/6655960265329568997953*c_1100_0^14 - 17783939712408630292324/6655960265329568997953*c_1100_0^13 + 64571370971914202560431/6655960265329568997953*c_1100_0^12 - 124415455757697943081847/6655960265329568997953*c_1100_0^11 + 231338366817842125549650/6655960265329568997953*c_1100_0^10 - 345102142569240048403120/6655960265329568997953*c_1100_0^9 + 537397246247471956292516/6655960265329568997953*c_1100_0^8 - 786807877099493830606312/6655960265329568997953*c_1100_0^7 + 1050528069025602596016253/6655960265329568997953*c_1100_0^6 - 1216331671690225536348411/6655960265329568997953*c_1100_0^5 + 1053492019382799306818559/6655960265329568997953*c_1100_0^4 - 692663811173656924048719/6655960265329568997953*c_1100_0^3 + 222128075237301513629434/6655960265329568997953*c_1100_0^2 + 11937919786806208557081/6655960265329568997953*c_1100_0 - 63971445935774913242471/6655960265329568997953, c_1001_0 + 296617879333441460878/6655960265329568997953*c_1100_0^17 - 362539954790351227026/6655960265329568997953*c_1100_0^16 + 1162819903894298961641/6655960265329568997953*c_1100_0^15 + 2972970755447849523534/6655960265329568997953*c_1100_0^14 - 11603666362812164496458/6655960265329568997953*c_1100_0^13 + 39275959477514719338598/6655960265329568997953*c_1100_0^12 - 74994324209769896995479/6655960265329568997953*c_1100_0^11 + 134415108903102150799533/6655960265329568997953*c_1100_0^10 - 201354019156870487715456/6655960265329568997953*c_1100_0^9 + 310603684621261843250859/6655960265329568997953*c_1100_0^8 - 460336321863775199465483/6655960265329568997953*c_1100_0^7 + 601853652761532588642894/6655960265329568997953*c_1100_0^6 - 679032858754287046895340/6655960265329568997953*c_1100_0^5 + 565385474999214567495836/6655960265329568997953*c_1100_0^4 - 351312112944705826840815/6655960265329568997953*c_1100_0^3 + 113036272144523812267866/6655960265329568997953*c_1100_0^2 + 733278209679690366758/6655960265329568997953*c_1100_0 - 21717194414437330615999/6655960265329568997953, c_1100_0^18 - c_1100_0^17 + 4*c_1100_0^16 + 11*c_1100_0^15 - 36*c_1100_0^14 + 129*c_1100_0^13 - 231*c_1100_0^12 + 424*c_1100_0^11 - 604*c_1100_0^10 + 948*c_1100_0^9 - 1371*c_1100_0^8 + 1789*c_1100_0^7 - 1974*c_1100_0^6 + 1508*c_1100_0^5 - 815*c_1100_0^4 + 27*c_1100_0^3 + 176*c_1100_0^2 - 125*c_1100_0 - 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB