Magma V2.19-8 Wed Aug 21 2013 01:06:41 on localhost [Seed = 2067620743] Type ? for help. Type -D to quit. Loading file "L14n32822__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32822 geometric_solution 11.30033907 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 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.344064266735 0.324605151394 0 5 4 6 0132 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.767981726850 1.657211775454 7 0 9 8 0132 0132 0132 0132 0 1 0 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 7 -7 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.335575273280 0.878186069380 9 6 10 0 2031 3120 0132 0132 0 0 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 -1 0 1 0 0 0 0 -1 0 0 1 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784897740891 0.923561244133 11 1 0 11 0132 1230 0132 1023 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 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.643769061365 0.971679015239 7 1 10 7 1023 0132 2310 2103 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 0.441810824030 0.725676066129 8 3 1 9 1230 3120 0132 2031 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 -7 0 7 1 0 -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.297951590757 0.251109809911 2 5 11 5 0132 1023 2310 2103 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 0.350993906120 0.741561414511 12 6 2 12 0132 3012 0132 2031 0 1 0 0 0 0 0 0 0 0 1 -1 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 7 -6 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.584811833390 0.849524319812 12 6 3 2 2103 1302 1302 0132 0 1 1 0 0 0 0 0 0 0 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 7 -7 6 -7 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584811833390 0.849524319812 12 5 11 3 3201 3201 1023 0132 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 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.627422034913 1.120091177202 4 7 10 4 0132 3201 1023 1023 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 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.643769061365 0.971679015239 8 8 9 10 0132 1302 2103 2310 1 1 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 0 6 -6 0 1 0 0 -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.450207967549 0.798652961071 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : negation(d['c_0011_3']), 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : negation(d['c_1001_3']), 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_12' : negation(d['c_0101_3']), 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_1001_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' : negation(d['c_0011_3']), '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_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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1100_0']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_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_10'], '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_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0011_12']), 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_12']), 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_12']), 'c_1100_9' : d['c_0101_3'], 'c_0110_3' : negation(d['c_0011_12']), 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0011_12']), '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_3, c_0011_6, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_1001_2, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 7854880794742452829/12586215737882634822*c_1100_0^12 + 5428363229616675235/50344862951530539288*c_1100_0^11 - 3214594255633807282/6293107868941317411*c_1100_0^10 + 634570759452410415239/50344862951530539288*c_1100_0^9 + 936778258605887200549/50344862951530539288*c_1100_0^8 - 170611498195597145153/6293107868941317411*c_1100_0^7 + 811851818909375624245/25172431475765269644*c_1100_0^6 + 17532071595281588548217/50344862951530539288*c_1100_0^5 + 10283492269420707402557/25172431475765269644*c_1100_0^4 - 216951470476854236237/2796936830640585516*c_1100_0^3 - 296269299103992908703/932312276880195172*c_1100_0^2 - 34878687621128820265/297898597346334552*c_1100_0 + 339138118220240558389/50344862951530539288, c_0011_0 - 1, c_0011_10 + 5388281988273/2758320345799394*c_1100_0^12 + 7490317809817/1379160172899697*c_1100_0^11 - 51166884440261/2758320345799394*c_1100_0^10 + 87469265915126/1379160172899697*c_1100_0^9 + 151505034224049/1379160172899697*c_1100_0^8 - 257063071939179/1379160172899697*c_1100_0^7 - 302721380148107/1379160172899697*c_1100_0^6 + 2683708891009583/1379160172899697*c_1100_0^5 + 6051622770807617/2758320345799394*c_1100_0^4 - 8168115379267969/2758320345799394*c_1100_0^3 - 6694363103805504/1379160172899697*c_1100_0^2 - 1393320415255001/1379160172899697*c_1100_0 + 100915884171027/58687666931902, c_0011_11 + 79233106290809/16549922074796364*c_1100_0^12 - 99089269114037/8274961037398182*c_1100_0^11 + 238538065064821/16549922074796364*c_1100_0^10 + 307488299233061/4137480518699091*c_1100_0^9 - 619597058688589/8274961037398182*c_1100_0^8 - 1044314570834852/4137480518699091*c_1100_0^7 + 1152534484400153/1379160172899697*c_1100_0^6 + 2834982119383013/2758320345799394*c_1100_0^5 - 21959707630856543/16549922074796364*c_1100_0^4 - 32160708497451227/16549922074796364*c_1100_0^3 - 1317397581069469/8274961037398182*c_1100_0^2 + 6263279536043257/8274961037398182*c_1100_0 + 254149663172635/352126001591412, c_0011_12 + 1, c_0011_3 + 71806892110817/8274961037398182*c_1100_0^12 - 22142574617617/4137480518699091*c_1100_0^11 - 112475940531451/8274961037398182*c_1100_0^10 + 791457599768530/4137480518699091*c_1100_0^9 + 124097961894816/1379160172899697*c_1100_0^8 - 2641379203920610/4137480518699091*c_1100_0^7 + 3083304625421251/4137480518699091*c_1100_0^6 + 6084256242781723/1379160172899697*c_1100_0^5 + 3202328737933395/2758320345799394*c_1100_0^4 - 17646828735979391/2758320345799394*c_1100_0^3 - 24309212911502878/4137480518699091*c_1100_0^2 - 7215964600792375/4137480518699091*c_1100_0 + 203558762220455/176063000795706, c_0011_6 - 39533392/10129041583*c_1100_0^12 + 95345779/30387124749*c_1100_0^11 + 272203976/30387124749*c_1100_0^10 - 942899499/10129041583*c_1100_0^9 - 737099816/30387124749*c_1100_0^8 + 3689160822/10129041583*c_1100_0^7 - 12677012510/30387124749*c_1100_0^6 - 22087603481/10129041583*c_1100_0^5 + 10370000863/30387124749*c_1100_0^4 + 132866768743/30387124749*c_1100_0^3 + 7774471337/10129041583*c_1100_0^2 - 74293858703/30387124749*c_1100_0 - 15971368961/30387124749, c_0101_1 + 42139665628417/8274961037398182*c_1100_0^12 - 63198902730925/4137480518699091*c_1100_0^11 + 51839319657397/2758320345799394*c_1100_0^10 + 347011495735739/4137480518699091*c_1100_0^9 - 631954296989033/4137480518699091*c_1100_0^8 - 290949373108606/1379160172899697*c_1100_0^7 + 4306318953803669/4137480518699091*c_1100_0^6 + 2912887108885771/4137480518699091*c_1100_0^5 - 20588053431609347/8274961037398182*c_1100_0^4 - 9129175211650483/8274961037398182*c_1100_0^3 + 1836166587656360/1379160172899697*c_1100_0^2 + 271499858710513/4137480518699091*c_1100_0 + 11374626000075/58687666931902, c_0101_10 - 1672441891030/1379160172899697*c_1100_0^12 + 7250434635371/4137480518699091*c_1100_0^11 + 1969347505749/1379160172899697*c_1100_0^10 - 31650283353975/1379160172899697*c_1100_0^9 - 48074844548527/4137480518699091*c_1100_0^8 + 612911017126475/4137480518699091*c_1100_0^7 - 617056218425489/4137480518699091*c_1100_0^6 - 2874807460104632/4137480518699091*c_1100_0^5 + 539231394039209/1379160172899697*c_1100_0^4 + 7891871990732501/4137480518699091*c_1100_0^3 + 181500032024600/4137480518699091*c_1100_0^2 - 9068737964449385/4137480518699091*c_1100_0 - 351711776159/29343833465951, c_0101_11 + 42139665628417/8274961037398182*c_1100_0^12 - 63198902730925/4137480518699091*c_1100_0^11 + 51839319657397/2758320345799394*c_1100_0^10 + 347011495735739/4137480518699091*c_1100_0^9 - 631954296989033/4137480518699091*c_1100_0^8 - 290949373108606/1379160172899697*c_1100_0^7 + 4306318953803669/4137480518699091*c_1100_0^6 + 2912887108885771/4137480518699091*c_1100_0^5 - 20588053431609347/8274961037398182*c_1100_0^4 - 9129175211650483/8274961037398182*c_1100_0^3 + 1836166587656360/1379160172899697*c_1100_0^2 + 271499858710513/4137480518699091*c_1100_0 + 11374626000075/58687666931902, c_0101_3 - 72677222419639/4137480518699091*c_1100_0^12 + 24631501978857/1379160172899697*c_1100_0^11 + 49475068846612/4137480518699091*c_1100_0^10 - 1461471033651796/4137480518699091*c_1100_0^9 - 522828908833225/4137480518699091*c_1100_0^8 + 5432261762598593/4137480518699091*c_1100_0^7 - 6904154495069311/4137480518699091*c_1100_0^6 - 35031355064360080/4137480518699091*c_1100_0^5 - 2431969662465437/4137480518699091*c_1100_0^4 + 61043416191756995/4137480518699091*c_1100_0^3 + 36108819397772450/4137480518699091*c_1100_0^2 - 13036413400089491/4137480518699091*c_1100_0 - 63413551542809/88031500397853, c_1001_2 - 1672441891030/1379160172899697*c_1100_0^12 + 7250434635371/4137480518699091*c_1100_0^11 + 1969347505749/1379160172899697*c_1100_0^10 - 31650283353975/1379160172899697*c_1100_0^9 - 48074844548527/4137480518699091*c_1100_0^8 + 612911017126475/4137480518699091*c_1100_0^7 - 617056218425489/4137480518699091*c_1100_0^6 - 2874807460104632/4137480518699091*c_1100_0^5 + 539231394039209/1379160172899697*c_1100_0^4 + 7891871990732501/4137480518699091*c_1100_0^3 + 181500032024600/4137480518699091*c_1100_0^2 - 9068737964449385/4137480518699091*c_1100_0 - 351711776159/29343833465951, c_1001_3 + 12007002929349/2758320345799394*c_1100_0^12 - 7427204852438/4137480518699091*c_1100_0^11 - 18599556088607/2758320345799394*c_1100_0^10 + 127855895764275/1379160172899697*c_1100_0^9 + 263582630180518/4137480518699091*c_1100_0^8 - 1203650440912919/4137480518699091*c_1100_0^7 + 1087814747904803/4137480518699091*c_1100_0^6 + 9348005231386472/4137480518699091*c_1100_0^5 + 3318781359055577/2758320345799394*c_1100_0^4 - 24577494245132209/8274961037398182*c_1100_0^3 - 17643577698873248/4137480518699091*c_1100_0^2 - 8099140856495143/4137480518699091*c_1100_0 + 104039756192355/58687666931902, c_1100_0^13 - c_1100_0^12 - c_1100_0^11 + 21*c_1100_0^10 + 6*c_1100_0^9 - 78*c_1100_0^8 + 100*c_1100_0^7 + 490*c_1100_0^6 + 3*c_1100_0^5 - 890*c_1100_0^4 - 441*c_1100_0^3 + 248*c_1100_0^2 + 111*c_1100_0 - 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.300 Total time: 0.500 seconds, Total memory usage: 32.09MB