Magma V2.19-8 Tue Aug 20 2013 23:29:51 on localhost [Seed = 3970599611] Type ? for help. Type -D to quit. Loading file "K8a7__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K8a7 geometric_solution 8.53123220 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 2 0132 0132 0132 1230 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 1 0 -1 0 0 1 -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.906927996541 1.316122470094 0 4 4 3 0132 0132 1302 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 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.789866508778 1.059724295906 0 0 5 3 3012 0132 0132 3120 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 -1 0 1 1 0 0 -1 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.053463823867 0.756026918018 2 6 1 0 3120 0132 1230 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 1 0 0 -1 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.730267052937 0.571372428150 1 1 5 7 2031 0132 0321 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 -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.547847964717 0.606629717690 8 8 4 2 0132 1230 0321 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 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.602423685431 0.764102853873 7 3 7 8 1302 0132 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 0 0 0 1 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.006572151042 1.249455249200 8 6 4 6 1230 2031 0132 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 -1 1 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.006572151042 1.249455249200 5 7 5 6 0132 3012 3012 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 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.363704704956 0.807064965418 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_2'], 'c_1001_8' : negation(d['c_0011_5']), 's_2_8' : 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' : 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' : negation(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_8' : negation(d['c_1001_5']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_1001_5'], 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0101_3']), 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0101_2'], 'c_1010_8' : negation(d['c_0101_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' : negation(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' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_5'], 'c_0011_6' : negation(d['c_0011_3']), '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_0101_7'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0101_7'])})} 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_0101_0, c_0101_2, c_0101_3, c_0101_4, c_0101_7, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 873323118749/19799066979*c_1001_5^13 + 75687112790/2199896331*c_1001_5^12 + 3693155195420/19799066979*c_1001_5^11 + 4278684559777/19799066979*c_1001_5^10 - 10824437762717/6599688993*c_1001_5^9 - 16177125870665/19799066979*c_1001_5^8 + 157221775487471/19799066979*c_1001_5^7 - 46789617550489/6599688993*c_1001_5^6 - 135066835107401/19799066979*c_1001_5^5 + 329381637347344/19799066979*c_1001_5^4 - 91655753223275/6599688993*c_1001_5^3 + 120345752942681/19799066979*c_1001_5^2 - 9285608670239/6599688993*c_1001_5 + 2662476852332/19799066979, c_0011_0 - 1, c_0011_3 + 7398826905/733298777*c_1001_5^13 - 4460557254/733298777*c_1001_5^12 - 31702677532/733298777*c_1001_5^11 - 42054867271/733298777*c_1001_5^10 + 265931456627/733298777*c_1001_5^9 + 181820603086/733298777*c_1001_5^8 - 1286026027297/733298777*c_1001_5^7 + 972998547398/733298777*c_1001_5^6 + 1249280595379/733298777*c_1001_5^5 - 2532049673552/733298777*c_1001_5^4 + 1963081068018/733298777*c_1001_5^3 - 791437601777/733298777*c_1001_5^2 + 160190692822/733298777*c_1001_5 - 12272620626/733298777, c_0011_5 + 5786796555/733298777*c_1001_5^13 - 3995780995/733298777*c_1001_5^12 - 24609708295/733298777*c_1001_5^11 - 30680542064/733298777*c_1001_5^10 + 211394623652/733298777*c_1001_5^9 + 124800395719/733298777*c_1001_5^8 - 1022334884404/733298777*c_1001_5^7 + 845149263962/733298777*c_1001_5^6 + 930086717845/733298777*c_1001_5^5 - 2076917309577/733298777*c_1001_5^4 + 1686224809885/733298777*c_1001_5^3 - 717327268806/733298777*c_1001_5^2 + 155760265798/733298777*c_1001_5 - 13382984290/733298777, c_0101_0 + 3779902407/733298777*c_1001_5^13 - 3311215622/733298777*c_1001_5^12 - 15597261717/733298777*c_1001_5^11 - 17006841908/733298777*c_1001_5^10 + 141804821946/733298777*c_1001_5^9 + 55761871496/733298777*c_1001_5^8 - 683436021168/733298777*c_1001_5^7 + 677399430754/733298777*c_1001_5^6 + 507333251383/733298777*c_1001_5^5 - 1477656487490/733298777*c_1001_5^4 + 1357624982593/733298777*c_1001_5^3 - 663119121202/733298777*c_1001_5^2 + 173549232627/733298777*c_1001_5 - 19023434100/733298777, c_0101_2 - 5984157385/733298777*c_1001_5^13 + 3135630481/733298777*c_1001_5^12 + 25825040623/733298777*c_1001_5^11 + 36086778184/733298777*c_1001_5^10 - 211941404329/733298777*c_1001_5^9 - 163403863466/733298777*c_1001_5^8 + 1024876717764/733298777*c_1001_5^7 - 708029394778/733298777*c_1001_5^6 - 1054613956193/733298777*c_1001_5^5 + 1957972246053/733298777*c_1001_5^4 - 1447025181305/733298777*c_1001_5^3 + 546892037878/733298777*c_1001_5^2 - 99439891542/733298777*c_1001_5 + 5945909346/733298777, c_0101_3 - 1848089954/733298777*c_1001_5^13 + 865495916/733298777*c_1001_5^12 + 7890286630/733298777*c_1001_5^11 + 11558952338/733298777*c_1001_5^10 - 64250705737/733298777*c_1001_5^9 - 52849164310/733298777*c_1001_5^8 + 309676693624/733298777*c_1001_5^7 - 207790262817/733298777*c_1001_5^6 - 318731924769/733298777*c_1001_5^5 + 584171715034/733298777*c_1001_5^4 - 440966419995/733298777*c_1001_5^3 + 170453057282/733298777*c_1001_5^2 - 33932380979/733298777*c_1001_5 + 1689776486/733298777, c_0101_4 + 1980395950/733298777*c_1001_5^13 - 993319260/733298777*c_1001_5^12 - 8413268044/733298777*c_1001_5^11 - 12109815132/733298777*c_1001_5^10 + 69201958787/733298777*c_1001_5^9 + 54262549742/733298777*c_1001_5^8 - 333336454601/733298777*c_1001_5^7 + 234191494784/733298777*c_1001_5^6 + 332094714443/733298777*c_1001_5^5 - 636597215238/733298777*c_1001_5^4 + 495723257890/733298777*c_1001_5^3 - 202123997541/733298777*c_1001_5^2 + 45640137744/733298777*c_1001_5 - 3832968556/733298777, c_0101_7 + 1984878602/733298777*c_1001_5^13 - 987076690/733298777*c_1001_5^12 - 8434906854/733298777*c_1001_5^11 - 12186189930/733298777*c_1001_5^10 + 69292284259/733298777*c_1001_5^9 + 54682480037/733298777*c_1001_5^8 - 333661033826/733298777*c_1001_5^7 + 233132930894/733298777*c_1001_5^6 + 333253142619/733298777*c_1001_5^5 - 636085835703/733298777*c_1001_5^4 + 493953472727/733298777*c_1001_5^3 - 200074578484/733298777*c_1001_5^2 + 43750326068/733298777*c_1001_5 - 3965274552/733298777, c_1001_5^14 - c_1001_5^13 - 4*c_1001_5^12 - 4*c_1001_5^11 + 38*c_1001_5^10 + 10*c_1001_5^9 - 182*c_1001_5^8 + 202*c_1001_5^7 + 109*c_1001_5^6 - 405*c_1001_5^5 + 410*c_1001_5^4 - 226*c_1001_5^3 + 73*c_1001_5^2 - 13*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB