Magma V2.19-8 Tue Aug 20 2013 23:29:51 on localhost [Seed = 3153976812] Type ? for help. Type -D to quit. Loading file "K9a20__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a20 geometric_solution 8.28858904 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 9 1 2 2 3 0132 0132 1302 0132 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 1 0 0 -11 11 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.168093247971 0.609958684779 0 3 4 2 0132 2103 0132 1302 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 -12 12 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.213615890285 1.006717994678 0 0 1 5 2031 0132 2031 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 1 0 0 -1 -1 0 0 1 11 1 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580086997759 1.523735103344 6 1 0 4 0132 2103 0132 0132 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 1 -1 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371441753950 1.892194263727 6 5 3 1 3120 0321 0132 0132 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 0 0 0 0 -12 0 0 12 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032171100346 0.820954316263 7 7 2 4 0132 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293960613543 0.726823140988 3 8 7 4 0132 0132 0213 3120 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 0 0 -1 1 -11 0 -1 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687635848882 0.707877856571 5 6 8 5 0132 0213 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 1 0 -1 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.687635848882 0.707877856571 8 6 7 8 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871854013169 0.574573270411 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_8' : negation(d['c_0011_4']), 's_2_8' : 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' : 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' : negation(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_0011_3'], 'c_1100_5' : d['c_1001_4'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_4'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_1001_4']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_8' : d['c_0101_8'], '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' : negation(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' : negation(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' : d['c_0011_4'], 'c_0011_7' : negation(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' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : negation(d['c_0101_8']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1']})} 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_4, c_0011_5, c_0101_1, c_0101_2, c_0101_5, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 9231009826156520183/2643437039746799296*c_1001_4^15 - 19454374652355834283/2643437039746799296*c_1001_4^14 + 929879777484951261/94408465705242832*c_1001_4^13 + 19392725881348763751/660859259936699824*c_1001_4^12 - 403919934273903267/18485573704523072*c_1001_4^11 - 195054263582785733179/2643437039746799296*c_1001_4^10 - 826834849552976289/82607407492087478*c_1001_4^9 + 66835260343596001337/660859259936699824*c_1001_4^8 - 129763641110543343963/2643437039746799296*c_1001_4^7 - 679155521880290036627/2643437039746799296*c_1001_4^6 - 43456306633167084353/377633862820971328*c_1001_4^5 + 36843668156353786451/660859259936699824*c_1001_4^4 - 318802165192717359151/2643437039746799296*c_1001_4^3 - 414740516843326532431/2643437039746799296*c_1001_4^2 - 577325008682617390697/2643437039746799296*c_1001_4 - 158065135997869719141/2643437039746799296, c_0011_0 - 1, c_0011_3 - 1592854182680/41262441304739*c_1001_4^15 - 2104312422998/41262441304739*c_1001_4^14 + 6884584291728/41262441304739*c_1001_4^13 + 10210603485197/41262441304739*c_1001_4^12 - 17546423651768/41262441304739*c_1001_4^11 - 25677246950225/41262441304739*c_1001_4^10 + 10533513050589/41262441304739*c_1001_4^9 + 45142998054621/41262441304739*c_1001_4^8 - 36950238099228/41262441304739*c_1001_4^7 - 76570468682603/41262441304739*c_1001_4^6 + 15951566091484/41262441304739*c_1001_4^5 + 45067370144301/41262441304739*c_1001_4^4 - 41019635087348/41262441304739*c_1001_4^3 - 12744597556414/41262441304739*c_1001_4^2 - 55645398457202/41262441304739*c_1001_4 + 51496721730461/41262441304739, c_0011_4 + 3935481059422/41262441304739*c_1001_4^15 + 6682930448192/41262441304739*c_1001_4^14 - 13112892282389/41262441304739*c_1001_4^13 - 26660723682933/41262441304739*c_1001_4^12 + 31280184762123/41262441304739*c_1001_4^11 + 61681326704973/41262441304739*c_1001_4^10 - 6525500354961/41262441304739*c_1001_4^9 - 87375965652719/41262441304739*c_1001_4^8 + 96881708246036/41262441304739*c_1001_4^7 + 215748726185259/41262441304739*c_1001_4^6 + 14316315908082/41262441304739*c_1001_4^5 - 57110391544919/41262441304739*c_1001_4^4 + 165307193650956/41262441304739*c_1001_4^3 + 99285002052157/41262441304739*c_1001_4^2 + 162733146053434/41262441304739*c_1001_4 - 65976364215647/41262441304739, c_0011_5 - 2034463845012/41262441304739*c_1001_4^15 - 1259635189086/41262441304739*c_1001_4^14 + 12066678222162/41262441304739*c_1001_4^13 + 9034475162839/41262441304739*c_1001_4^12 - 36819630419061/41262441304739*c_1001_4^11 - 27561379381849/41262441304739*c_1001_4^10 + 46735713985665/41262441304739*c_1001_4^9 + 72702246872571/41262441304739*c_1001_4^8 - 81711543860730/41262441304739*c_1001_4^7 - 98602683243245/41262441304739*c_1001_4^6 + 94630174261318/41262441304739*c_1001_4^5 + 88547290904165/41262441304739*c_1001_4^4 - 66770046984972/41262441304739*c_1001_4^3 + 41057051118901/41262441304739*c_1001_4^2 - 84480609257770/41262441304739*c_1001_4 + 59213536655295/41262441304739, c_0101_1 - 2517465500888/41262441304739*c_1001_4^15 - 3883686481428/41262441304739*c_1001_4^14 + 10501386159574/41262441304739*c_1001_4^13 + 18437233645810/41262441304739*c_1001_4^12 - 29008990313771/41262441304739*c_1001_4^11 - 52076093133285/41262441304739*c_1001_4^10 + 21275649017713/41262441304739*c_1001_4^9 + 96157721909351/41262441304739*c_1001_4^8 - 60380662751767/41262441304739*c_1001_4^7 - 184033652724434/41262441304739*c_1001_4^6 - 10915848901127/41262441304739*c_1001_4^5 + 100489024591670/41262441304739*c_1001_4^4 - 94733672917293/41262441304739*c_1001_4^3 - 80394465844020/41262441304739*c_1001_4^2 - 125764125126290/41262441304739*c_1001_4 - 8434329355798/41262441304739, c_0101_2 - 441609662332/41262441304739*c_1001_4^15 + 844677233912/41262441304739*c_1001_4^14 + 5182093930434/41262441304739*c_1001_4^13 - 1176128322358/41262441304739*c_1001_4^12 - 19273206767293/41262441304739*c_1001_4^11 - 1884132431624/41262441304739*c_1001_4^10 + 36202200935076/41262441304739*c_1001_4^9 + 27559248817950/41262441304739*c_1001_4^8 - 44761305761502/41262441304739*c_1001_4^7 - 22032214560642/41262441304739*c_1001_4^6 + 78678608169834/41262441304739*c_1001_4^5 + 43479920759864/41262441304739*c_1001_4^4 - 25750411897624/41262441304739*c_1001_4^3 + 12539207370576/41262441304739*c_1001_4^2 - 28835210800568/41262441304739*c_1001_4 + 48979256229573/41262441304739, c_0101_5 - 2517465500888/41262441304739*c_1001_4^15 - 3883686481428/41262441304739*c_1001_4^14 + 10501386159574/41262441304739*c_1001_4^13 + 18437233645810/41262441304739*c_1001_4^12 - 29008990313771/41262441304739*c_1001_4^11 - 52076093133285/41262441304739*c_1001_4^10 + 21275649017713/41262441304739*c_1001_4^9 + 96157721909351/41262441304739*c_1001_4^8 - 60380662751767/41262441304739*c_1001_4^7 - 184033652724434/41262441304739*c_1001_4^6 - 10915848901127/41262441304739*c_1001_4^5 + 100489024591670/41262441304739*c_1001_4^4 - 94733672917293/41262441304739*c_1001_4^3 - 80394465844020/41262441304739*c_1001_4^2 - 125764125126290/41262441304739*c_1001_4 - 8434329355798/41262441304739, c_0101_8 + 9503079690117/41262441304739*c_1001_4^15 + 17449878502833/41262441304739*c_1001_4^14 - 29474302523207/41262441304739*c_1001_4^13 - 66644483868691/41262441304739*c_1001_4^12 + 72121943540318/41262441304739*c_1001_4^11 + 156024126378387/41262441304739*c_1001_4^10 - 12313702801578/41262441304739*c_1001_4^9 - 210372193354639/41262441304739*c_1001_4^8 + 230816217618846/41262441304739*c_1001_4^7 + 569910560749460/41262441304739*c_1001_4^6 + 116294131994395/41262441304739*c_1001_4^5 - 74913062507742/41262441304739*c_1001_4^4 + 452526422838488/41262441304739*c_1001_4^3 + 257902920892464/41262441304739*c_1001_4^2 + 484002793152136/41262441304739*c_1001_4 - 778094055032/41262441304739, c_1001_4^16 + 2*c_1001_4^15 - 3*c_1001_4^14 - 8*c_1001_4^13 + 7*c_1001_4^12 + 20*c_1001_4^11 + c_1001_4^10 - 28*c_1001_4^9 + 17*c_1001_4^8 + 70*c_1001_4^7 + 26*c_1001_4^6 - 15*c_1001_4^5 + 37*c_1001_4^4 + 38*c_1001_4^3 + 60*c_1001_4^2 + 14*c_1001_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB