Magma V2.19-8 Tue Aug 20 2013 23:38:23 on localhost [Seed = 1309157995] Type ? for help. Type -D to quit. Loading file "K14n11913__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11913 geometric_solution 8.78615463 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 10 1 2 1 3 0132 0132 2310 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 -1 0 1 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553179517701 1.477735548056 0 0 5 4 0132 3201 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 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092174422812 0.443791270361 6 0 7 7 0132 0132 1230 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 0 -1 0 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.809393128572 1.031727084100 8 9 0 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.776865378665 0.681142054880 6 9 1 9 2031 3012 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 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 -0.180010799131 1.803380930275 8 6 7 1 1302 1302 2310 0132 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 0 0 0 0 0 0 0 3 -1 0 -2 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.145532971553 0.473802546831 2 3 4 5 0132 2310 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423468947131 0.498454903184 9 5 2 2 3201 3201 0132 3012 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 -3 1 2 0 0 0 0 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.851782512545 2.016787926315 3 5 8 8 0132 2031 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -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 -3 3 0 0 0 3 -3 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.996098707396 0.671679728580 4 3 4 7 1230 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.369630023327 0.817330102202 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0110_7']), 'c_1001_2' : negation(d['c_0110_7']), 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : negation(d['c_0101_1']), 's_2_8' : negation(d['1']), 's_2_9' : d['1'], '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_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' : d['c_0011_7'], 'c_1100_8' : d['c_0101_1'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_0110_7'], 'c_1100_6' : d['c_0101_0'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_7'], 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0101_9']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0110_7']), 'c_1010_9' : negation(d['c_0110_7']), 'c_1010_8' : d['c_0011_5'], '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' : negation(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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], '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' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_5']), 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_9, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 3107859061473700441240154539658254050711/15459845647013389358796091\ 2349912019013824*c_0110_7^15 - 149247330109160321884993980993845845\ 9455/14054405133648535780723719304537456273984*c_0110_7^14 + 4737030957456941559743365417436518207033/38649614117533473396990228\ 087478004753456*c_0110_7^13 + 7343820601083889151765490923530577010\ 1585/77299228235066946793980456174956009506912*c_0110_7^12 - 315526648383509461865726790170627660787217/772992282350669467939804\ 56174956009506912*c_0110_7^11 + 68798527621338419174223662223641972\ 7648333/154598456470133893587960912349912019013824*c_0110_7^10 + 37007551267055066647419863023951656247787/4547013425592173340822379\ 774997412323936*c_0110_7^9 - 38529440689953843240472375954286685204\ 34629/154598456470133893587960912349912019013824*c_0110_7^8 + 3190519814541263199552424058028465751367/70272025668242678903618596\ 52268728136992*c_0110_7^7 + 967968558922696477277699688870195100962\ 3881/154598456470133893587960912349912019013824*c_0110_7^6 - 88009169967248147131766693363862239234395/1277673193968048707338519\ 936776132388544*c_0110_7^5 - 20074058904106413386534116166945171632\ 99395/77299228235066946793980456174956009506912*c_0110_7^4 + 4695049003576165351054925827371535265476349/15459845647013389358796\ 0912349912019013824*c_0110_7^3 + 1401678854056889575749752772351264\ 228369021/77299228235066946793980456174956009506912*c_0110_7^2 - 4817983387057079542964706209943959969562293/15459845647013389358796\ 0912349912019013824*c_0110_7 + 173767377452582880426793290216038584\ 9716937/154598456470133893587960912349912019013824, c_0011_0 - 1, c_0011_3 - 125036446434171133867444/27105333367850213295376111*c_0110_7\ ^15 + 362764185636779315207942/27105333367850213295376111*c_0110_7^\ 14 + 584444626690039804193723/27105333367850213295376111*c_0110_7^1\ 3 - 5755812916985952629580902/27105333367850213295376111*c_0110_7^1\ 2 + 8762829730338379190736409/27105333367850213295376111*c_0110_7^1\ 1 + 15315409498070691750837015/27105333367850213295376111*c_0110_7^\ 10 - 39784864228399615339718268/27105333367850213295376111*c_0110_7\ ^9 - 19964131502901649945552105/27105333367850213295376111*c_0110_7\ ^8 + 101080035427881880569048956/27105333367850213295376111*c_0110_\ 7^7 + 1494376818605165970376129/27105333367850213295376111*c_0110_7\ ^6 - 14945301797549578321471373/27105333367850213295376111*c_0110_7\ ^5 - 18407898262197044384920995/27105333367850213295376111*c_0110_7\ ^4 + 9740436668237257691961873/27105333367850213295376111*c_0110_7^\ 3 - 38776806041729529961131648/27105333367850213295376111*c_0110_7^\ 2 + 12258344022754412273836960/27105333367850213295376111*c_0110_7 - 2611351596152996826680062/27105333367850213295376111, c_0011_4 + 110221768285891103639681/27105333367850213295376111*c_0110_7\ ^15 - 346546442256855200348888/27105333367850213295376111*c_0110_7^\ 14 - 371200283723499735467518/27105333367850213295376111*c_0110_7^1\ 3 + 5045004695957315049713057/27105333367850213295376111*c_0110_7^1\ 2 - 9381289164894222395693602/27105333367850213295376111*c_0110_7^1\ 1 - 8755779499880623440024193/27105333367850213295376111*c_0110_7^1\ 0 + 35534937257517072786748270/27105333367850213295376111*c_0110_7^\ 9 - 1867179040509661582033380/27105333367850213295376111*c_0110_7^8 - 77225504553788085148395113/27105333367850213295376111*c_0110_7^7 + 44633574831147560186929767/27105333367850213295376111*c_0110_7^6 - 35549952690561951593084881/27105333367850213295376111*c_0110_7^5 - 17367441097230121602171439/27105333367850213295376111*c_0110_7^4 - 10294511361890486135780522/27105333367850213295376111*c_0110_7^3 + 53901032142945987404837624/27105333367850213295376111*c_0110_7^2 - 19613872288189583496150104/27105333367850213295376111*c_0110_7 + 11087545032765231036404580/27105333367850213295376111, c_0011_5 + 1248719490606910014855052/27105333367850213295376111*c_0110_\ 7^15 - 4367113259237265899984000/27105333367850213295376111*c_0110_\ 7^14 - 3601755425959666651410793/27105333367850213295376111*c_0110_\ 7^13 + 61165841515572307301894662/27105333367850213295376111*c_0110\ _7^12 - 123565767645670402855916623/27105333367850213295376111*c_01\ 10_7^11 - 98632894534770291285805750/27105333367850213295376111*c_0\ 110_7^10 + 503589864609684319084016596/27105333367850213295376111*c\ _0110_7^9 - 87779470865355418743117150/27105333367850213295376111*c\ _0110_7^8 - 1137319942579628878566247314/27105333367850213295376111\ *c_0110_7^7 + 763103719365851207131375687/2710533336785021329537611\ 1*c_0110_7^6 + 50577945393643593127340211/2710533336785021329537611\ 1*c_0110_7^5 - 225652655888538241482924151/271053333678502132953761\ 11*c_0110_7^4 + 44843529894379794039387020/271053333678502132953761\ 11*c_0110_7^3 + 436769696096077123813924235/27105333367850213295376\ 111*c_0110_7^2 - 314629529639201208143502899/2710533336785021329537\ 6111*c_0110_7 + 87706964405111521653439041/271053333678502132953761\ 11, c_0011_7 + 1117510987482499049611948/27105333367850213295376111*c_0110_\ 7^15 - 4353503336173627948429666/27105333367850213295376111*c_0110_\ 7^14 - 1622861316950442906320963/27105333367850213295376111*c_0110_\ 7^13 + 55923671116901245168025016/27105333367850213295376111*c_0110\ _7^12 - 132701482230335957525855232/27105333367850213295376111*c_01\ 10_7^11 - 42312879104743239853341908/27105333367850213295376111*c_0\ 110_7^10 + 484310480124242568228666849/27105333367850213295376111*c\ _0110_7^9 - 266343697203092331077053491/27105333367850213295376111*\ c_0110_7^8 - 976408551652185523638341061/27105333367850213295376111\ *c_0110_7^7 + 1111041665612357658554730087/271053333678502132953761\ 11*c_0110_7^6 - 260094997585725713527454513/27105333367850213295376\ 111*c_0110_7^5 - 260013584586169911790958153/2710533336785021329537\ 6111*c_0110_7^4 + 140984153790720199054537609/271053333678502132953\ 76111*c_0110_7^3 + 416452966202251029641437173/27105333367850213295\ 376111*c_0110_7^2 - 451721638951317655307387213/2710533336785021329\ 5376111*c_0110_7 + 200443499145787876183806529/27105333367850213295\ 376111, c_0101_0 - 314471260833044518008620/27105333367850213295376111*c_0110_7\ ^15 + 1305231658026027113861154/27105333367850213295376111*c_0110_7\ ^14 + 133773021715835323920019/27105333367850213295376111*c_0110_7^\ 13 - 15822775401500732930212947/27105333367850213295376111*c_0110_7\ ^12 + 41413541217163540959645015/27105333367850213295376111*c_0110_\ 7^11 + 1846343125242329535634185/27105333367850213295376111*c_0110_\ 7^10 - 138494874589128899618463318/27105333367850213295376111*c_011\ 0_7^9 + 111384574687556487551261623/27105333367850213295376111*c_01\ 10_7^8 + 250267454011357013496769190/27105333367850213295376111*c_0\ 110_7^7 - 381180574443039454877563894/27105333367850213295376111*c_\ 0110_7^6 + 162633697630387975516909472/27105333367850213295376111*c\ _0110_7^5 + 44326263126018707155944699/27105333367850213295376111*c\ _0110_7^4 - 55932768063161931417161715/27105333367850213295376111*c\ _0110_7^3 - 90221359708130496324852706/27105333367850213295376111*c\ _0110_7^2 + 131072101283060318113434939/27105333367850213295376111*\ c_0110_7 - 87448413752307915909089923/27105333367850213295376111, c_0101_1 + 1147027183015129399771835/27105333367850213295376111*c_0110_\ 7^15 - 4112808670476806789931171/27105333367850213295376111*c_0110_\ 7^14 - 2975840190436381528575009/27105333367850213295376111*c_0110_\ 7^13 + 56521753658217861108793177/27105333367850213295376111*c_0110\ _7^12 - 118336245092793647527168776/27105333367850213295376111*c_01\ 10_7^11 - 81414706700002014149668291/27105333367850213295376111*c_0\ 110_7^10 + 471271303450230020998284112/27105333367850213295376111*c\ _0110_7^9 - 118438074192301287231350645/27105333367850213295376111*\ c_0110_7^8 - 1039885642728162705838819301/2710533336785021329537611\ 1*c_0110_7^7 + 782605844565140686961991582/271053333678502132953761\ 11*c_0110_7^6 - 2504037343473607846657464/2710533336785021329537611\ 1*c_0110_7^5 - 188846678143698293512677398/271053333678502132953761\ 11*c_0110_7^4 + 49645426705803162760029422/271053333678502132953761\ 11*c_0110_7^3 + 395761883922579028629190457/27105333367850213295376\ 111*c_0110_7^2 - 292702221637249413927148652/2710533336785021329537\ 6111*c_0110_7 + 82465507467411663304551612/271053333678502132953761\ 11, c_0101_2 - 1647929538956640169553206/27105333367850213295376111*c_0110_\ 7^15 + 6309238743099199112392935/27105333367850213295376111*c_0110_\ 7^14 + 2667571340986013572174172/27105333367850213295376111*c_0110_\ 7^13 - 81838253606786839950286372/27105333367850213295376111*c_0110\ _7^12 + 190797101028143593122930829/27105333367850213295376111*c_01\ 10_7^11 + 68159016030311419821339683/27105333367850213295376111*c_0\ 110_7^10 - 697521108351900137360916553/27105333367850213295376111*c\ _0110_7^9 + 361865904720936966103360661/27105333367850213295376111*\ c_0110_7^8 + 1407993155146595382692251860/2710533336785021329537611\ 1*c_0110_7^7 - 1540355269338471013691285025/27105333367850213295376\ 111*c_0110_7^6 + 406741035029081783730665509/2710533336785021329537\ 6111*c_0110_7^5 + 339639179877792155719454287/271053333678502132953\ 76111*c_0110_7^4 - 176426259324774074585659217/27105333367850213295\ 376111*c_0110_7^3 - 556050695886390367875954383/2710533336785021329\ 5376111*c_0110_7^2 + 603797518251329113794778483/271053333678502132\ 95376111*c_0110_7 - 255120212630058963564929724/2710533336785021329\ 5376111, c_0101_9 + 100147538639996170988219/27105333367850213295376111*c_0110_7\ ^15 - 264924588606328824882095/27105333367850213295376111*c_0110_7^\ 14 - 512886862709793097831548/27105333367850213295376111*c_0110_7^1\ 3 + 4473565918216110314385571/27105333367850213295376111*c_0110_7^1\ 2 - 6171079026610097861364268/27105333367850213295376111*c_0110_7^1\ 1 - 13028858739767308125358863/27105333367850213295376111*c_0110_7^\ 10 + 29747802471985763618100979/27105333367850213295376111*c_0110_7\ ^9 + 15856985618180219208357062/27105333367850213295376111*c_0110_7\ ^8 - 75597661814341224181306156/27105333367850213295376111*c_0110_7\ ^7 + 3035530719771417593680609/27105333367850213295376111*c_0110_7^\ 6 - 2404010854937345688683768/27105333367850213295376111*c_0110_7^5 - 30628877486073218409147319/27105333367850213295376111*c_0110_7^4 + 1905397652633809202642039/27105333367850213295376111*c_0110_7^3 + 25707699764164184846338098/27105333367850213295376111*c_0110_7^2 - 9104227284969240545883905/27105333367850213295376111*c_0110_7 + 17368044444667466685832634/27105333367850213295376111, c_0110_7^16 - 4*c_0110_7^15 - c_0110_7^14 + 50*c_0110_7^13 - 124*c_0110_7^12 - 23*c_0110_7^11 + 431*c_0110_7^10 - 285*c_0110_7^9 - 823*c_0110_7^8 + 1065*c_0110_7^7 - 388*c_0110_7^6 - 133*c_0110_7^5 + 149*c_0110_7^4 + 315*c_0110_7^3 - 425*c_0110_7^2 + 226*c_0110_7 - 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.360 seconds, Total memory usage: 32.09MB