Magma V2.19-8 Tue Aug 20 2013 23:38:23 on localhost [Seed = 1713373763] Type ? for help. Type -D to quit. Loading file "K14n13645__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13645 geometric_solution 9.34211642 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 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 -1 1 0 0 0 0 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.072022081116 0.782460087759 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -1 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 3 -3 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835847698479 0.694774760885 6 0 6 7 0132 0132 2310 1302 0 0 0 0 0 0 0 0 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 1 -1 0 3 0 -3 0 3 0 0 -3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502888388193 0.663332371408 7 8 9 0 1302 0132 0132 0132 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 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.027179333700 0.914072982519 8 5 0 9 3201 1230 0132 2310 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 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861029404662 0.889143162245 7 1 4 8 0213 0132 3012 3120 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 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.318850868962 0.692019804480 2 2 1 8 0132 3201 0132 3012 0 0 0 0 0 0 1 -1 -1 0 0 1 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 3 -4 -3 0 0 3 -1 1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723461010374 0.965366924117 5 3 2 1 0213 2031 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302709700313 0.802707653522 5 3 6 4 3120 0132 1230 2310 0 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 -1 -3 4 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.018264604687 0.884524690684 4 9 9 3 3201 3201 2310 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.383147262541 0.988722926788 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_9'], 'c_1001_2' : d['c_0101_8'], 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : d['c_1001_0'], 's_2_8' : d['1'], 's_2_9' : 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_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : d['c_0011_9'], 'c_1100_8' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0011_9'], 'c_1100_3' : d['c_0011_9'], 'c_1100_2' : d['c_0011_0'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_0101_8'], 'c_1010_9' : d['c_0101_9'], 'c_1010_8' : d['c_0101_9'], '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_9' : 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_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), '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_0'], '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_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_7']), '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_9'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0101_1']), '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_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_8, c_0101_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 9198075668195489466869/2066880495868823410677000*c_1001_0^11 + 13651492164516603071/62632742299055254869000*c_1001_0^10 + 29016450806082165007349/1033440247934411705338500*c_1001_0^9 + 46359987073287966723373/1033440247934411705338500*c_1001_0^8 - 69842263408032177572707/1033440247934411705338500*c_1001_0^7 + 307048887231177270532849/2066880495868823410677000*c_1001_0^6 - 1567890135161711361502969/2066880495868823410677000*c_1001_0^5 - 529400632749246430231693/2066880495868823410677000*c_1001_0^4 - 2387595133124703463650743/1033440247934411705338500*c_1001_0^3 - 30285611345794466009707/258360061983602926334625*c_1001_0^2 + 110403342261669655169503/2066880495868823410677000*c_1001_0 - 139172511457361939169293/516720123967205852669250, c_0011_0 - 1, c_0011_3 + 3208663280193/637644010059076*c_1001_0^11 + 7030561676/159411002514769*c_1001_0^10 + 6035435490833/159411002514769*c_1001_0^9 + 15668650697275/318822005029538*c_1001_0^8 - 6207163518687/159411002514769*c_1001_0^7 + 163576274394993/637644010059076*c_1001_0^6 - 146654378251022/159411002514769*c_1001_0^5 + 32039570153181/637644010059076*c_1001_0^4 - 2123535638249269/637644010059076*c_1001_0^3 - 229251800992967/637644010059076*c_1001_0^2 - 847286820530849/318822005029538*c_1001_0 - 83471549285222/159411002514769, c_0011_4 - 1, c_0011_7 - 3392983275497/637644010059076*c_1001_0^11 - 1154567138395/637644010059076*c_1001_0^10 - 5957100941997/159411002514769*c_1001_0^9 - 23484258508283/318822005029538*c_1001_0^8 + 13090026107799/318822005029538*c_1001_0^7 - 154814739163205/637644010059076*c_1001_0^6 + 507131742998637/637644010059076*c_1001_0^5 + 367130034362807/637644010059076*c_1001_0^4 + 983535439745155/318822005029538*c_1001_0^3 + 659665585240837/318822005029538*c_1001_0^2 + 1190684819775291/637644010059076*c_1001_0 + 860328900759255/318822005029538, c_0011_9 + 391051704485/318822005029538*c_1001_0^11 + 303054409644/159411002514769*c_1001_0^10 + 1609519844969/159411002514769*c_1001_0^9 + 4771026374108/159411002514769*c_1001_0^8 + 3111400629416/159411002514769*c_1001_0^7 + 22743915020513/318822005029538*c_1001_0^6 - 14203488607460/159411002514769*c_1001_0^5 - 127636426986365/318822005029538*c_1001_0^4 - 357521602802845/318822005029538*c_1001_0^3 - 507548486377321/318822005029538*c_1001_0^2 - 371567352548355/159411002514769*c_1001_0 - 181888823164999/159411002514769, c_0101_0 - 2996323016595/637644010059076*c_1001_0^11 + 952670480404/159411002514769*c_1001_0^10 - 5396684206524/159411002514769*c_1001_0^9 - 1344621642577/318822005029538*c_1001_0^8 + 15600919500829/159411002514769*c_1001_0^7 - 182518024769243/637644010059076*c_1001_0^6 + 176368749968849/159411002514769*c_1001_0^5 - 713817965265383/637644010059076*c_1001_0^4 + 1932389345118123/637644010059076*c_1001_0^3 - 2147950341542543/637644010059076*c_1001_0^2 + 634358946278869/318822005029538*c_1001_0 - 264809365875752/159411002514769, c_0101_1 + 340573040155/637644010059076*c_1001_0^11 - 391051704485/318822005029538*c_1001_0^10 + 378091670666/159411002514769*c_1001_0^9 - 1516174489163/318822005029538*c_1001_0^8 - 5111599414263/159411002514769*c_1001_0^7 + 5604768610551/637644010059076*c_1001_0^6 - 54757780795083/318822005029538*c_1001_0^5 + 65328280433715/637644010059076*c_1001_0^4 - 12076982548945/637644010059076*c_1001_0^3 + 704485441360885/637644010059076*c_1001_0^2 + 176293876553398/159411002514769*c_1001_0 + 207728900511571/159411002514769, c_0101_8 + 12042181096381/1275288020118152*c_1001_0^11 - 580572129481/637644010059076*c_1001_0^10 + 22089455221633/318822005029538*c_1001_0^9 + 55166297502653/637644010059076*c_1001_0^8 - 14819911236897/159411002514769*c_1001_0^7 + 539476148399057/1275288020118152*c_1001_0^6 - 1141075932368927/637644010059076*c_1001_0^5 + 170536452541889/1275288020118152*c_1001_0^4 - 8204945521660175/1275288020118152*c_1001_0^3 + 933564560735515/1275288020118152*c_1001_0^2 - 1384945617706389/318822005029538*c_1001_0 + 225825691656467/318822005029538, c_0101_9 + 4119394699265/637644010059076*c_1001_0^11 - 217618488209/318822005029538*c_1001_0^10 + 6819644932230/159411002514769*c_1001_0^9 + 19416096518287/318822005029538*c_1001_0^8 - 12485253970345/159411002514769*c_1001_0^7 + 171782603370273/637644010059076*c_1001_0^6 - 344558430158687/318822005029538*c_1001_0^5 - 33147658957771/637644010059076*c_1001_0^4 - 2432170377528111/637644010059076*c_1001_0^3 + 229887377777743/637644010059076*c_1001_0^2 - 388793648395215/159411002514769*c_1001_0 + 71419195718749/159411002514769, c_1001_0^12 + 8*c_1001_0^10 + 10*c_1001_0^9 - 4*c_1001_0^8 + 53*c_1001_0^7 - 188*c_1001_0^6 + 25*c_1001_0^5 - 785*c_1001_0^4 - 31*c_1001_0^3 - 910*c_1001_0^2 - 52*c_1001_0 - 264 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB