Magma V2.19-8 Tue Aug 20 2013 23:46:28 on localhost [Seed = 1663371639] Type ? for help. Type -D to quit. Loading file "K14n18505__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18505 geometric_solution 11.32356319 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -1 0 1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795696546950 0.582210093077 0 5 7 6 0132 0132 0132 0132 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 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.841170837479 1.041038295513 8 0 6 9 0132 0132 2310 0132 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 -1 1 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.429063785613 1.277279141040 10 8 7 0 0132 0213 0213 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 1 -1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722558368275 0.586043782391 9 8 0 11 0132 0132 0132 0132 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 1 -1 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 0 0.979371117225 0.827249808210 9 1 8 10 1023 0132 2031 0213 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 -2 2 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.505115014759 0.453842487699 11 2 1 10 0132 3201 0132 0321 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 0 0 0 0 0 1 0 -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.204017774857 1.074273494213 9 3 11 1 3120 0213 0213 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 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.372708846187 0.974892417129 2 4 3 5 0132 0132 0213 1302 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 0 0 0 0 0 0 0 0 -2 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494131541538 0.598860461018 4 5 2 7 0132 1023 0132 3120 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 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.302069331476 0.775337861792 3 6 11 5 0132 0321 0132 0213 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 0 0 0 0 0 1 1 -2 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.725796568132 0.514631282817 6 7 4 10 0132 0213 0132 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 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.445960474055 0.833807308611 ==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' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_1001_11'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : negation(d['c_1001_2']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_0'], '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_0011_11']), 'c_1100_8' : d['c_0101_5'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_1'], 'c_1100_10' : d['c_1001_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_1001_2'], '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_0'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} 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_7, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_1, c_1001_10, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 295657504310438092126947221/68835688106487021516721925*c_1001_2^17 - 30867381326901791573170281559/1101371009703792344267550800*c_1001_2\ ^16 - 15070742007407986080549141307/220274201940758468853510160*c_1\ 001_2^15 - 55836095352859909208149603957/11013710097037923442675508\ 00*c_1001_2^14 - 90004325668262445771881579269/11013710097037923442\ 67550800*c_1001_2^13 - 84134061330847315672629880767/11013710097037\ 92344267550800*c_1001_2^12 - 731354169090400795077850729/1251557965\ 5724913003040350*c_1001_2^11 + 4838720593506176409993339144/6883568\ 8106487021516721925*c_1001_2^10 + 20093395892243768708231704753/100\ 124637245799304024322800*c_1001_2^9 - 7534257700346390565349785237/275342752425948086066887700*c_1001_2^8 - 457717374781688483708457301683/1101371009703792344267550800*c_100\ 1_2^7 + 31235449863174527579056492676/68835688106487021516721925*c_\ 1001_2^6 + 327549873632766640960281467397/1101371009703792344267550\ 800*c_1001_2^5 - 681553709163842235283658144719/1101371009703792344\ 267550800*c_1001_2^4 + 161658554030279546407467154213/1101371009703\ 792344267550800*c_1001_2^3 + 22550758280837790368876460637/11013710\ 0970379234426755080*c_1001_2^2 - 5440036034033780360886185977/32393\ 264991288010125516200*c_1001_2 + 40671480603336964799099490161/1101\ 371009703792344267550800, c_0011_0 - 1, c_0011_10 + 11980821445778280/893947626718254401*c_1001_2^17 + 201790206987067252/893947626718254401*c_1001_2^16 + 1090313340282943546/893947626718254401*c_1001_2^15 + 2798563463265055837/893947626718254401*c_1001_2^14 + 3760043948344798700/893947626718254401*c_1001_2^13 + 5392985362010576016/893947626718254401*c_1001_2^12 + 6349638343171032346/893947626718254401*c_1001_2^11 + 6333339965435833036/893947626718254401*c_1001_2^10 + 2438315504444282643/893947626718254401*c_1001_2^9 - 3381586639519204597/893947626718254401*c_1001_2^8 - 1012998367454083288/893947626718254401*c_1001_2^7 + 8304151603231440771/893947626718254401*c_1001_2^6 - 6792241590565224028/893947626718254401*c_1001_2^5 - 10310804580259421797/893947626718254401*c_1001_2^4 + 6671562200838968007/893947626718254401*c_1001_2^3 + 355179737898641624/893947626718254401*c_1001_2^2 - 3203737523547529151/893947626718254401*c_1001_2 + 1833975155615214544/893947626718254401, c_0011_11 + 170097862711963262/893947626718254401*c_1001_2^17 + 1293673069722154847/893947626718254401*c_1001_2^16 + 4038079076466755521/893947626718254401*c_1001_2^15 + 5865178118589628904/893947626718254401*c_1001_2^14 + 8069639156906226117/893947626718254401*c_1001_2^13 + 9732376582352506829/893947626718254401*c_1001_2^12 + 9977779244312399009/893947626718254401*c_1001_2^11 + 4734397716361659853/893947626718254401*c_1001_2^10 - 6248333750922152131/893947626718254401*c_1001_2^9 - 6797126957350347892/893947626718254401*c_1001_2^8 + 11593511024414446965/893947626718254401*c_1001_2^7 - 3391183991197426640/893947626718254401*c_1001_2^6 - 20812716782034618907/893947626718254401*c_1001_2^5 + 4952885759042921683/893947626718254401*c_1001_2^4 + 6391889249354353016/893947626718254401*c_1001_2^3 - 4093781963290830293/893947626718254401*c_1001_2^2 + 383911872532711076/893947626718254401*c_1001_2 + 1144928927376624920/893947626718254401, c_0011_7 - 92479647836217802/893947626718254401*c_1001_2^17 - 490463422043966528/893947626718254401*c_1001_2^16 - 679100989127367314/893947626718254401*c_1001_2^15 + 1072594566511390500/893947626718254401*c_1001_2^14 + 420963658472077123/893947626718254401*c_1001_2^13 + 924328996984441111/893947626718254401*c_1001_2^12 + 1217176984070357597/893947626718254401*c_1001_2^11 + 3022021848351766853/893947626718254401*c_1001_2^10 + 2048859546671311122/893947626718254401*c_1001_2^9 - 8345871350874629952/893947626718254401*c_1001_2^8 - 12239909063255413012/893947626718254401*c_1001_2^7 + 20318825475141634512/893947626718254401*c_1001_2^6 + 636394413041328991/893947626718254401*c_1001_2^5 - 26541928018589107059/893947626718254401*c_1001_2^4 + 14623911297112572999/893947626718254401*c_1001_2^3 + 7462983365738807012/893947626718254401*c_1001_2^2 - 7548819597836697953/893947626718254401*c_1001_2 + 3173318960362651468/893947626718254401, c_0101_0 + 34447931315983936/893947626718254401*c_1001_2^17 + 154064878264818485/893947626718254401*c_1001_2^16 + 52326634493198525/893947626718254401*c_1001_2^15 - 959360408781148500/893947626718254401*c_1001_2^14 - 832622980510395506/893947626718254401*c_1001_2^13 - 1501579653269267025/893947626718254401*c_1001_2^12 - 2168307791131726792/893947626718254401*c_1001_2^11 - 3325045784888435358/893947626718254401*c_1001_2^10 - 2622507083728899774/893947626718254401*c_1001_2^9 + 1956005432551728863/893947626718254401*c_1001_2^8 + 2371261549434590740/893947626718254401*c_1001_2^7 - 12025743319789982013/893947626718254401*c_1001_2^6 + 1151939625504855540/893947626718254401*c_1001_2^5 + 12283298276961120126/893947626718254401*c_1001_2^4 - 9409569142440861052/893947626718254401*c_1001_2^3 - 3359791044455883992/893947626718254401*c_1001_2^2 + 6272856110784398750/893947626718254401*c_1001_2 - 1491122072025528567/893947626718254401, c_0101_1 + 235825394818942997/893947626718254401*c_1001_2^17 + 1691176510670908164/893947626718254401*c_1001_2^16 + 4923536379625738789/893947626718254401*c_1001_2^15 + 6458366520455266446/893947626718254401*c_1001_2^14 + 9912088684669138000/893947626718254401*c_1001_2^13 + 11679855251899690616/893947626718254401*c_1001_2^12 + 12394502793513943272/893947626718254401*c_1001_2^11 + 5670471322391713930/893947626718254401*c_1001_2^10 - 5961961451653792200/893947626718254401*c_1001_2^9 - 3289020488716533673/893947626718254401*c_1001_2^8 + 17281857952979594384/893947626718254401*c_1001_2^7 - 13707925937954976193/893947626718254401*c_1001_2^6 - 17924106629939509803/893947626718254401*c_1001_2^5 + 16118800527211987596/893947626718254401*c_1001_2^4 - 2669407647510151430/893947626718254401*c_1001_2^3 - 4348461366638712389/893947626718254401*c_1001_2^2 + 5625263495579105568/893947626718254401*c_1001_2 - 824452514780143064/893947626718254401, c_0101_2 - 64414464973340284/893947626718254401*c_1001_2^17 - 523134432743464112/893947626718254401*c_1001_2^16 - 1719952101364915114/893947626718254401*c_1001_2^15 - 2547995558705086569/893947626718254401*c_1001_2^14 - 2773921953708797151/893947626718254401*c_1001_2^13 - 3159249588630931439/893947626718254401*c_1001_2^12 - 2559623609170677843/893947626718254401*c_1001_2^11 - 106786942110737280/893947626718254401*c_1001_2^10 + 5386522620115660288/893947626718254401*c_1001_2^9 + 5858813362556384674/893947626718254401*c_1001_2^8 - 4597285342984608172/893947626718254401*c_1001_2^7 - 3040865256782991843/893947626718254401*c_1001_2^6 + 12207582603975347749/893947626718254401*c_1001_2^5 + 172832356682275321/893947626718254401*c_1001_2^4 - 8295300196264767230/893947626718254401*c_1001_2^3 + 1691752932511052808/893947626718254401*c_1001_2^2 + 988265192267149622/893947626718254401*c_1001_2 - 308287795152577025/893947626718254401, c_0101_5 + 185734295219238378/893947626718254401*c_1001_2^17 + 1115488261929655771/893947626718254401*c_1001_2^16 + 2265598065778257385/893947626718254401*c_1001_2^15 + 173493277430136726/893947626718254401*c_1001_2^14 + 909700009352392691/893947626718254401*c_1001_2^13 - 604765236698053006/893947626718254401*c_1001_2^12 - 1941976385368507793/893947626718254401*c_1001_2^11 - 7721251246370451280/893947626718254401*c_1001_2^10 - 10360211112194371355/893947626718254401*c_1001_2^9 + 4399546122877709435/893947626718254401*c_1001_2^8 + 20247863898333482322/893947626718254401*c_1001_2^7 - 26306103048691535873/893947626718254401*c_1001_2^6 - 7331836725422793059/893947626718254401*c_1001_2^5 + 34975610955931008485/893947626718254401*c_1001_2^4 - 11280501446033883520/893947626718254401*c_1001_2^3 - 9178931287472426178/893947626718254401*c_1001_2^2 + 9128928468206349824/893947626718254401*c_1001_2 - 3040573978013675217/893947626718254401, c_1001_1 - 302287394047161321/893947626718254401*c_1001_2^17 - 1999513439443626823/893947626718254401*c_1001_2^16 - 4954324976775692374/893947626718254401*c_1001_2^15 - 3739307218109304327/893947626718254401*c_1001_2^14 - 5354415799520534586/893947626718254401*c_1001_2^13 - 5086009722486304401/893947626718254401*c_1001_2^12 - 3438179167018316324/893947626718254401*c_1001_2^11 + 5730610539419648593/893947626718254401*c_1001_2^10 + 15828993718481060912/893947626718254401*c_1001_2^9 - 629192059075517252/893947626718254401*c_1001_2^8 - 30822559187600001347/893947626718254401*c_1001_2^7 + 28860886029905719939/893947626718254401*c_1001_2^6 + 27199880073265254862/893947626718254401*c_1001_2^5 - 43585410858653107711/893947626718254401*c_1001_2^4 + 3577819571984558963/893947626718254401*c_1001_2^3 + 16981819883029320553/893947626718254401*c_1001_2^2 - 9564248064260452498/893947626718254401*c_1001_2 + 1600834694116556150/893947626718254401, c_1001_10 + 93760309249516740/893947626718254401*c_1001_2^17 + 605805489026735559/893947626718254401*c_1001_2^16 + 1401539832420976100/893947626718254401*c_1001_2^15 + 638770128483140653/893947626718254401*c_1001_2^14 + 678689420635744809/893947626718254401*c_1001_2^13 + 398310249665316172/893947626718254401*c_1001_2^12 - 438678277770321666/893947626718254401*c_1001_2^11 - 3479953060840781396/893947626718254401*c_1001_2^10 - 6206998746019410010/893947626718254401*c_1001_2^9 + 484787191793865182/893947626718254401*c_1001_2^8 + 10847258160196158835/893947626718254401*c_1001_2^7 - 10360664571344452183/893947626718254401*c_1001_2^6 - 11346987958104499329/893947626718254401*c_1001_2^5 + 16621081933108626783/893947626718254401*c_1001_2^4 + 1654837554648700173/893947626718254401*c_1001_2^3 - 8646890025550474488/893947626718254401*c_1001_2^2 + 2613106535325130425/893947626718254401*c_1001_2 + 1066158807849910964/893947626718254401, c_1001_11 - 164406226523103387/893947626718254401*c_1001_2^17 - 1141823412522552271/893947626718254401*c_1001_2^16 - 3054996898090587529/893947626718254401*c_1001_2^15 - 2927008969253087088/893947626718254401*c_1001_2^14 - 3558430116242732242/893947626718254401*c_1001_2^13 - 3569486523918568275/893947626718254401*c_1001_2^12 - 2485220897205293071/893947626718254401*c_1001_2^11 + 2781079392006476293/893947626718254401*c_1001_2^10 + 10030058992513326174/893947626718254401*c_1001_2^9 + 2974993764565961191/893947626718254401*c_1001_2^8 - 16483365822512016393/893947626718254401*c_1001_2^7 + 10059146278815191334/893947626718254401*c_1001_2^6 + 19477566153599312547/893947626718254401*c_1001_2^5 - 18002286779481572147/893947626718254401*c_1001_2^4 - 4386060575774121102/893947626718254401*c_1001_2^3 + 7845104295964368028/893947626718254401*c_1001_2^2 - 3025752282193774151/893947626718254401*c_1001_2 + 523564238945277676/893947626718254401, c_1001_2^18 + 6*c_1001_2^17 + 13*c_1001_2^16 + 7*c_1001_2^15 + 23*c_1001_2^14 + 20*c_1001_2^13 + 21*c_1001_2^12 - 5*c_1001_2^11 - 21*c_1001_2^10 + 32*c_1001_2^9 + 69*c_1001_2^8 - 170*c_1001_2^7 + 26*c_1001_2^6 + 155*c_1001_2^5 - 160*c_1001_2^4 + 9*c_1001_2^3 + 73*c_1001_2^2 - 45*c_1001_2 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.300 Total time: 1.510 seconds, Total memory usage: 64.12MB