Magma V2.19-8 Wed Aug 21 2013 01:05:31 on localhost [Seed = 71441537] Type ? for help. Type -D to quit. Loading file "L14n26038__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n26038 geometric_solution 10.80389063 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 2310 0132 0132 1 0 0 1 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 1 0 -1 2 0 -2 0 2 -2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.073883799406 0.787434454563 0 4 4 0 0132 0132 3201 3201 1 0 1 0 0 0 0 0 1 0 0 -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 -2 0 0 2 1 0 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.274177553875 0.976669622154 5 6 7 0 0132 0132 0132 0132 1 0 1 1 0 0 0 0 1 0 0 -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 -3 0 1 2 0 1 0 -1 6 1 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.254688936674 1.162696795284 8 6 0 7 0132 2031 0132 0132 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 0 0 0 0 0 -1 1 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.311304992646 0.960018961499 1 1 6 9 2310 0132 3120 0132 1 0 0 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 -2 0 3 -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.734675423282 0.984852687602 2 7 6 9 0132 3120 0132 0321 1 0 1 1 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 0 0 0 3 0 -3 0 -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.316716458938 1.184174510763 3 2 4 5 1302 0132 3120 0132 1 0 1 1 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 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.397402666280 0.279569125722 10 5 3 2 0132 3120 0132 0132 1 0 1 1 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 -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.296171730567 0.669841358803 3 10 11 12 0132 1302 0132 0132 0 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 0 0 0 0 0 -1 1 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.287593116683 1.537953744102 11 5 4 10 1023 0321 0132 2031 1 0 1 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 -1 0 1 0 -1 -6 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410703775239 0.806298615977 7 9 11 8 0132 1302 1302 2031 0 0 1 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 -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 -1.254541261309 1.378985489928 10 9 12 8 2031 1023 2310 0132 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 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.287593116683 1.537953744102 12 11 8 12 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317797375775 0.405079456847 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : d['c_0101_7'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : negation(d['c_0011_2']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_2'], 'c_1001_9' : negation(d['c_0101_4']), 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0101_1'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), '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_12' : 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' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_2'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : d['c_0011_12'], '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'], 'c_1100_12' : d['c_0011_12'], '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_11'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : d['c_0011_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], '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' : negation(d['c_0101_1']), 'c_0101_8' : d['c_0101_7'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], '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_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_0'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_0101_7, c_1001_0, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 66035504760121016265667/197104983492508740608*c_1100_0^15 + 51055159281452884815547/197104983492508740608*c_1100_0^14 - 673340654107554509135589/197104983492508740608*c_1100_0^13 - 15211231135833676015427/197104983492508740608*c_1100_0^12 - 6590558220045892652326513/197104983492508740608*c_1100_0^11 - 7976369408163361904533439/197104983492508740608*c_1100_0^10 - 763790987299317938251/12016398432756736*c_1100_0^9 + 6135948894229711918805219/197104983492508740608*c_1100_0^8 + 2477714598045987305913043/98552491746254370304*c_1100_0^7 + 556763582278134263164965/24638122936563592576*c_1100_0^6 + 6229660629961694955994399/49276245873127185152*c_1100_0^5 - 3767877854012921544339697/98552491746254370304*c_1100_0^4 + 6299712270845955970246537/98552491746254370304*c_1100_0^3 - 18135059384842379667145/769941341767612268*c_1100_0^2 + 592496264912202207612123/98552491746254370304*c_1100_0 - 339540182922121440032337/98552491746254370304, c_0011_0 - 1, c_0011_10 + 16759154074699/27101038185856*c_1100_0^15 - 3405459968381/27101038185856*c_1100_0^14 + 164748699008101/27101038185856*c_1100_0^13 + 100961759780749/27101038185856*c_1100_0^12 + 1687983073240905/27101038185856*c_1100_0^11 + 2984152836215433/27101038185856*c_1100_0^10 + 12800725407077/77653404544*c_1100_0^9 + 474371472901775/27101038185856*c_1100_0^8 - 866650791756037/13550519092928*c_1100_0^7 - 212737286001543/3387629773232*c_1100_0^6 - 1735359699896863/6775259546464*c_1100_0^5 - 957761257324259/13550519092928*c_1100_0^4 - 1377833542326747/13550519092928*c_1100_0^3 - 101929626091421/3387629773232*c_1100_0^2 - 66594812316663/13550519092928*c_1100_0 + 4466276637471/13550519092928, c_0011_11 + 4135102128451/27101038185856*c_1100_0^15 - 277109948527/27101038185856*c_1100_0^14 + 40996335362793/27101038185856*c_1100_0^13 + 30754190618507/27101038185856*c_1100_0^12 + 424163902153297/27101038185856*c_1100_0^11 + 799415753433411/27101038185856*c_1100_0^10 + 3581428671521/77653404544*c_1100_0^9 + 385349558750237/27101038185856*c_1100_0^8 - 117910048693787/13550519092928*c_1100_0^7 - 52716853340937/3387629773232*c_1100_0^6 - 476537596755911/6775259546464*c_1100_0^5 - 428677266420951/13550519092928*c_1100_0^4 - 454994084341525/13550519092928*c_1100_0^3 - 49890796195083/3387629773232*c_1100_0^2 - 56013402419263/13550519092928*c_1100_0 + 1211063697641/13550519092928, c_0011_12 + 6657055999409/54202076371712*c_1100_0^15 + 8304021836337/54202076371712*c_1100_0^14 + 62704477104659/54202076371712*c_1100_0^13 + 134804062358411/54202076371712*c_1100_0^12 + 720943206465259/54202076371712*c_1100_0^11 + 2150135926513075/54202076371712*c_1100_0^10 + 9776380564587/155306809088*c_1100_0^9 + 2589812974209609/54202076371712*c_1100_0^8 - 351978641998491/27101038185856*c_1100_0^7 - 222256636473031/6775259546464*c_1100_0^6 - 898514798657473/13550519092928*c_1100_0^5 - 2238026507130881/27101038185856*c_1100_0^4 - 904063233394809/27101038185856*c_1100_0^3 - 113252201412661/3387629773232*c_1100_0^2 - 190621254214737/27101038185856*c_1100_0 - 60239230922103/27101038185856, c_0011_2 + 1942619682247/13550519092928*c_1100_0^15 - 125906463803/13550519092928*c_1100_0^14 + 19208668280911/13550519092928*c_1100_0^13 + 14444028215889/13550519092928*c_1100_0^12 + 198847776335949/13550519092928*c_1100_0^11 + 375204100485919/13550519092928*c_1100_0^10 + 1670275881555/38826702272*c_1100_0^9 + 168558226789583/13550519092928*c_1100_0^8 - 64886514759601/6775259546464*c_1100_0^7 - 25103602057399/1693814886616*c_1100_0^6 - 216944358247587/3387629773232*c_1100_0^5 - 185783159479451/6775259546464*c_1100_0^4 - 200028925906317/6775259546464*c_1100_0^3 - 41898700612131/3387629773232*c_1100_0^2 - 20633309045457/6775259546464*c_1100_0 - 2766646597301/6775259546464, c_0011_3 + 4135102128451/27101038185856*c_1100_0^15 - 277109948527/27101038185856*c_1100_0^14 + 40996335362793/27101038185856*c_1100_0^13 + 30754190618507/27101038185856*c_1100_0^12 + 424163902153297/27101038185856*c_1100_0^11 + 799415753433411/27101038185856*c_1100_0^10 + 3581428671521/77653404544*c_1100_0^9 + 385349558750237/27101038185856*c_1100_0^8 - 117910048693787/13550519092928*c_1100_0^7 - 52716853340937/3387629773232*c_1100_0^6 - 476537596755911/6775259546464*c_1100_0^5 - 428677266420951/13550519092928*c_1100_0^4 - 454994084341525/13550519092928*c_1100_0^3 - 49890796195083/3387629773232*c_1100_0^2 - 56013402419263/13550519092928*c_1100_0 + 1211063697641/13550519092928, c_0101_0 - 1159211833151/6775259546464*c_1100_0^15 - 849875190265/13550519092928*c_1100_0^14 - 2815421673203/1693814886616*c_1100_0^13 - 26765762143193/13550519092928*c_1100_0^12 - 120743215038525/6775259546464*c_1100_0^11 - 544209788514307/13550519092928*c_1100_0^10 - 610225469993/9706675568*c_1100_0^9 - 400458673529877/13550519092928*c_1100_0^8 + 118666989086289/6775259546464*c_1100_0^7 + 12854472291271/423453721654*c_1100_0^6 + 67413387962561/846907443308*c_1100_0^5 + 23664650494251/423453721654*c_1100_0^4 + 260332108374827/6775259546464*c_1100_0^3 + 18109441996425/846907443308*c_1100_0^2 + 18564162030711/3387629773232*c_1100_0 + 9703800797837/6775259546464, c_0101_1 - 1, c_0101_11 - 11242365291029/54202076371712*c_1100_0^15 + 7120805518839/54202076371712*c_1100_0^14 - 112821974633599/54202076371712*c_1100_0^13 - 18741821894371/54202076371712*c_1100_0^12 - 1116688152888951/54202076371712*c_1100_0^11 - 1511266796503259/54202076371712*c_1100_0^10 - 6487653474775/155306809088*c_1100_0^9 + 850608033015607/54202076371712*c_1100_0^8 + 565072325846115/27101038185856*c_1100_0^7 + 107052633123551/6775259546464*c_1100_0^6 + 1061236347606709/13550519092928*c_1100_0^5 - 364534515995379/27101038185856*c_1100_0^4 + 891422992239721/27101038185856*c_1100_0^3 - 17166572550773/1693814886616*c_1100_0^2 - 2794854309891/27101038185856*c_1100_0 - 26946599593873/27101038185856, c_0101_4 - 4261043348549/13550519092928*c_1100_0^15 - 361984363231/6775259546464*c_1100_0^14 - 41732041666535/13550519092928*c_1100_0^13 - 20604895179541/6775259546464*c_1100_0^12 - 440334206412999/13550519092928*c_1100_0^11 - 459706944500113/6775259546464*c_1100_0^10 - 4111177761527/38826702272*c_1100_0^9 - 142254225079865/3387629773232*c_1100_0^8 + 91776751922945/3387629773232*c_1100_0^7 + 76521491222483/1693814886616*c_1100_0^6 + 486597910097831/3387629773232*c_1100_0^5 + 564417567387467/6775259546464*c_1100_0^4 + 57545129285143/846907443308*c_1100_0^3 + 114336468597831/3387629773232*c_1100_0^2 + 57761633106879/6775259546464*c_1100_0 + 6235223697569/3387629773232, c_0101_7 + 2324819386109/13550519092928*c_1100_0^15 - 603268624635/6775259546464*c_1100_0^14 + 23117702671967/13550519092928*c_1100_0^13 + 3326954032755/6775259546464*c_1100_0^12 + 230728162088871/13550519092928*c_1100_0^11 + 169818226811319/6775259546464*c_1100_0^10 + 1428303868807/38826702272*c_1100_0^9 - 15213368865537/1693814886616*c_1100_0^8 - 66256504945891/3387629773232*c_1100_0^7 - 26793133282625/1693814886616*c_1100_0^6 - 233609765926263/3387629773232*c_1100_0^5 + 27046723584061/6775259546464*c_1100_0^4 - 35869162407087/1693814886616*c_1100_0^3 + 12559946875953/3387629773232*c_1100_0^2 + 18754246797737/6775259546464*c_1100_0 + 4267488460621/3387629773232, c_1001_0 - 249862763957/27101038185856*c_1100_0^15 + 25297020921/27101038185856*c_1100_0^14 - 2578998800971/27101038185856*c_1100_0^13 - 1866134186729/27101038185856*c_1100_0^12 - 26468349481399/27101038185856*c_1100_0^11 - 49007552461573/27101038185856*c_1100_0^10 - 240876908411/77653404544*c_1100_0^9 - 48233105171071/27101038185856*c_1100_0^8 - 11862980825415/13550519092928*c_1100_0^7 + 2509649226139/3387629773232*c_1100_0^6 + 42648880260737/6775259546464*c_1100_0^5 + 57110947462049/13550519092928*c_1100_0^4 + 54936232528891/13550519092928*c_1100_0^3 + 999011947869/423453721654*c_1100_0^2 + 14746784328349/13550519092928*c_1100_0 + 6806162200685/13550519092928, c_1100_0^16 + 10*c_1100_0^14 + 8*c_1100_0^13 + 104*c_1100_0^12 + 200*c_1100_0^11 + 324*c_1100_0^10 + 122*c_1100_0^9 - 39*c_1100_0^8 - 114*c_1100_0^7 - 460*c_1100_0^6 - 222*c_1100_0^5 - 272*c_1100_0^4 - 110*c_1100_0^3 - 50*c_1100_0^2 - 12*c_1100_0 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.450 Total time: 0.650 seconds, Total memory usage: 32.09MB