Magma V2.19-8 Tue Aug 20 2013 23:39:15 on localhost [Seed = 2901068025] Type ? for help. Type -D to quit. Loading file "K13n1416__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1416 geometric_solution 9.34676024 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 1 -1 0 0 0 11 -11 -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.620829541545 1.551410850485 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -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 11 0 -11 0 0 12 -12 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.123534023215 0.815419757564 8 0 3 6 0132 0132 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 -1 1 0 0 0 0 0 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.620829541545 1.551410850485 9 2 10 0 0132 3201 0132 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 -1 0 1 0 0 11 -11 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.310575052860 0.366842447598 8 10 0 9 3012 3120 0132 0213 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 0 0 0 -11 0 11 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.187025890402 1.649047842874 8 1 7 7 1023 0132 0213 3120 0 0 0 0 0 -1 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 0 0 0 0 -11 12 -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.256477380538 0.459835594347 9 2 1 10 2103 1302 0132 1230 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 0 11 -11 0 0 12 -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.932097685081 0.598709439122 5 5 8 1 3120 0213 1023 0132 0 0 0 0 0 -1 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 0 0 0 0 -12 12 0 12 0 0 -12 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.256477380538 0.459835594347 2 5 7 4 0132 1023 1023 1230 0 0 0 0 0 -1 0 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 -11 0 11 0 0 -12 12 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.123534023215 0.815419757564 3 10 6 4 0132 0213 2103 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.812974109598 1.649047842874 6 4 9 3 3012 3120 0213 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 11 0 0 -11 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.812974109598 1.649047842874 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_7'], 'c_1010_10' : negation(d['c_0011_4']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_3']), '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_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : d['c_1010_9'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_1010_9'], 'c_1100_3' : d['c_1010_9'], 'c_1100_2' : d['c_0011_3'], 'c_1100_10' : d['c_1010_9'], 'c_1010_7' : negation(d['c_0011_7']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0101_3']), '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_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_0110_10' : d['c_0101_3'], 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_3, c_0101_8, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 148231522852788796218/1913908343345876593*c_1010_9^16 - 1223659914883605478465/3827816686691753186*c_1010_9^15 + 618652304011245219301/1913908343345876593*c_1010_9^14 - 692443455483704679791/3827816686691753186*c_1010_9^13 + 1275976687008096418537/3827816686691753186*c_1010_9^12 - 1432742986043112982281/3827816686691753186*c_1010_9^11 + 3705453733805139436247/3827816686691753186*c_1010_9^10 - 1862838556702835677501/3827816686691753186*c_1010_9^9 + 572516335765349829512/1913908343345876593*c_1010_9^8 - 1702243801756622127395/3827816686691753186*c_1010_9^7 - 11269677599028774807/89018992713761702*c_1010_9^6 - 715111982334407936513/1913908343345876593*c_1010_9^5 - 290782563842298033105/3827816686691753186*c_1010_9^4 + 581929924211392399059/3827816686691753186*c_1010_9^3 + 424605530586362592197/3827816686691753186*c_1010_9^2 - 127695623681486591795/3827816686691753186*c_1010_9 + 29564284202502383109/3827816686691753186, c_0011_0 - 1, c_0011_10 + 7851420671301466830/1913908343345876593*c_1010_9^16 - 38604395930734884796/1913908343345876593*c_1010_9^15 + 58351731028134358829/1913908343345876593*c_1010_9^14 - 44541245142637399349/1913908343345876593*c_1010_9^13 + 48777678972361411042/1913908343345876593*c_1010_9^12 - 62637262973397280931/1913908343345876593*c_1010_9^11 + 125572728706805113056/1913908343345876593*c_1010_9^10 - 125443894093554230895/1913908343345876593*c_1010_9^9 + 65397707481308663084/1913908343345876593*c_1010_9^8 - 66452357384992553422/1913908343345876593*c_1010_9^7 + 274128850593683778/44509496356880851*c_1010_9^6 - 22155675889034429470/1913908343345876593*c_1010_9^5 + 14815757632073947365/1913908343345876593*c_1010_9^4 + 32110159876093289316/1913908343345876593*c_1010_9^3 - 4057296840857342811/1913908343345876593*c_1010_9^2 - 6724624357184863665/1913908343345876593*c_1010_9 + 372088411030748799/1913908343345876593, c_0011_3 - c_1010_9, c_0011_4 - 1079516022326363475/1913908343345876593*c_1010_9^16 + 6629854641327061146/1913908343345876593*c_1010_9^15 - 13241088895961759818/1913908343345876593*c_1010_9^14 + 10923492631943268847/1913908343345876593*c_1010_9^13 - 9844620231757246964/1913908343345876593*c_1010_9^12 + 14539186793150119282/1913908343345876593*c_1010_9^11 - 22586404608377058550/1913908343345876593*c_1010_9^10 + 33168250740517800327/1913908343345876593*c_1010_9^9 - 15293241255113492294/1913908343345876593*c_1010_9^8 + 15551798521651141416/1913908343345876593*c_1010_9^7 - 229464569414719687/44509496356880851*c_1010_9^6 + 447485980183180377/1913908343345876593*c_1010_9^5 - 9148975143031411182/1913908343345876593*c_1010_9^4 - 6517352001370831011/1913908343345876593*c_1010_9^3 + 2428429371436411484/1913908343345876593*c_1010_9^2 + 4877807976342931006/1913908343345876593*c_1010_9 + 182366490684693244/1913908343345876593, c_0011_6 + 2564219702506756707/1913908343345876593*c_1010_9^16 - 9076263068701306512/1913908343345876593*c_1010_9^15 + 4856096510689629801/1913908343345876593*c_1010_9^14 - 1067373845183751596/1913908343345876593*c_1010_9^13 + 8705935115400701208/1913908343345876593*c_1010_9^12 - 7248798815720849016/1913908343345876593*c_1010_9^11 + 26632747028238538937/1913908343345876593*c_1010_9^10 + 679807805520298512/1913908343345876593*c_1010_9^9 + 5595030861161146673/1913908343345876593*c_1010_9^8 - 9746601468857575255/1913908343345876593*c_1010_9^7 - 189743102531018736/44509496356880851*c_1010_9^6 - 15033796081477528242/1913908343345876593*c_1010_9^5 - 7865396599412704832/1913908343345876593*c_1010_9^4 + 2516421015125829715/1913908343345876593*c_1010_9^3 + 6640800837067888946/1913908343345876593*c_1010_9^2 + 802604378945925590/1913908343345876593*c_1010_9 - 992326299291981145/1913908343345876593, c_0011_7 + 997331821639201035/1913908343345876593*c_1010_9^16 - 5944406758977337068/1913908343345876593*c_1010_9^15 + 11912638867016647024/1913908343345876593*c_1010_9^14 - 11136420025115964948/1913908343345876593*c_1010_9^13 + 11057614142553725796/1913908343345876593*c_1010_9^12 - 15668228795235526506/1913908343345876593*c_1010_9^11 + 24393010269152654563/1913908343345876593*c_1010_9^10 - 33317155560261015378/1913908343345876593*c_1010_9^9 + 20986794840164095020/1913908343345876593*c_1010_9^8 - 18554260217175385560/1913908343345876593*c_1010_9^7 + 348367443508433486/44509496356880851*c_1010_9^6 - 6493259413114241067/1913908343345876593*c_1010_9^5 + 13091682784072214634/1913908343345876593*c_1010_9^4 + 4254764149933202728/1913908343345876593*c_1010_9^3 - 2471780696499858627/1913908343345876593*c_1010_9^2 - 1858682719639686322/1913908343345876593*c_1010_9 + 367022050974480136/1913908343345876593, c_0101_0 - 1079516022326363475/1913908343345876593*c_1010_9^16 + 6629854641327061146/1913908343345876593*c_1010_9^15 - 13241088895961759818/1913908343345876593*c_1010_9^14 + 10923492631943268847/1913908343345876593*c_1010_9^13 - 9844620231757246964/1913908343345876593*c_1010_9^12 + 14539186793150119282/1913908343345876593*c_1010_9^11 - 22586404608377058550/1913908343345876593*c_1010_9^10 + 33168250740517800327/1913908343345876593*c_1010_9^9 - 15293241255113492294/1913908343345876593*c_1010_9^8 + 15551798521651141416/1913908343345876593*c_1010_9^7 - 229464569414719687/44509496356880851*c_1010_9^6 + 447485980183180377/1913908343345876593*c_1010_9^5 - 9148975143031411182/1913908343345876593*c_1010_9^4 - 6517352001370831011/1913908343345876593*c_1010_9^3 + 2428429371436411484/1913908343345876593*c_1010_9^2 + 4877807976342931006/1913908343345876593*c_1010_9 + 182366490684693244/1913908343345876593, c_0101_1 + 4793635830322876194/1913908343345876593*c_1010_9^16 - 19910459593615442803/1913908343345876593*c_1010_9^15 + 19667995470919570373/1913908343345876593*c_1010_9^14 - 7423346645199286999/1913908343345876593*c_1010_9^13 + 13473736352556314307/1913908343345876593*c_1010_9^12 - 15775866326380845124/1913908343345876593*c_1010_9^11 + 52852013534749714025/1913908343345876593*c_1010_9^10 - 23321450248005512733/1913908343345876593*c_1010_9^9 + 1781792045627413205/1913908343345876593*c_1010_9^8 - 8895729096985179411/1913908343345876593*c_1010_9^7 - 543553834367699620/44509496356880851*c_1010_9^6 - 13177597091191311905/1913908343345876593*c_1010_9^5 - 10186083137165594222/1913908343345876593*c_1010_9^4 + 16975552281902941206/1913908343345876593*c_1010_9^3 + 2848495127420954121/1913908343345876593*c_1010_9^2 - 2751104744044322822/1913908343345876593*c_1010_9 + 603008562167231403/1913908343345876593, c_0101_3 - 1, c_0101_8 + 4793635830322876194/1913908343345876593*c_1010_9^16 - 19910459593615442803/1913908343345876593*c_1010_9^15 + 19667995470919570373/1913908343345876593*c_1010_9^14 - 7423346645199286999/1913908343345876593*c_1010_9^13 + 13473736352556314307/1913908343345876593*c_1010_9^12 - 15775866326380845124/1913908343345876593*c_1010_9^11 + 52852013534749714025/1913908343345876593*c_1010_9^10 - 23321450248005512733/1913908343345876593*c_1010_9^9 + 1781792045627413205/1913908343345876593*c_1010_9^8 - 8895729096985179411/1913908343345876593*c_1010_9^7 - 543553834367699620/44509496356880851*c_1010_9^6 - 13177597091191311905/1913908343345876593*c_1010_9^5 - 10186083137165594222/1913908343345876593*c_1010_9^4 + 16975552281902941206/1913908343345876593*c_1010_9^3 + 2848495127420954121/1913908343345876593*c_1010_9^2 - 2751104744044322822/1913908343345876593*c_1010_9 + 603008562167231403/1913908343345876593, c_1010_9^17 - 43/9*c_1010_9^16 + 7*c_1010_9^15 - 17/3*c_1010_9^14 + 58/9*c_1010_9^13 - 23/3*c_1010_9^12 + 142/9*c_1010_9^11 - 133/9*c_1010_9^10 + 82/9*c_1010_9^9 - 77/9*c_1010_9^8 + 4/3*c_1010_9^7 - 31/9*c_1010_9^6 + c_1010_9^5 + 31/9*c_1010_9^4 - 4/9*c_1010_9^3 - 5/9*c_1010_9^2 + 1/9*c_1010_9 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB