Magma V2.19-8 Tue Aug 20 2013 23:52:56 on localhost [Seed = 2362107720] Type ? for help. Type -D to quit. Loading file "L13n4462__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4462 geometric_solution 10.99298291 oriented_manifold CS_known -0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 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 0 0 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 1.057900927250 0.525674821961 0 5 6 2 0132 0132 0132 2310 1 1 1 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.004868568672 0.429291988107 1 0 7 6 3201 0132 0132 0321 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628687381930 0.611505265166 7 5 5 0 0213 0321 3201 0132 1 1 1 0 0 1 -1 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 -2 1 1 -1 0 2 -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.668632984351 0.457317761525 8 9 0 9 0132 0132 0132 1302 1 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 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 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.369233878601 0.884372876629 3 1 10 3 2310 0132 0132 0321 1 0 1 1 0 0 1 -1 0 0 0 0 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 0 -2 2 1 0 -1 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.668632984351 0.457317761525 10 2 9 1 1302 0321 1302 0132 1 1 1 1 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 2 0 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731438781183 0.722559390784 3 11 11 2 0213 0132 1302 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 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.059757511823 0.982931320627 4 10 11 10 0132 1023 2031 1302 0 1 1 1 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 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.240075068988 1.130193345312 6 4 4 11 2031 0132 2031 0132 1 1 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 -1 1 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235084351564 0.554768026471 8 6 8 5 1023 2031 2031 0132 1 0 1 1 0 1 0 -1 -1 0 1 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 2 0 0 -1 1 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.240075068988 1.130193345312 7 7 9 8 2031 0132 0132 1302 1 1 0 1 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.938376843496 1.013618685852 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0011_6'], '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' : d['c_0101_8'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : negation(d['c_0101_5']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_8'], 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_0101_5'], '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_10'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_11']), '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_0']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], '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_6']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : negation(d['c_0101_0']), '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_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_8, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 35529479266529526049666542848/124697498197852752034168747815*c_1001\ _11^12 - 6972359354935984018067595568/11336136199804795639469886165\ *c_1001_11^11 - 286144325802792645683684278/83131665465235168022779\ 16521*c_1001_11^10 + 231970790387424028346924235463/124697498197852\ 752034168747815*c_1001_11^9 + 155809317841718386867417530116/249394\ 99639570550406833749563*c_1001_11^8 - 59984994997821512333693235859/41565832732617584011389582605*c_1001_\ 11^7 + 9332477972421362552479669184/24939499639570550406833749563*c\ _1001_11^6 - 47594064640502999438199002635/249394996395705504068337\ 49563*c_1001_11^5 + 157143710639164379800429971154/7335146952814867\ 766715808695*c_1001_11^4 - 4757221542719835948790718176958/12469749\ 8197852752034168747815*c_1001_11^3 + 3892986527803147693628502494479/124697498197852752034168747815*c_10\ 01_11^2 - 1404653668999888881712283921866/1246974981978527520341687\ 47815*c_1001_11 + 338622773254025984604913203121/124697498197852752\ 034168747815, c_0011_0 - 1, c_0011_10 + 101378018248502488/1575192127003207693*c_1001_11^12 + 647061796160438009/1575192127003207693*c_1001_11^11 + 1781713940925053055/1575192127003207693*c_1001_11^10 + 3068952070425892775/1575192127003207693*c_1001_11^9 + 2909859285239000033/1575192127003207693*c_1001_11^8 + 1773378733332822882/1575192127003207693*c_1001_11^7 + 3829083990810802012/1575192127003207693*c_1001_11^6 + 3483353163359328156/1575192127003207693*c_1001_11^5 - 1133378726232421127/1575192127003207693*c_1001_11^4 - 5674172284379440670/1575192127003207693*c_1001_11^3 + 11037805400812019180/1575192127003207693*c_1001_11^2 - 9662832853662674919/1575192127003207693*c_1001_11 + 3333783717803979321/1575192127003207693, c_0011_11 + 1, c_0011_6 - 786702134406779688/1575192127003207693*c_1001_11^12 - 2338657808279437191/1575192127003207693*c_1001_11^11 - 3192869508159452697/1575192127003207693*c_1001_11^10 - 2235355471412651128/1575192127003207693*c_1001_11^9 + 6369483758226093515/1575192127003207693*c_1001_11^8 - 9011114821530818054/1575192127003207693*c_1001_11^7 - 1495370505813650197/1575192127003207693*c_1001_11^6 - 9061695945154071324/1575192127003207693*c_1001_11^5 + 48258196816114019142/1575192127003207693*c_1001_11^4 - 83822846655497080976/1575192127003207693*c_1001_11^3 + 75672693168581716739/1575192127003207693*c_1001_11^2 - 36287775010334848011/1575192127003207693*c_1001_11 + 9093416353026304608/1575192127003207693, c_0101_0 + 666976827547416552/1575192127003207693*c_1001_11^12 + 2329750095307059551/1575192127003207693*c_1001_11^11 + 4037687371647601279/1575192127003207693*c_1001_11^10 + 4385256273405745164/1575192127003207693*c_1001_11^9 - 2619894035848270216/1575192127003207693*c_1001_11^8 + 6357259093074984813/1575192127003207693*c_1001_11^7 + 2833428298977621239/1575192127003207693*c_1001_11^6 + 9089372987520810491/1575192127003207693*c_1001_11^5 - 35590856206397917853/1575192127003207693*c_1001_11^4 + 53873059817311001600/1575192127003207693*c_1001_11^3 - 42964018558667923174/1575192127003207693*c_1001_11^2 + 17157374114938293125/1575192127003207693*c_1001_11 - 1544847499623740434/1575192127003207693, c_0101_1 - 563016555073118160/1575192127003207693*c_1001_11^12 - 2226637526224379302/1575192127003207693*c_1001_11^11 - 4435028387917871829/1575192127003207693*c_1001_11^10 - 5674449419737448968/1575192127003207693*c_1001_11^9 - 124298296286955899/1575192127003207693*c_1001_11^8 - 4911757020260630993/1575192127003207693*c_1001_11^7 - 4217322250202317626/1575192127003207693*c_1001_11^6 - 10183410746283900269/1575192127003207693*c_1001_11^5 + 24930086493031705330/1575192127003207693*c_1001_11^4 - 34458403616127244434/1575192127003207693*c_1001_11^3 + 20810123183523772146/1575192127003207693*c_1001_11^2 - 8551264244842187229/1575192127003207693*c_1001_11 + 444148471304180405/1575192127003207693, c_0101_10 - 1997435001890855552/14176729143028869237*c_1001_11^12 - 6023088544404714776/14176729143028869237*c_1001_11^11 - 891885515652283631/1575192127003207693*c_1001_11^10 - 4317478602526313717/14176729143028869237*c_1001_11^9 + 19825610509680028399/14176729143028869237*c_1001_11^8 - 1972067597858505381/1575192127003207693*c_1001_11^7 - 6981302222247876920/14176729143028869237*c_1001_11^6 - 32416621763258974271/14176729143028869237*c_1001_11^5 + 112264910690322803246/14176729143028869237*c_1001_11^4 - 208606408259337294908/14176729143028869237*c_1001_11^3 + 167051370714367900960/14176729143028869237*c_1001_11^2 - 86640278689282805584/14176729143028869237*c_1001_11 + 25724313319973682778/14176729143028869237, c_0101_11 - 79497941410084016/1575192127003207693*c_1001_11^12 - 159068617857944170/1575192127003207693*c_1001_11^11 + 107356192190791065/1575192127003207693*c_1001_11^10 + 1065214537562430823/1575192127003207693*c_1001_11^9 + 3237462573514014212/1575192127003207693*c_1001_11^8 + 2127363618788444094/1575192127003207693*c_1001_11^7 + 2741073628837303635/1575192127003207693*c_1001_11^6 + 560651850721373203/1575192127003207693*c_1001_11^5 + 7059146687251045407/1575192127003207693*c_1001_11^4 - 9221984059073628603/1575192127003207693*c_1001_11^3 + 9720141736301081385/1575192127003207693*c_1001_11^2 - 9133660910957120070/1575192127003207693*c_1001_11 + 3465024074737599298/1575192127003207693, c_0101_5 + 906190455976375448/14176729143028869237*c_1001_11^12 - 732188423291672407/14176729143028869237*c_1001_11^11 - 1120616729328024246/1575192127003207693*c_1001_11^10 - 24754627066580129779/14176729143028869237*c_1001_11^9 - 41096628682155380065/14176729143028869237*c_1001_11^8 + 1449454163789667979/1575192127003207693*c_1001_11^7 - 20592150945914857504/14176729143028869237*c_1001_11^6 - 14823497922598349467/14176729143028869237*c_1001_11^5 - 119043684900436092080/14176729143028869237*c_1001_11^4 + 248174878122504898625/14176729143028869237*c_1001_11^3 - 279557029081707673000/14176729143028869237*c_1001_11^2 + 133965194489011746559/14176729143028869237*c_1001_11 - 46285619835809179315/14176729143028869237, c_0101_8 + 345334572901690392/1575192127003207693*c_1001_11^12 + 1196371394264420129/1575192127003207693*c_1001_11^11 + 2127210596740375769/1575192127003207693*c_1001_11^10 + 2420050627284774769/1575192127003207693*c_1001_11^9 - 1285580851371381765/1575192127003207693*c_1001_11^8 + 2813073050812883065/1575192127003207693*c_1001_11^7 - 916919854753601549/1575192127003207693*c_1001_11^6 + 2932037620945308204/1575192127003207693*c_1001_11^5 - 19465372433153556346/1575192127003207693*c_1001_11^4 + 28934504001624452320/1575192127003207693*c_1001_11^3 - 27904608407816286843/1575192127003207693*c_1001_11^2 + 14592036862123772701/1575192127003207693*c_1001_11 - 3298886823421234686/1575192127003207693, c_1001_0 + 194364482038576/1575192127003207693*c_1001_11^12 - 205671314153514590/1575192127003207693*c_1001_11^11 - 749926883575386662/1575192127003207693*c_1001_11^10 - 1309397664239538928/1575192127003207693*c_1001_11^9 - 1274910487191939213/1575192127003207693*c_1001_11^8 + 1369010717761872656/1575192127003207693*c_1001_11^7 - 543925492857878742/1575192127003207693*c_1001_11^6 - 72554876350782397/1575192127003207693*c_1001_11^5 - 2507581188756001385/1575192127003207693*c_1001_11^4 + 11139471870757224099/1575192127003207693*c_1001_11^3 - 13304885374676323417/1575192127003207693*c_1001_11^2 + 10124674105960739757/1575192127003207693*c_1001_11 - 3427121633427400826/1575192127003207693, c_1001_11^13 + 27/8*c_1001_11^12 + 49/8*c_1001_11^11 + 31/4*c_1001_11^10 - 9/8*c_1001_11^9 + 14*c_1001_11^8 + 11/8*c_1001_11^7 + 15*c_1001_11^6 - 209/4*c_1001_11^5 + 769/8*c_1001_11^4 - 765/8*c_1001_11^3 + 247/4*c_1001_11^2 - 79/4*c_1001_11 + 37/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB