Magma V2.19-8 Tue Aug 20 2013 23:29:45 on localhost [Seed = 610419319] Type ? for help. Type -D to quit. Loading file "K14a12197__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a12197 geometric_solution 5.23864537 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 1 3 0132 0132 3012 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 -1 0 1 0 0 0 0 0 0 0 0 24 -1 -23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731160283758 0.665767663533 0 0 4 4 0132 1230 1230 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 0 0 1 -1 -24 23 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521490920387 1.291445313487 3 0 5 4 3012 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.868623840571 0.345746231021 4 5 0 2 1230 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.334775859069 0.185627728729 2 3 1 1 3120 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521490920387 1.291445313487 6 6 3 2 0132 3201 2310 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 0.866468563978 0.686485957307 5 7 5 7 0132 0132 2310 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 0 0 0 0 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.735837458336 0.711446401055 6 6 8 8 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255546237382 0.027689949268 8 7 8 7 2310 2310 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 0 0 0 0 0 0 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.969541661741 0.106394372644 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0110_7']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_8' : negation(d['c_0101_5']), 's_2_8' : d['1'], 's_2_0' : negation(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_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_8' : negation(d['c_0011_8']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0110_2'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0110_2'], 'c_1100_3' : d['c_0110_2'], 'c_1100_2' : d['c_0011_3'], 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0110_7']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_8' : negation(d['c_0110_7']), '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_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' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_5'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_5'], 'c_0110_8' : negation(d['c_0101_5']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_2'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_8, c_0101_1, c_0101_2, c_0101_5, c_0110_2, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 316827617780147730701/385874662982479777408*c_0110_7^16 - 316074421225910892829/192937331491239888704*c_0110_7^15 - 7471945008895001111135/385874662982479777408*c_0110_7^14 + 9702743216077044586705/385874662982479777408*c_0110_7^13 + 25658131487141281691355/192937331491239888704*c_0110_7^12 - 4804969367544309652867/192937331491239888704*c_0110_7^11 - 28968492201639418332563/96468665745619944352*c_0110_7^10 - 60876928625735407786379/385874662982479777408*c_0110_7^9 + 9640394154175211960965/48234332872809972176*c_0110_7^8 + 122271699625998006272499/385874662982479777408*c_0110_7^7 + 10113975077390696032685/192937331491239888704*c_0110_7^6 - 19446985206382144251397/192937331491239888704*c_0110_7^5 - 7978294682075214368359/192937331491239888704*c_0110_7^4 - 27946378271293582573253/385874662982479777408*c_0110_7^3 - 2908987734562987709683/385874662982479777408*c_0110_7^2 - 1723277621116265722697/192937331491239888704*c_0110_7 - 711887899270738442401/385874662982479777408, c_0011_0 - 1, c_0011_3 - 6850773357185/12281389109072*c_0110_7^16 + 6466652910853/6140694554536*c_0110_7^15 + 155719945371107/12281389109072*c_0110_7^14 - 177680173492685/12281389109072*c_0110_7^13 - 484289656444799/6140694554536*c_0110_7^12 - 59180213577969/6140694554536*c_0110_7^11 + 382846744723661/3070347277268*c_0110_7^10 + 1509322255576495/12281389109072*c_0110_7^9 + 6859720082974/767586819317*c_0110_7^8 - 1092133564001927/12281389109072*c_0110_7^7 - 365875672706753/6140694554536*c_0110_7^6 - 348050283032319/6140694554536*c_0110_7^5 - 221657400125081/6140694554536*c_0110_7^4 + 32619958384513/12281389109072*c_0110_7^3 - 46033204927465/12281389109072*c_0110_7^2 + 10964064343549/6140694554536*c_0110_7 + 5028829388005/12281389109072, c_0011_5 + 3558760390679/12281389109072*c_0110_7^16 - 3710632800821/3070347277268*c_0110_7^15 - 66305232024307/12281389109072*c_0110_7^14 + 280015672938035/12281389109072*c_0110_7^13 + 76970327372249/3070347277268*c_0110_7^12 - 71709028816524/767586819317*c_0110_7^11 - 515962167961461/6140694554536*c_0110_7^10 + 1307375811225205/12281389109072*c_0110_7^9 + 532393268922349/3070347277268*c_0110_7^8 + 395961549867565/12281389109072*c_0110_7^7 - 106555480283356/767586819317*c_0110_7^6 - 199641677526209/3070347277268*c_0110_7^5 - 4163185852023/767586819317*c_0110_7^4 - 92553620128333/12281389109072*c_0110_7^3 + 122869901635555/12281389109072*c_0110_7^2 - 3912382626447/1535173638634*c_0110_7 + 2584908192499/12281389109072, c_0011_8 + 2473123003143/6140694554536*c_0110_7^16 - 8076323265623/6140694554536*c_0110_7^15 - 12680119340257/1535173638634*c_0110_7^14 + 143987872132167/6140694554536*c_0110_7^13 + 282238969067105/6140694554536*c_0110_7^12 - 479177842953529/6140694554536*c_0110_7^11 - 746398444807589/6140694554536*c_0110_7^10 + 156712301375281/3070347277268*c_0110_7^9 + 523543626426057/3070347277268*c_0110_7^8 + 501038150744435/6140694554536*c_0110_7^7 - 628402940899255/6140694554536*c_0110_7^6 - 409871207701461/6140694554536*c_0110_7^5 - 65517393463895/6140694554536*c_0110_7^4 - 34232814116859/3070347277268*c_0110_7^3 + 52682379732929/6140694554536*c_0110_7^2 - 14514873668173/6140694554536*c_0110_7 + 46187458614/767586819317, c_0101_1 + 4166250031247/12281389109072*c_0110_7^16 - 526796011247/767586819317*c_0110_7^15 - 94960132622727/12281389109072*c_0110_7^14 + 122728697783163/12281389109072*c_0110_7^13 + 75801610210147/1535173638634*c_0110_7^12 - 7146565124855/3070347277268*c_0110_7^11 - 580733317603683/6140694554536*c_0110_7^10 - 894683220123783/12281389109072*c_0110_7^9 + 113645545876179/3070347277268*c_0110_7^8 + 1174632386322525/12281389109072*c_0110_7^7 + 85761345024481/3070347277268*c_0110_7^6 - 6513095320014/767586819317*c_0110_7^5 - 18677029558395/3070347277268*c_0110_7^4 - 73047256166049/12281389109072*c_0110_7^3 + 8341390730467/12281389109072*c_0110_7^2 + 243463049545/3070347277268*c_0110_7 + 15840149499751/12281389109072, c_0101_2 + 8076348268815/12281389109072*c_0110_7^16 - 4765516159319/3070347277268*c_0110_7^15 - 176996714987807/12281389109072*c_0110_7^14 + 297854119979139/12281389109072*c_0110_7^13 + 264252967931161/3070347277268*c_0110_7^12 - 107240363556487/3070347277268*c_0110_7^11 - 983647282031153/6140694554536*c_0110_7^10 - 844076412081255/12281389109072*c_0110_7^9 + 248325454528597/3070347277268*c_0110_7^8 + 1395571267404429/12281389109072*c_0110_7^7 - 10480206297369/1535173638634*c_0110_7^6 + 11584963076157/1535173638634*c_0110_7^5 + 13325178336897/767586819317*c_0110_7^4 - 82743650230593/12281389109072*c_0110_7^3 + 158020575459547/12281389109072*c_0110_7^2 - 2600717691187/1535173638634*c_0110_7 - 2919945513513/12281389109072, c_0101_5 - 3487832388563/12281389109072*c_0110_7^16 + 5846827849165/6140694554536*c_0110_7^15 + 69105291734005/12281389109072*c_0110_7^14 - 206383894790999/12281389109072*c_0110_7^13 - 173925465529895/6140694554536*c_0110_7^12 + 334169919871067/6140694554536*c_0110_7^11 + 98617408247503/1535173638634*c_0110_7^10 - 527169577096319/12281389109072*c_0110_7^9 - 132927481109811/1535173638634*c_0110_7^8 - 278843441370621/12281389109072*c_0110_7^7 + 427005757483403/6140694554536*c_0110_7^6 + 96120754597817/6140694554536*c_0110_7^5 - 38809779617597/6140694554536*c_0110_7^4 + 20973784837007/12281389109072*c_0110_7^3 - 149947689823011/12281389109072*c_0110_7^2 + 12760608449105/6140694554536*c_0110_7 - 2055457301485/12281389109072, c_0110_2 + 328477128097/3070347277268*c_0110_7^16 - 1215105704975/6140694554536*c_0110_7^15 - 15385475968731/6140694554536*c_0110_7^14 + 8504457156599/3070347277268*c_0110_7^13 + 103263146475793/6140694554536*c_0110_7^12 + 9407789870975/6140694554536*c_0110_7^11 - 212026559621699/6140694554536*c_0110_7^10 - 188913570761493/6140694554536*c_0110_7^9 + 45019123503371/3070347277268*c_0110_7^8 + 64976903357737/1535173638634*c_0110_7^7 + 93311463299157/6140694554536*c_0110_7^6 - 53192510686969/6140694554536*c_0110_7^5 - 47771152914003/6140694554536*c_0110_7^4 - 18058657688927/6140694554536*c_0110_7^3 + 1654524901660/767586819317*c_0110_7^2 + 2103623334231/6140694554536*c_0110_7 - 3667571551393/6140694554536, c_0110_7^17 - 3*c_0110_7^16 - 21*c_0110_7^15 + 52*c_0110_7^14 + 121*c_0110_7^13 - 152*c_0110_7^12 - 298*c_0110_7^11 + 41*c_0110_7^10 + 347*c_0110_7^9 + 239*c_0110_7^8 - 149*c_0110_7^7 - 128*c_0110_7^6 - 48*c_0110_7^5 - 47*c_0110_7^4 + 14*c_0110_7^3 - 3*c_0110_7^2 + c_0110_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB