Magma V2.19-8 Tue Aug 20 2013 23:57:43 on localhost [Seed = 290945499] Type ? for help. Type -D to quit. Loading file "L14n3331__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n3331 geometric_solution 9.80907817 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 2 0132 0132 2310 2310 1 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 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.217262552042 1.525948583625 0 0 4 3 0132 3201 0132 0132 1 1 1 1 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 -9 9 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.100183518223 0.711744124433 0 0 6 5 3201 0132 0132 0132 1 1 1 1 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 1 -1 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240235475447 0.534082929910 7 5 1 8 0132 3120 0132 0132 1 1 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 0 0 0 0 0 0 0 0 0 0 0 9 0 -9 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467611529762 0.266080726116 9 7 9 1 0132 2310 3012 0132 1 1 1 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 0 0 -9 0 0 9 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.209610244175 1.597282160168 10 3 2 8 0132 3120 0132 3120 1 1 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 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 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.540383490294 0.192267766462 11 10 7 2 0132 2310 3120 0132 1 1 1 0 0 0 0 0 0 0 1 -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 0 -1 1 -1 0 -9 10 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709610244175 1.097282160168 3 11 6 4 0132 2310 3120 3201 0 1 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 0 0 0 0 0 0 0 0 1 0 -1 -9 0 9 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651884276168 0.267348743244 5 11 3 9 3120 1230 0132 3012 1 1 1 1 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 1 -10 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384535532924 0.919233019412 4 4 8 10 0132 1230 1230 1302 1 1 0 1 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 0 0 0 0 0 0 0 0 9 0 -9 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.248861215179 0.502918435410 5 11 9 6 0132 2103 2031 3201 0 1 1 1 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 -10 0 0 10 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.113515351551 0.529081468200 6 10 8 7 0132 2103 3012 3201 1 1 0 1 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 1 0 0 -1 0 1 0 -1 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : negation(d['c_1001_6']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : negation(d['c_1001_6']), 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0101_1']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_1001_9']), 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_1001_9']), 'c_1100_2' : negation(d['c_0101_7']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : negation(d['c_1001_9']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_4'], 'c_0110_10' : d['c_0101_5'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_7, c_1001_0, c_1001_6, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 9693206030425468147/179917204778396323200*c_1001_9^9 - 71974599374901289631/179917204778396323200*c_1001_9^8 - 240098457825578219819/89958602389198161600*c_1001_9^7 - 310511654485291358071/22489650597299540400*c_1001_9^6 - 2197276562933320850309/59972401592798774400*c_1001_9^5 - 4418123021480007795311/179917204778396323200*c_1001_9^4 + 10228453474239135256541/179917204778396323200*c_1001_9^3 + 3272374875751538167537/35983440955679264640*c_1001_9^2 + 4632904592697639988591/179917204778396323200*c_1001_9 + 21132440058693790067141/179917204778396323200, c_0011_0 - 1, c_0011_10 + 22835854301/317818768377312*c_1001_9^9 + 44606644957/317818768377312*c_1001_9^8 + 79368995143/158909384188656*c_1001_9^7 - 2656573901/79454692094328*c_1001_9^6 - 5542662418277/105939589459104*c_1001_9^5 - 65039009388743/317818768377312*c_1001_9^4 - 36954990969967/317818768377312*c_1001_9^3 + 103727535736853/317818768377312*c_1001_9^2 + 73862752292239/317818768377312*c_1001_9 + 49210414840229/317818768377312, c_0011_11 + 137149/127083384*c_1001_9^9 + 509515/63541692*c_1001_9^8 + 3454313/63541692*c_1001_9^7 + 17910055/63541692*c_1001_9^6 + 32621627/42361128*c_1001_9^5 + 41981485/63541692*c_1001_9^4 - 101744591/127083384*c_1001_9^3 - 31202803/15885423*c_1001_9^2 - 150888859/127083384*c_1001_9 - 38598901/15885423, c_0011_4 - 1, c_0101_0 - 10813988039/52969794729552*c_1001_9^9 - 88008220693/52969794729552*c_1001_9^8 - 288277647715/26484897364776*c_1001_9^7 - 742237601257/13242448682388*c_1001_9^6 - 2755720106797/17656598243184*c_1001_9^5 - 4128020071369/52969794729552*c_1001_9^4 + 28473363727237/52969794729552*c_1001_9^3 + 41008882256755/52969794729552*c_1001_9^2 - 8349832820065/52969794729552*c_1001_9 + 11638425258607/52969794729552, c_0101_1 + 10992399907/6621224341194*c_1001_9^9 + 39587065699/3310612170597*c_1001_9^8 + 264774675995/3310612170597*c_1001_9^7 + 5436958809259/13242448682388*c_1001_9^6 + 4657409545849/4414149560796*c_1001_9^5 + 8204647980991/13242448682388*c_1001_9^4 - 11135719163609/6621224341194*c_1001_9^3 - 7680033047638/3310612170597*c_1001_9^2 - 13661452977803/13242448682388*c_1001_9 - 24561855601403/6621224341194, c_0101_10 - 10813988039/52969794729552*c_1001_9^9 - 88008220693/52969794729552*c_1001_9^8 - 288277647715/26484897364776*c_1001_9^7 - 742237601257/13242448682388*c_1001_9^6 - 2755720106797/17656598243184*c_1001_9^5 - 4128020071369/52969794729552*c_1001_9^4 + 28473363727237/52969794729552*c_1001_9^3 + 41008882256755/52969794729552*c_1001_9^2 - 8349832820065/52969794729552*c_1001_9 + 11638425258607/52969794729552, c_0101_5 + 28886534495/158909384188656*c_1001_9^9 + 140683206625/158909384188656*c_1001_9^8 + 581743959595/79454692094328*c_1001_9^7 + 1288195015255/39727346047164*c_1001_9^6 + 3797508421693/52969794729552*c_1001_9^5 + 11394497275501/158909384188656*c_1001_9^4 + 18570081114299/158909384188656*c_1001_9^3 + 15582121024721/158909384188656*c_1001_9^2 - 13544527870079/158909384188656*c_1001_9 - 135205864159555/158909384188656, c_0101_7 - 4858778819/9931836511791*c_1001_9^9 - 37969297654/9931836511791*c_1001_9^8 - 260962634780/9931836511791*c_1001_9^7 - 1331005834951/9931836511791*c_1001_9^6 - 1297912439401/3310612170597*c_1001_9^5 - 3348475496074/9931836511791*c_1001_9^4 + 6673958332843/9931836511791*c_1001_9^3 + 12332850858199/9931836511791*c_1001_9^2 - 5073992806192/9931836511791*c_1001_9 + 12042893898016/9931836511791, c_1001_0 - 18480716641/52969794729552*c_1001_9^9 - 95947139729/52969794729552*c_1001_9^8 - 323926528331/26484897364776*c_1001_9^7 - 1473909443437/26484897364776*c_1001_9^6 - 1215493465859/17656598243184*c_1001_9^5 + 11322938070931/52969794729552*c_1001_9^4 + 20603592680213/52969794729552*c_1001_9^3 - 13751981705389/52969794729552*c_1001_9^2 - 22021140740921/52969794729552*c_1001_9 + 15763742376641/52969794729552, c_1001_6 + 62810494129/317818768377312*c_1001_9^9 + 370245036737/317818768377312*c_1001_9^8 + 1454370627899/158909384188656*c_1001_9^7 + 3578953199987/79454692094328*c_1001_9^6 + 12766786687619/105939589459104*c_1001_9^5 + 61899928620233/317818768377312*c_1001_9^4 + 69001492737409/317818768377312*c_1001_9^3 - 78447679744343/317818768377312*c_1001_9^2 - 267081233443597/317818768377312*c_1001_9 - 327392227447163/317818768377312, c_1001_9^10 + 6*c_1001_9^9 + 39*c_1001_9^8 + 186*c_1001_9^7 + 317*c_1001_9^6 - 502*c_1001_9^5 - 1674*c_1001_9^4 - 166*c_1001_9^3 + 1860*c_1001_9^2 - 1596*c_1001_9 + 3145 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB