Magma V2.19-8 Tue Aug 20 2013 16:14:06 on localhost [Seed = 2210537404] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s046 geometric_solution 3.58971524 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 2 0132 3201 0132 2310 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 0 0 0 0 0 0 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.240535394268 1.529832453598 0 1 0 1 0132 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.656033122454 0.186169612758 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220237985822 1.014548420711 5 2 4 4 0132 0132 1302 2031 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 0 -1 1 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.253388648221 0.258756165359 3 3 5 2 2031 1302 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 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.253388648221 0.258756165359 3 4 5 5 0132 3201 1230 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068103339029 1.972819916643 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : 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' : negation(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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 480802679578593747402871/14533797858773019014224960*c_0101_5^14 - 99054815599249079982473/726689892938650950711248*c_0101_5^13 + 1200416506551987980981967/726689892938650950711248*c_0101_5^12 - 2284463942190934833970863/264250870159509436622272*c_0101_5^11 + 14516790872617451439141627/415251367393514828977856*c_0101_5^10 - 185377050979882655749456171/2076256836967574144889280*c_0101_5^9 + 46333645212866131476343576/227090591543328422097265*c_0101_5^8 - 4597333937160702417879198927/14533797858773019014224960*c_0101_5^7 + 7178768356516744569126807037/14533797858773019014224960*c_0101_5^6 - 650822914928156480244890949/1321254350797547183111360*c_0101_5^5 + 4323055706731817770139052669/7266898929386509507112480*c_0101_5^4 - 333304798596003227945057371/908362366173313688389060*c_0101_5^3 + 168324558660813172390795833/454181183086656844194530*c_0101_5^2 - 33550609624828079152680651/227090591543328422097265*c_0101_5 + 21337341212545430578768128/227090591543328422097265, c_0011_0 - 1, c_0011_2 + 1533758351840584391/2359382769281334255556*c_0101_5^14 + 24904498768093799685/9437531077125337022224*c_0101_5^13 - 156294993245298667353/4718765538562668511112*c_0101_5^12 + 400416448776856785889/2359382769281334255556*c_0101_5^11 - 6369396526764888083953/9437531077125337022224*c_0101_5^10 + 15582117185473675636271/9437531077125337022224*c_0101_5^9 - 33938373870811472873379/9437531077125337022224*c_0101_5^8 + 23323057424840307570663/4718765538562668511112*c_0101_5^7 - 66399496261059103043443/9437531077125337022224*c_0101_5^6 + 48522920174726222562087/9437531077125337022224*c_0101_5^5 - 55149255353779988963117/9437531077125337022224*c_0101_5^4 + 633243483262368367614/589845692320333563889*c_0101_5^3 - 1211545982547695246460/589845692320333563889*c_0101_5^2 - 32807035701253290627/1179691384640667127778*c_0101_5 + 187334376315513568118/589845692320333563889, c_0011_4 + 787069647696436943/589845692320333563889*c_0101_5^14 + 95632856603841868637/9437531077125337022224*c_0101_5^13 - 149320259094523893333/4718765538562668511112*c_0101_5^12 + 140785462173979420482/589845692320333563889*c_0101_5^11 - 5280043154211190959093/9437531077125337022224*c_0101_5^10 + 15271762679470272036859/9437531077125337022224*c_0101_5^9 - 22595618945878988466019/9437531077125337022224*c_0101_5^8 + 20857759756922367481253/4718765538562668511112*c_0101_5^7 - 42689103687811045521159/9437531077125337022224*c_0101_5^6 + 56064084048775404244603/9437531077125337022224*c_0101_5^5 - 39306152841074192718325/9437531077125337022224*c_0101_5^4 + 3765724432637262110577/1179691384640667127778*c_0101_5^3 - 1175352732552414612227/589845692320333563889*c_0101_5^2 + 308706627193476643269/1179691384640667127778*c_0101_5 - 46756858034059971582/589845692320333563889, c_0101_0 - 12423712639963195195/18875062154250674044448*c_0101_5^14 - 4189893432485692903/1179691384640667127778*c_0101_5^13 + 135533736109034712949/4718765538562668511112*c_0101_5^12 - 2549472784678250947957/18875062154250674044448*c_0101_5^11 + 9283262454073053662953/18875062154250674044448*c_0101_5^10 - 19553401302570254643341/18875062154250674044448*c_0101_5^9 + 10140671885677034256141/4718765538562668511112*c_0101_5^8 - 44740785347495482540251/18875062154250674044448*c_0101_5^7 + 70808520503987335807773/18875062154250674044448*c_0101_5^6 - 30739056282671706665759/18875062154250674044448*c_0101_5^5 + 31979214791246051493359/9437531077125337022224*c_0101_5^4 + 283970663519791641700/589845692320333563889*c_0101_5^3 + 1372584027979896898311/1179691384640667127778*c_0101_5^2 + 124400233892298315447/1179691384640667127778*c_0101_5 - 422411109211255771177/589845692320333563889, c_0101_1 - 34553756754867109163/18875062154250674044448*c_0101_5^14 - 167678115414035715397/9437531077125337022224*c_0101_5^13 + 55670849979562107251/4718765538562668511112*c_0101_5^12 - 4795704718973758591421/18875062154250674044448*c_0101_5^11 + 2295148620376777010099/18875062154250674044448*c_0101_5^10 - 18402080069803793140055/18875062154250674044448*c_0101_5^9 - 5807731821425070807197/9437531077125337022224*c_0101_5^8 - 29713206020477594868315/18875062154250674044448*c_0101_5^7 - 60980189586667573869597/18875062154250674044448*c_0101_5^6 - 44955344013256279749377/18875062154250674044448*c_0101_5^5 - 22716946253204456806363/4718765538562668511112*c_0101_5^4 - 13117031069357917635437/4718765538562668511112*c_0101_5^3 - 2767384493877062372631/1179691384640667127778*c_0101_5^2 - 411288007830293858995/1179691384640667127778*c_0101_5 - 290155926941508607081/589845692320333563889, c_0101_5^15 + 8*c_0101_5^14 - 20*c_0101_5^13 + 175*c_0101_5^12 - 355*c_0101_5^11 + 1127*c_0101_5^10 - 1388*c_0101_5^9 + 2905*c_0101_5^8 - 2031*c_0101_5^7 + 3693*c_0101_5^6 - 1146*c_0101_5^5 + 2392*c_0101_5^4 - 288*c_0101_5^3 + 656*c_0101_5^2 + 160*c_0101_5 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB