Magma V2.19-8 Tue Aug 20 2013 23:38:19 on localhost [Seed = 88301867] Type ? for help. Type -D to quit. Loading file "K13n2368__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2368 geometric_solution 9.29050254 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 12 0 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744387792458 0.811295591494 0 5 7 6 0132 0132 0132 0132 0 0 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 0 0 0 0 0 -13 13 0 -12 0 13 -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.732380880777 0.433797856245 4 0 8 7 3120 0132 0132 2031 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 1 -1 0 12 0 0 -12 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.250505174777 0.816861631260 8 9 8 0 1302 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205249801566 0.892997244871 5 9 0 2 2031 3012 0132 3120 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 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756798920786 0.833767244358 9 1 4 7 2031 0132 1302 1230 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 13 0 -13 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.046828398268 0.688868787028 8 7 1 9 2310 0213 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 -1 0 1 0 0 1 -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.667012678570 0.605215252898 5 2 6 1 3012 1302 0213 0132 0 0 0 0 0 -1 0 1 -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 12 1 -13 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626336625847 0.647720949264 3 3 6 2 2103 2031 3201 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 -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.664315451040 0.561551261456 4 3 5 6 1230 0132 1302 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 -1 0 1 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.828156607978 1.099560471876 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0110_2'], 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : negation(d['c_0101_0']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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_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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_4']), 'c_1100_8' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0011_6']), 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_0']), 'c_0101_8' : negation(d['c_0011_8']), 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : d['c_0110_2'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_8']})} 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_6, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 122751354692781291915982813/1689539419480789829680*c_0110_2^18 - 61030712942853465350084757/422384854870197457420*c_0110_2^17 - 37094095644253981123684983/1689539419480789829680*c_0110_2^16 + 74024018621647859611568047/337907883896157965936*c_0110_2^15 + 284954576862755130082852449/1689539419480789829680*c_0110_2^14 - 140787238375641507283235291/422384854870197457420*c_0110_2^13 - 127216948163906090887332183/337907883896157965936*c_0110_2^12 + 30270185973706021606137033/120681387105770702120*c_0110_2^11 + 103205663661393157671029683/211192427435098728710*c_0110_2^10 - 11505777045565229436745179/105596213717549364355*c_0110_2^9 - 424204580798467865229621171/844769709740394914840*c_0110_2^8 + 9871300581083495308692087/105596213717549364355*c_0110_2^7 + 1034085757552596849588729/2320795905880205810*c_0110_2^6 - 10934244061344067598698397/422384854870197457420*c_0110_2^5 - 53110520091043763559728889/211192427435098728710*c_0110_2^4 + 3949335130968310568099399/211192427435098728710*c_0110_2^3 + 2421756331301040860320639/21119242743509872871*c_0110_2^2 - 2422894203475777385276016/105596213717549364355*c_0110_2 - 4307981142183730801585228/105596213717549364355, c_0011_0 - 1, c_0011_3 - 60825709168674185/1367184627911756*c_0110_2^18 - 241956279454671623/2734369255823512*c_0110_2^17 - 9365385388071653/683592313955878*c_0110_2^16 + 366365313690901923/2734369255823512*c_0110_2^15 + 290281149726709233/2734369255823512*c_0110_2^14 - 547960167560897351/2734369255823512*c_0110_2^13 - 318393482048597411/1367184627911756*c_0110_2^12 + 392012882453651867/2734369255823512*c_0110_2^11 + 404398564363320799/1367184627911756*c_0110_2^10 - 36028538652360363/683592313955878*c_0110_2^9 - 101876828313764579/341796156977939*c_0110_2^8 + 31871270253776113/683592313955878*c_0110_2^7 + 175530512913044117/683592313955878*c_0110_2^6 - 7345832269894099/683592313955878*c_0110_2^5 - 96637323129393233/683592313955878*c_0110_2^4 + 6080681696773155/683592313955878*c_0110_2^3 + 21274941219271635/341796156977939*c_0110_2^2 - 4496610038293039/341796156977939*c_0110_2 - 7126301019725549/341796156977939, c_0011_4 - 17060895990503279/2734369255823512*c_0110_2^18 - 19358315679935169/1367184627911756*c_0110_2^17 - 21452945809114107/2734369255823512*c_0110_2^16 + 37892565725694563/2734369255823512*c_0110_2^15 + 52316272325390039/2734369255823512*c_0110_2^14 - 21693615780362817/1367184627911756*c_0110_2^13 - 85692385808161203/2734369255823512*c_0110_2^12 + 5353369315196389/1367184627911756*c_0110_2^11 + 22151335612594435/683592313955878*c_0110_2^10 + 5053169745091741/1367184627911756*c_0110_2^9 - 34873236924039327/1367184627911756*c_0110_2^8 + 3436023329542703/1367184627911756*c_0110_2^7 + 8905451578210560/341796156977939*c_0110_2^6 + 637170021038333/683592313955878*c_0110_2^5 - 4151042785629302/341796156977939*c_0110_2^4 + 1383506711863619/683592313955878*c_0110_2^3 + 1579761579559048/341796156977939*c_0110_2^2 - 1115208644549183/341796156977939*c_0110_2 - 1058280144251642/341796156977939, c_0011_6 - 11064881084806023/1367184627911756*c_0110_2^18 - 46297112408230127/2734369255823512*c_0110_2^17 - 11815236205488651/2734369255823512*c_0110_2^16 + 67127671179240757/2734369255823512*c_0110_2^15 + 16160915569331477/683592313955878*c_0110_2^14 - 43676455880062921/1367184627911756*c_0110_2^13 - 127527589200635153/2734369255823512*c_0110_2^12 + 47947083221516343/2734369255823512*c_0110_2^11 + 151126745356674963/2734369255823512*c_0110_2^10 + 1345625484810215/1367184627911756*c_0110_2^9 - 17318281778524773/341796156977939*c_0110_2^8 - 1653322106039969/1367184627911756*c_0110_2^7 + 57647428347032383/1367184627911756*c_0110_2^6 + 2615703984173451/683592313955878*c_0110_2^5 - 15075891284794827/683592313955878*c_0110_2^4 - 1919660786293889/683592313955878*c_0110_2^3 + 2993275734490113/341796156977939*c_0110_2^2 - 491185483209589/341796156977939*c_0110_2 - 1087775362579194/341796156977939, c_0011_7 + 83986956003068701/2734369255823512*c_0110_2^18 + 164198425298621473/2734369255823512*c_0110_2^17 + 18227009531964969/2734369255823512*c_0110_2^16 - 64579341795030085/683592313955878*c_0110_2^15 - 93627990812794797/1367184627911756*c_0110_2^14 + 399913462452703793/2734369255823512*c_0110_2^13 + 432497699964191541/2734369255823512*c_0110_2^12 - 311407577988678747/2734369255823512*c_0110_2^11 - 71964046946371881/341796156977939*c_0110_2^10 + 17908073932114549/341796156977939*c_0110_2^9 + 298362036396545373/1367184627911756*c_0110_2^8 - 57304026666350965/1367184627911756*c_0110_2^7 - 65924170304718547/341796156977939*c_0110_2^6 + 8327701852015691/683592313955878*c_0110_2^5 + 74231474109577597/683592313955878*c_0110_2^4 - 2801181480839184/341796156977939*c_0110_2^3 - 17265391241382193/341796156977939*c_0110_2^2 + 3229852330224128/341796156977939*c_0110_2 + 5883837182107689/341796156977939, c_0011_8 + 31714315647079815/1367184627911756*c_0110_2^18 + 107970629260490507/2734369255823512*c_0110_2^17 - 6071229092330351/2734369255823512*c_0110_2^16 - 202076607516976545/2734369255823512*c_0110_2^15 - 16395128552490244/341796156977939*c_0110_2^14 + 149963243012628015/1367184627911756*c_0110_2^13 + 291006861442030749/2734369255823512*c_0110_2^12 - 214965211596131711/2734369255823512*c_0110_2^11 - 414169447081603921/2734369255823512*c_0110_2^10 + 21642403528051443/683592313955878*c_0110_2^9 + 198562934064435743/1367184627911756*c_0110_2^8 - 7914626504053374/341796156977939*c_0110_2^7 - 155630092072826345/1367184627911756*c_0110_2^6 + 2336503586497227/683592313955878*c_0110_2^5 + 43725244564599363/683592313955878*c_0110_2^4 - 358392830154192/341796156977939*c_0110_2^3 - 8032164043987899/341796156977939*c_0110_2^2 + 1555610193711733/341796156977939*c_0110_2 + 2105106902044386/341796156977939, c_0101_0 - 22711452260082943/1367184627911756*c_0110_2^18 - 90449114560232805/2734369255823512*c_0110_2^17 - 14218959095729699/2734369255823512*c_0110_2^16 + 130377324602624047/2734369255823512*c_0110_2^15 + 12576953225683471/341796156977939*c_0110_2^14 - 49539756910792387/683592313955878*c_0110_2^13 - 213644766202332127/2734369255823512*c_0110_2^12 + 158435718188303359/2734369255823512*c_0110_2^11 + 271400213471550193/2734369255823512*c_0110_2^10 - 39248301571008209/1367184627911756*c_0110_2^9 - 141854111395986601/1367184627911756*c_0110_2^8 + 43267274168118481/1367184627911756*c_0110_2^7 + 129175323005773919/1367184627911756*c_0110_2^6 - 9886973061928655/683592313955878*c_0110_2^5 - 17882204660605206/341796156977939*c_0110_2^4 + 6596856868098789/683592313955878*c_0110_2^3 + 7934615133708260/341796156977939*c_0110_2^2 - 2923303336740965/341796156977939*c_0110_2 - 2925066208153812/341796156977939, c_0101_1 + 6814512841842973/341796156977939*c_0110_2^18 + 117611067124777253/2734369255823512*c_0110_2^17 + 21086872814888491/2734369255823512*c_0110_2^16 - 189747508430273539/2734369255823512*c_0110_2^15 - 85898683197569399/1367184627911756*c_0110_2^14 + 62702199117978971/683592313955878*c_0110_2^13 + 361918009036189599/2734369255823512*c_0110_2^12 - 159441770143401695/2734369255823512*c_0110_2^11 - 446046809131640869/2734369255823512*c_0110_2^10 + 822310957817389/683592313955878*c_0110_2^9 + 53299502632789297/341796156977939*c_0110_2^8 + 8576876319725687/1367184627911756*c_0110_2^7 - 178488479988534775/1367184627911756*c_0110_2^6 - 4597740121979417/341796156977939*c_0110_2^5 + 24898638770552415/341796156977939*c_0110_2^4 + 6442170951404111/683592313955878*c_0110_2^3 - 10490084034735787/341796156977939*c_0110_2^2 + 577484503576211/341796156977939*c_0110_2 + 3363756667118473/341796156977939, c_0101_2 - 11761808047326688/341796156977939*c_0110_2^18 - 166199835018430471/2734369255823512*c_0110_2^17 + 8088618196931437/2734369255823512*c_0110_2^16 + 282016863633307375/2734369255823512*c_0110_2^15 + 38444656382633971/683592313955878*c_0110_2^14 - 59557308668316192/341796156977939*c_0110_2^13 - 391357426220189821/2734369255823512*c_0110_2^12 + 423427269166758699/2734369255823512*c_0110_2^11 + 569224410420611697/2734369255823512*c_0110_2^10 - 133399662731194545/1367184627911756*c_0110_2^9 - 79249020806430354/341796156977939*c_0110_2^8 + 121569390191005691/1367184627911756*c_0110_2^7 + 280453767894958637/1367184627911756*c_0110_2^6 - 30692438340601531/683592313955878*c_0110_2^5 - 80126749324075375/683592313955878*c_0110_2^4 + 16830248000286303/683592313955878*c_0110_2^3 + 18478084341558941/341796156977939*c_0110_2^2 - 5468816192211336/341796156977939*c_0110_2 - 6233757197673462/341796156977939, c_0110_2^19 + 110/41*c_0110_2^18 + 69/41*c_0110_2^17 - 115/41*c_0110_2^16 - 181/41*c_0110_2^15 + 122/41*c_0110_2^14 + 343/41*c_0110_2^13 + 6/41*c_0110_2^12 - 374/41*c_0110_2^11 - 130/41*c_0110_2^10 + 326/41*c_0110_2^9 + 144/41*c_0110_2^8 - 288/41*c_0110_2^7 - 160/41*c_0110_2^6 + 152/41*c_0110_2^5 + 88/41*c_0110_2^4 - 72/41*c_0110_2^3 - 32/41*c_0110_2^2 + 32/41*c_0110_2 + 16/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.320 seconds, Total memory usage: 32.09MB