Magma V2.19-8 Tue Aug 20 2013 17:55:37 on localhost [Seed = 1865341116] Type ? for help. Type -D to quit. Loading file "9_8__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_8 geometric_solution 8.19234796 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 -1 0 0 1 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014896123383 1.061340746741 0 2 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 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 -6 6 0 1 0 0 -1 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.014896123383 1.061340746741 2 0 2 1 2031 0132 1302 3201 0 0 0 0 0 0 1 -1 -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 1 6 -7 -6 0 6 0 -6 0 0 6 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451950828677 0.818603235102 4 7 8 0 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355613944698 0.847506827900 3 5 0 8 0132 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 -1 1 7 0 0 -7 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.062538913070 0.558712808032 6 4 1 8 0132 3120 0132 2031 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 0 7 0 -7 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.499409295089 0.634994322234 5 7 7 1 0132 3201 2031 0132 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 6 -6 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.826244938608 1.339675276480 8 3 6 6 0132 0132 2310 1302 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 0 0 0 -1 0 0 1 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666488487231 0.540756266333 7 5 4 3 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 7 0 -7 -6 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.865668083208 1.604660840537 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0110_2']), 'c_1001_4' : d['c_0110_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : negation(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_8' : d['c_1100_0'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_5']), 'c_1100_6' : negation(d['c_1001_3']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_0'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : d['c_0110_2'], 'c_1010_8' : d['c_1001_3'], 's_3_1' : negation(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' : negation(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' : d['1'], 's_1_0' : d['1'], 's_1_8' : d['1'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_0']})} 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_3, c_0110_2, c_1001_0, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 14806246674967973506579210/23750815565186175416097*c_1100_0^14 - 49367868790799325102436186/23750815565186175416097*c_1100_0^13 - 93111494354121066503352172/7916938521728725138699*c_1100_0^12 + 1439738021115692792760438040/23750815565186175416097*c_1100_0^11 - 838347147769490766039210731/7916938521728725138699*c_1100_0^10 + 965994154157043017973317706/7916938521728725138699*c_1100_0^9 + 217943758482703111394755904/3392973652169453630871*c_1100_0^8 - 3335916164757282754921298509/23750815565186175416097*c_1100_0^7 - 814152522551418736114318544/23750815565186175416097*c_1100_0^6 + 1720040615578128614719189841/7916938521728725138699*c_1100_0^5 + 5698325958722128999362119146/23750815565186175416097*c_1100_0^4 + 1152763296596702392351076711/7916938521728725138699*c_1100_0^3 + 408995386689611154695889331/23750815565186175416097*c_1100_0^2 - 15943600958886991122282376/23750815565186175416097*c_1100_0 + 3845899958012613703930223/3392973652169453630871, c_0011_0 - 1, c_0011_3 + 3162316786689761476/36483587657736060547*c_1100_0^14 - 9098137362681048145/36483587657736060547*c_1100_0^13 - 65048199696347366657/36483587657736060547*c_1100_0^12 + 282475813927574759786/36483587657736060547*c_1100_0^11 - 387163279897116083025/36483587657736060547*c_1100_0^10 + 311546162965726881124/36483587657736060547*c_1100_0^9 + 742314984784288706414/36483587657736060547*c_1100_0^8 - 742578259266052843958/36483587657736060547*c_1100_0^7 - 481708542852863711018/36483587657736060547*c_1100_0^6 + 1186614433960814823201/36483587657736060547*c_1100_0^5 + 1646749374837523959205/36483587657736060547*c_1100_0^4 + 1081784811762243110167/36483587657736060547*c_1100_0^3 + 379000527446413197576/36483587657736060547*c_1100_0^2 + 12806370566206655777/36483587657736060547*c_1100_0 - 3172337025270074900/36483587657736060547, c_0011_5 - 37441700841815802823/36483587657736060547*c_1100_0^14 + 125930196683657071433/36483587657736060547*c_1100_0^13 + 703226426808598771319/36483587657736060547*c_1100_0^12 - 3663332926632727722237/36483587657736060547*c_1100_0^11 + 6458278260925793297797/36483587657736060547*c_1100_0^10 - 7460095304148585946893/36483587657736060547*c_1100_0^9 - 3767471914140717796419/36483587657736060547*c_1100_0^8 + 8732463435070661356882/36483587657736060547*c_1100_0^7 + 1735482499315445417215/36483587657736060547*c_1100_0^6 - 13187474699866339312597/36483587657736060547*c_1100_0^5 - 13975528016138406338933/36483587657736060547*c_1100_0^4 - 8207816834000676315927/36483587657736060547*c_1100_0^3 - 695947510523661572526/36483587657736060547*c_1100_0^2 + 142931385430013981786/36483587657736060547*c_1100_0 - 97772909407341996735/36483587657736060547, c_0101_0 + 71427672663274428377/36483587657736060547*c_1100_0^14 - 239479289425564507155/36483587657736060547*c_1100_0^13 - 1343642739210054829226/36483587657736060547*c_1100_0^12 + 6972675492600722767924/36483587657736060547*c_1100_0^11 - 12254232999194190735112/36483587657736060547*c_1100_0^10 + 14146207842474405642067/36483587657736060547*c_1100_0^9 + 7245767363763383814006/36483587657736060547*c_1100_0^8 - 16442327853939915339529/36483587657736060547*c_1100_0^7 - 3540388839813527659127/36483587657736060547*c_1100_0^6 + 25116173893971373006278/36483587657736060547*c_1100_0^5 + 26879934995451142768387/36483587657736060547*c_1100_0^4 + 16029876711970915645183/36483587657736060547*c_1100_0^3 + 1684050932229935336018/36483587657736060547*c_1100_0^2 - 84608304219118213966/36483587657736060547*c_1100_0 + 197948988282585094196/36483587657736060547, c_0101_3 + 36168706905327055898/36483587657736060547*c_1100_0^14 - 122367188788159452674/36483587657736060547*c_1100_0^13 - 676470507400096705163/36483587657736060547*c_1100_0^12 + 3550606912646830884734/36483587657736060547*c_1100_0^11 - 6316264813431070391054/36483587657736060547*c_1100_0^10 + 7376471631409840294561/36483587657736060547*c_1100_0^9 + 3398873266764876126347/36483587657736060547*c_1100_0^8 - 8377100328303384513480/36483587657736060547*c_1100_0^7 - 1518607162988192239702/36483587657736060547*c_1100_0^6 + 12650052052888639833541/36483587657736060547*c_1100_0^5 + 13299597765452710757565/36483587657736060547*c_1100_0^4 + 7798724977903623425657/36483587657736060547*c_1100_0^3 + 569707898261980899770/36483587657736060547*c_1100_0^2 - 79779480999818550814/36483587657736060547*c_1100_0 + 113525907713593436177/36483587657736060547, c_0110_2 + 29902193335224784086/36483587657736060547*c_1100_0^14 - 100563026321092001137/36483587657736060547*c_1100_0^13 - 561975123377300364123/36483587657736060547*c_1100_0^12 + 2926652733228984491164/36483587657736060547*c_1100_0^11 - 5150721967073225144758/36483587657736060547*c_1100_0^10 + 5921859741029238365447/36483587657736060547*c_1100_0^9 + 3068233548836624831709/36483587657736060547*c_1100_0^8 - 7012770682365887986119/36483587657736060547*c_1100_0^7 - 1490379627546749339514/36483587657736060547*c_1100_0^6 + 10729894988885102009588/36483587657736060547*c_1100_0^5 + 11135199259205332773835/36483587657736060547*c_1100_0^4 + 6347776529661903071349/36483587657736060547*c_1100_0^3 + 518245261534994368356/36483587657736060547*c_1100_0^2 - 62695710835889079272/36483587657736060547*c_1100_0 + 106527146814719244597/36483587657736060547, c_1001_0 - 36016524689680260989/36483587657736060547*c_1100_0^14 + 121580923080594614670/36483587657736060547*c_1100_0^13 + 674561702876215467100/36483587657736060547*c_1100_0^12 - 3530587332070304142179/36483587657736060547*c_1100_0^11 + 6262400221434657698651/36483587657736060547*c_1100_0^10 - 7297183002374201570622/36483587657736060547*c_1100_0^9 - 3436038465940950740321/36483587657736060547*c_1100_0^8 + 8302134459882571820565/36483587657736060547*c_1100_0^7 + 1612404779357480791454/36483587657736060547*c_1100_0^6 - 12627848962800080833107/36483587657736060547*c_1100_0^5 - 13308818972570374975719/36483587657736060547*c_1100_0^4 - 7880112821961038940213/36483587657736060547*c_1100_0^3 - 635178867836540748981/36483587657736060547*c_1100_0^2 + 85036707605318967364/36483587657736060547*c_1100_0 - 82153974572548122504/36483587657736060547, c_1001_3 - c_1100_0, c_1100_0^15 - 3*c_1100_0^14 - 20*c_1100_0^13 + 91*c_1100_0^12 - 137*c_1100_0^11 + 137*c_1100_0^10 + 172*c_1100_0^9 - 195*c_1100_0^8 - 132*c_1100_0^7 + 335*c_1100_0^6 + 502*c_1100_0^5 + 355*c_1100_0^4 + 99*c_1100_0^3 + 5*c_1100_0^2 + 2*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB