Magma V2.19-8 Tue Aug 20 2013 23:57:55 on localhost [Seed = 3549805426] Type ? for help. Type -D to quit. Loading file "L14n38399__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n38399 geometric_solution 11.53904580 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 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 1 0 -1 0 0 0 0 -4 3 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612028753933 0.828642731025 0 4 6 5 0132 0132 0132 0132 1 1 0 0 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 1 -1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.326377758895 0.932455723355 7 0 5 8 0132 0132 0213 0132 1 1 0 0 0 0 0 0 -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 0 1 3 0 0 -3 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.406154762845 0.736577178228 7 9 10 0 2031 0132 0132 0132 1 1 0 1 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 1 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216529641650 0.788067125924 8 1 0 9 0132 0132 0132 1230 1 1 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 1 -1 0 0 0 0 0 4 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612028753933 0.828642731025 11 2 1 10 0132 0213 0132 3120 1 1 1 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 1 0 3 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610596232706 0.920052977113 8 7 10 1 3120 0321 0213 0132 1 1 0 1 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 3 0 0 -3 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.610596232706 0.920052977113 2 11 3 6 0132 1302 1302 0321 1 1 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 -3 0 4 -1 -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.609182047954 0.671085174684 4 11 2 6 0132 3120 0132 3120 1 1 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 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.406154762845 0.736577178228 4 3 11 10 3012 0132 3120 3012 1 1 1 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 0 0 0 1 0 -1 0 0 -4 0 4 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634452863119 0.638175317092 5 6 9 3 3120 0213 1230 0132 1 1 1 1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.332342907358 1.371068596073 5 8 9 7 0132 3120 3120 2031 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 0 0 0 0 0 3 -3 -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.258413711720 0.816943909436 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_0']), 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0101_9'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_10' : d['1'], 's_2_11' : 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' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0110_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0011_10']), '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_11'], '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_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : 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' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_9, c_0110_9, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 43075345042481105/26778279144928*c_1001_2^9 - 403850088005317/178720439232*c_1001_2^8 + 991212048546637883/241004512304352*c_1001_2^7 + 4695876048337632925/1446027073826112*c_1001_2^6 + 2481632905873182965/723013536913056*c_1001_2^5 - 391179930040983431/120502256152176*c_1001_2^4 - 1970084511773695933/90376692114132*c_1001_2^3 + 9326149031799673417/482009024608704*c_1001_2^2 + 3103012406740682813/723013536913056*c_1001_2 + 239197609278012305/180753384228264, c_0011_0 - 1, c_0011_10 + 1527950583/18212976488*c_1001_2^9 + 195045/44859548*c_1001_2^8 - 6592638805/18212976488*c_1001_2^7 + 90936851/1951390338*c_1001_2^6 + 146431184/2276622061*c_1001_2^5 + 5586911131/9106488244*c_1001_2^4 + 1941481555/2601853784*c_1001_2^3 - 15233312323/6829866183*c_1001_2^2 + 2906392316/2276622061*c_1001_2 - 460112759/2276622061, c_0011_11 - 4524834819/18212976488*c_1001_2^9 - 6622721/44859548*c_1001_2^8 + 47092061227/54638929464*c_1001_2^7 - 2299408073/5854171014*c_1001_2^6 - 1658851372/20489598549*c_1001_2^5 - 20301607705/27319464732*c_1001_2^4 - 67731714079/23416684056*c_1001_2^3 + 14279889412/2276622061*c_1001_2^2 - 77423236063/20489598549*c_1001_2 - 2912253163/20489598549, c_0011_3 + 667615137/1300926892*c_1001_2^9 + 5919572/11214887*c_1001_2^8 - 5978503277/3902780676*c_1001_2^7 - 2247863653/5854171014*c_1001_2^6 - 1695771347/2927085507*c_1001_2^5 + 1119266001/650463446*c_1001_2^4 + 78009220295/11708342028*c_1001_2^3 - 6063732321/650463446*c_1001_2^2 + 5396391307/2927085507*c_1001_2 + 1029423505/2927085507, c_0101_0 - 1, c_0101_1 - 296390667/2276622061*c_1001_2^9 - 6170861/22429774*c_1001_2^8 + 678606802/6829866183*c_1001_2^7 + 158758223/5854171014*c_1001_2^6 + 433542910/20489598549*c_1001_2^5 + 201012381/2276622061*c_1001_2^4 - 5009961169/2927085507*c_1001_2^3 + 3691014135/4553244122*c_1001_2^2 + 18761224564/20489598549*c_1001_2 - 21687407636/20489598549, c_0101_10 - 326756715/18212976488*c_1001_2^9 + 2717363/44859548*c_1001_2^8 + 5722064171/54638929464*c_1001_2^7 - 1136416309/5854171014*c_1001_2^6 - 2988537833/20489598549*c_1001_2^5 - 18266103721/27319464732*c_1001_2^4 + 1898994841/23416684056*c_1001_2^3 + 11784789931/6829866183*c_1001_2^2 - 13436365373/20489598549*c_1001_2 - 11219193284/20489598549, c_0101_11 - 244694382/2276622061*c_1001_2^9 + 736373/22429774*c_1001_2^8 + 3868021775/6829866183*c_1001_2^7 - 1160976461/5854171014*c_1001_2^6 + 3461034872/20489598549*c_1001_2^5 - 3939044771/6829866183*c_1001_2^4 - 5740802177/2927085507*c_1001_2^3 + 52207736179/13659732366*c_1001_2^2 - 40172466883/20489598549*c_1001_2 + 5711342201/20489598549, c_0101_9 - 3103232193/18212976488*c_1001_2^9 - 18376455/44859548*c_1001_2^8 - 710884597/18212976488*c_1001_2^7 + 307184507/1951390338*c_1001_2^6 + 4694852276/6829866183*c_1001_2^5 + 12737701153/27319464732*c_1001_2^4 - 17038239175/7805561352*c_1001_2^3 + 1450598413/6829866183*c_1001_2^2 - 1169597197/6829866183*c_1001_2 + 4266647836/6829866183, c_0110_9 - 31476381/314016836*c_1001_2^9 - 3454865/22429774*c_1001_2^8 + 141972473/942050508*c_1001_2^7 + 2755535/100933983*c_1001_2^6 + 254436314/706537881*c_1001_2^5 + 53109271/157008418*c_1001_2^4 - 489661301/403735932*c_1001_2^3 + 149171650/235512627*c_1001_2^2 - 441667510/706537881*c_1001_2 + 361046576/706537881, c_1001_0 + 5446213329/18212976488*c_1001_2^9 + 21052889/44859548*c_1001_2^8 - 30785535841/54638929464*c_1001_2^7 - 1921743500/2927085507*c_1001_2^6 - 19237246730/20489598549*c_1001_2^5 + 6323973837/9106488244*c_1001_2^4 + 97314753133/23416684056*c_1001_2^3 - 29754220819/13659732366*c_1001_2^2 - 19071706046/20489598549*c_1001_2 - 11306029766/20489598549, c_1001_2^10 + 2/3*c_1001_2^9 - 31/9*c_1001_2^8 + 8/27*c_1001_2^7 - 4/9*c_1001_2^6 + 94/27*c_1001_2^5 + 313/27*c_1001_2^4 - 604/27*c_1001_2^3 + 212/27*c_1001_2^2 + 16/9*c_1001_2 + 16/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB