Magma V2.19-8 Tue Aug 20 2013 23:29:33 on localhost [Seed = 3751393714] Type ? for help. Type -D to quit. Loading file "K12a1166__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1166 geometric_solution 5.90828682 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 8 1 2 1 3 0132 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.591405503787 0.348574547688 0 4 0 3 0132 0132 0321 2310 0 0 0 0 0 0 0 0 -1 0 1 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 1 -1 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 1.227169986444 1.116783677030 4 0 6 5 2031 0132 0132 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 0 0 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.597621888519 1.511505736872 1 5 0 5 3201 2103 0132 2310 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 -1 1 -1 0 1 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.740668794643 0.838738362954 5 1 2 6 3012 0132 1302 0321 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 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222044126722 0.236779997210 3 3 2 4 3201 2103 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 0 0 1 0 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.336472718979 1.088232236097 7 4 7 2 0132 0321 1023 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.315230461138 0.409451945483 6 7 6 7 0132 1302 1023 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.528716246520 0.067554063467 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(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_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : 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_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_6']), '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_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0011_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1698112301681638339/4408218451328396464*c_0101_6^15 + 1745217657309861549/4408218451328396464*c_0101_6^14 + 14473981397617961235/2204109225664198232*c_0101_6^13 + 2096172112952094760/275513653208024779*c_0101_6^12 + 8377214105137943307/232011497438336656*c_0101_6^11 + 196867352877466397877/4408218451328396464*c_0101_6^10 + 38253311612589143645/551027306416049558*c_0101_6^9 + 166872047706682487209/2204109225664198232*c_0101_6^8 + 12745249739084898577/259306967725199792*c_0101_6^7 + 103125098958252265849/4408218451328396464*c_0101_6^6 + 4045980641298624735/4408218451328396464*c_0101_6^5 - 13813826824967010945/2204109225664198232*c_0101_6^4 - 94874467971453125945/4408218451328396464*c_0101_6^3 + 94539863227778205273/4408218451328396464*c_0101_6^2 - 59860608799915735635/4408218451328396464*c_0101_6 + 18194052139719981923/4408218451328396464, c_0011_0 - 1, c_0011_3 + 412230548952/3035528279233*c_0101_6^15 + 349290815526/3035528279233*c_0101_6^14 + 7164120429891/3035528279233*c_0101_6^13 + 6746959407471/3035528279233*c_0101_6^12 + 40854879671299/3035528279233*c_0101_6^11 + 39348686975791/3035528279233*c_0101_6^10 + 85875234926387/3035528279233*c_0101_6^9 + 64163402604641/3035528279233*c_0101_6^8 + 76131221952190/3035528279233*c_0101_6^7 + 18711782762113/3035528279233*c_0101_6^6 + 34603829297574/3035528279233*c_0101_6^5 - 12042929384881/3035528279233*c_0101_6^4 + 12037641591666/3035528279233*c_0101_6^3 + 6139068312529/3035528279233*c_0101_6^2 - 2295658975366/3035528279233*c_0101_6 + 1439643166213/3035528279233, c_0011_5 - 391719780730/3035528279233*c_0101_6^15 - 221189237276/3035528279233*c_0101_6^14 - 6702516156885/3035528279233*c_0101_6^13 - 4548286199703/3035528279233*c_0101_6^12 - 36676195468169/3035528279233*c_0101_6^11 - 27244698491977/3035528279233*c_0101_6^10 - 67794123765481/3035528279233*c_0101_6^9 - 39983478307228/3035528279233*c_0101_6^8 - 42288294137989/3035528279233*c_0101_6^7 + 9198597223872/3035528279233*c_0101_6^6 - 7551081897831/3035528279233*c_0101_6^5 + 29526685432126/3035528279233*c_0101_6^4 - 3210077535150/3035528279233*c_0101_6^3 - 1546992053846/3035528279233*c_0101_6^2 + 5235673413632/3035528279233*c_0101_6 + 60535590732/3035528279233, c_0011_6 - 1246068161294/3035528279233*c_0101_6^15 - 230063572196/3035528279233*c_0101_6^14 - 21491072864720/3035528279233*c_0101_6^13 - 6546361766156/3035528279233*c_0101_6^12 - 119126343409553/3035528279233*c_0101_6^11 - 46435783552975/3035528279233*c_0101_6^10 - 231282109042581/3035528279233*c_0101_6^9 - 73070420050671/3035528279233*c_0101_6^8 - 199857090278265/3035528279233*c_0101_6^7 + 25932380378492/3035528279233*c_0101_6^6 - 141464168486219/3035528279233*c_0101_6^5 + 97954050325674/3035528279233*c_0101_6^4 - 93974599494339/3035528279233*c_0101_6^3 + 38498934782750/3035528279233*c_0101_6^2 - 6500652767566/3035528279233*c_0101_6 + 2150359393902/3035528279233, c_0101_0 + 1310603493154/3035528279233*c_0101_6^15 + 615545181726/3035528279233*c_0101_6^14 + 22515359343894/3035528279233*c_0101_6^13 + 13236555173226/3035528279233*c_0101_6^12 + 124655603661734/3035528279233*c_0101_6^11 + 82661685271828/3035528279233*c_0101_6^10 + 243714080489982/3035528279233*c_0101_6^9 + 134875630698216/3035528279233*c_0101_6^8 + 208319534264166/3035528279233*c_0101_6^7 + 15299203122400/3035528279233*c_0101_6^6 + 115031548936435/3035528279233*c_0101_6^5 - 65678087916924/3035528279233*c_0101_6^4 + 50919672046628/3035528279233*c_0101_6^3 - 11474652162512/3035528279233*c_0101_6^2 - 5600100890620/3035528279233*c_0101_6 - 1206543721256/3035528279233, c_0101_2 - 1595885113020/3035528279233*c_0101_6^15 - 412230548952/3035528279233*c_0101_6^14 - 27479337736866/3035528279233*c_0101_6^13 - 10355890655931/3035528279233*c_0101_6^12 - 151972504692291/3035528279233*c_0101_6^11 - 69580811705659/3035528279233*c_0101_6^10 - 293094419945971/3035528279233*c_0101_6^9 - 108217626508667/3035528279233*c_0101_6^8 - 244498420375901/3035528279233*c_0101_6^7 + 29197195507130/3035528279233*c_0101_6^6 - 159149672707873/3035528279233*c_0101_6^5 + 120197026665366/3035528279233*c_0101_6^4 - 101264913639539/3035528279233*c_0101_6^3 + 39030682024974/3035528279233*c_0101_6^2 - 6295310259336/3035528279233*c_0101_6 + 2295658975366/3035528279233, c_0101_5 + 230063572196/3035528279233*c_0101_6^15 + 307914122722/3035528279233*c_0101_6^14 + 4054225443568/3035528279233*c_0101_6^13 + 5734140731799/3035528279233*c_0101_6^12 + 24006556649683/3035528279233*c_0101_6^11 + 33157271396835/3035528279233*c_0101_6^10 + 55625465792555/3035528279233*c_0101_6^9 + 59051388052043/3035528279233*c_0101_6^8 + 56308118266912/3035528279233*c_0101_6^7 + 31810170292347/3035528279233*c_0101_6^6 + 22914561319844/3035528279233*c_0101_6^5 + 5503760042465/3035528279233*c_0101_6^4 + 1375246378658/3035528279233*c_0101_6^3 + 972988165745/3035528279233*c_0101_6^2 - 2150359393902/3035528279233*c_0101_6 - 4281596440527/3035528279233, c_0101_6^16 + 17*c_0101_6^14 + 2*c_0101_6^13 + 91*c_0101_6^12 + 18*c_0101_6^11 + 159*c_0101_6^10 + 14*c_0101_6^9 + 113*c_0101_6^8 - 66*c_0101_6^7 + 88*c_0101_6^6 - 97*c_0101_6^5 + 71*c_0101_6^4 - 32*c_0101_6^3 + 2*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB