Magma V2.19-8 Tue Aug 20 2013 23:46:37 on localhost [Seed = 3684544965] Type ? for help. Type -D to quit. Loading file "K14n22348__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n22348 geometric_solution 10.25644040 oriented_manifold CS_known -0.0000000000000003 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 0 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 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582677952271 0.681986056198 0 3 6 5 0132 1230 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 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.439571345775 0.145423968625 7 0 9 8 0132 0132 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 -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 0 0 0 0 0 0 0.833816225615 0.573256402548 5 10 1 0 0132 0132 3012 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 -1 0 1 -6 7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292500537841 0.889123672128 11 8 0 6 0132 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.657501923939 0.637755211078 3 7 1 10 0132 2103 0132 1023 0 0 0 0 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 0 0 0 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 1.250970842286 1.882015449101 10 4 8 1 2310 1302 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349600987114 0.708443504147 2 5 11 9 0132 2103 0213 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 1.307338019201 0.989896952312 4 6 2 11 1302 3201 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1.201665086918 0.880893524231 7 11 10 2 3012 1302 3201 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 -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.901567083352 0.605087213906 9 3 6 5 2310 0132 3201 1023 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 1 -7 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373912780218 0.643231836641 4 7 8 9 0132 0213 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.435987998479 0.971244338322 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0110_8']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0110_8']), 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : d['c_0011_0'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0101_1']), '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_10']), 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_8'], 'c_1100_10' : negation(d['c_0011_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0110_8']), 'c_1010_9' : negation(d['c_0110_8']), 'c_1010_8' : negation(d['c_0101_11']), '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_9'], 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], '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_1'], 'c_0110_10' : negation(d['c_0101_9']), 'c_0011_6' : d['c_0011_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_9'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_9'], '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_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0101_9, c_0110_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 306031927297613344110061/266991035547910388*c_1001_1^17 + 491349909564923322672375/266991035547910388*c_1001_1^16 - 4172219637470741949805563/266991035547910388*c_1001_1^15 - 6005052010145770257687083/266991035547910388*c_1001_1^14 + 24096861037508255694960575/266991035547910388*c_1001_1^13 + 29972911227670970150646955/266991035547910388*c_1001_1^12 - 6778080935324184963419091/24271912322537308*c_1001_1^11 - 77394351043275118620148717/266991035547910388*c_1001_1^10 + 900442963525861791652231/1867070178656716*c_1001_1^9 + 104364813181270028094387777/266991035547910388*c_1001_1^8 - 9357839384447010619176007/20537771965223876*c_1001_1^7 - 58816115382449716372048657/266991035547910388*c_1001_1^6 + 16051981128947067078322871/66747758886977597*c_1001_1^5 - 31596910327916065337641/1867070178656716*c_1001_1^4 - 1650903037670807477981/26103933862721*c_1001_1^3 + 18289744474775605476014077/266991035547910388*c_1001_1^2 + 123104786242468919387975/24271912322537308*c_1001_1 - 1357618970408529337635294/66747758886977597, c_0011_0 - 1, c_0011_10 - 8207692777/2471595637*c_1001_1^17 - 10080878550/2471595637*c_1001_1^16 + 114497732380/2471595637*c_1001_1^15 + 117036540833/2471595637*c_1001_1^14 - 672900365981/2471595637*c_1001_1^13 - 541789696180/2471595637*c_1001_1^12 + 2097429990769/2471595637*c_1001_1^11 + 1255711352710/2471595637*c_1001_1^10 - 3586764026387/2471595637*c_1001_1^9 - 1412051772003/2471595637*c_1001_1^8 + 3207642131633/2471595637*c_1001_1^7 + 397993764458/2471595637*c_1001_1^6 - 1364056154745/2471595637*c_1001_1^5 + 507492065179/2471595637*c_1001_1^4 + 99832225618/2471595637*c_1001_1^3 - 393908108991/2471595637*c_1001_1^2 + 10341267683/353085091*c_1001_1 + 75777894928/2471595637, c_0011_11 - 9798789542/2471595637*c_1001_1^17 - 11583038459/2471595637*c_1001_1^16 + 136829135356/2471595637*c_1001_1^15 + 133016176515/2471595637*c_1001_1^14 - 804014175289/2471595637*c_1001_1^13 - 605821451720/2471595637*c_1001_1^12 + 2500651154721/2471595637*c_1001_1^11 + 1370297373890/2471595637*c_1001_1^10 - 4252262810961/2471595637*c_1001_1^9 - 1474268024315/2471595637*c_1001_1^8 + 3753637094758/2471595637*c_1001_1^7 + 315131478659/2471595637*c_1001_1^6 - 1541305700252/2471595637*c_1001_1^5 + 635091417225/2471595637*c_1001_1^4 + 71678288900/2471595637*c_1001_1^3 - 450024187531/2471595637*c_1001_1^2 + 12860847471/353085091*c_1001_1 + 85066032435/2471595637, c_0011_6 - 3390115874/2471595637*c_1001_1^17 - 4519407476/2471595637*c_1001_1^16 + 46105356572/2471595637*c_1001_1^15 + 51973900397/2471595637*c_1001_1^14 - 263312472288/2471595637*c_1001_1^13 - 237597938334/2471595637*c_1001_1^12 + 792453167964/2471595637*c_1001_1^11 + 539003212799/2471595637*c_1001_1^10 - 1291017344101/2471595637*c_1001_1^9 - 578574138059/2471595637*c_1001_1^8 + 1080252393681/2471595637*c_1001_1^7 + 133602771276/2471595637*c_1001_1^6 - 443393722623/2471595637*c_1001_1^5 + 193704434395/2471595637*c_1001_1^4 + 37499581340/2471595637*c_1001_1^3 - 126080084369/2471595637*c_1001_1^2 + 2446498579/353085091*c_1001_1 + 20874256056/2471595637, c_0011_9 + 3205150614/2471595637*c_1001_1^17 + 2892091148/2471595637*c_1001_1^16 - 46311330645/2471595637*c_1001_1^15 - 31750006943/2471595637*c_1001_1^14 + 281362591007/2471595637*c_1001_1^13 + 133129071050/2471595637*c_1001_1^12 - 905185378064/2471595637*c_1001_1^11 - 257499355455/2471595637*c_1001_1^10 + 1597987148631/2471595637*c_1001_1^9 + 177585898297/2471595637*c_1001_1^8 - 1463554302683/2471595637*c_1001_1^7 + 151875425255/2471595637*c_1001_1^6 + 579730413088/2471595637*c_1001_1^5 - 324821038915/2471595637*c_1001_1^4 + 22586891924/2471595637*c_1001_1^3 + 163238066218/2471595637*c_1001_1^2 - 8760794761/353085091*c_1001_1 - 22011715707/2471595637, c_0101_0 + 6635965104/2471595637*c_1001_1^17 + 7839390767/2471595637*c_1001_1^16 - 92996738619/2471595637*c_1001_1^15 - 90477715114/2471595637*c_1001_1^14 + 548728305551/2471595637*c_1001_1^13 + 415043850064/2471595637*c_1001_1^12 - 1715720501822/2471595637*c_1001_1^11 - 949580398558/2471595637*c_1001_1^10 + 2939454709962/2471595637*c_1001_1^9 + 1046207974095/2471595637*c_1001_1^8 - 2623640334738/2471595637*c_1001_1^7 - 262907828443/2471595637*c_1001_1^6 + 1093446877018/2471595637*c_1001_1^5 - 415611274055/2471595637*c_1001_1^4 - 62168841282/2471595637*c_1001_1^3 + 304347687116/2471595637*c_1001_1^2 - 8559867778/353085091*c_1001_1 - 56451960997/2471595637, c_0101_1 - 2042423567/2471595637*c_1001_1^17 - 2209784791/2471595637*c_1001_1^16 + 29316055914/2471595637*c_1001_1^15 + 25600882770/2471595637*c_1001_1^14 - 177683176064/2471595637*c_1001_1^13 - 117749717168/2471595637*c_1001_1^12 + 573918254774/2471595637*c_1001_1^11 + 270306698779/2471595637*c_1001_1^10 - 1027208989532/2471595637*c_1001_1^9 - 299807374327/2471595637*c_1001_1^8 + 972791599172/2471595637*c_1001_1^7 + 70624781806/2471595637*c_1001_1^6 - 423463178504/2471595637*c_1001_1^5 + 148920595667/2471595637*c_1001_1^4 + 14681431824/2471595637*c_1001_1^3 - 119646012989/2471595637*c_1001_1^2 + 4656855802/353085091*c_1001_1 + 25577499672/2471595637, c_0101_11 - 6334856981/2471595637*c_1001_1^17 - 7860318826/2471595637*c_1001_1^16 + 87620407492/2471595637*c_1001_1^15 + 90340197464/2471595637*c_1001_1^14 - 510141203346/2471595637*c_1001_1^13 - 412267342369/2471595637*c_1001_1^12 + 1572587068321/2471595637*c_1001_1^11 + 933823105630/2471595637*c_1001_1^10 - 2651657690649/2471595637*c_1001_1^9 - 1002004765231/2471595637*c_1001_1^8 + 2333386911113/2471595637*c_1001_1^7 + 216548462979/2471595637*c_1001_1^6 - 987217086280/2471595637*c_1001_1^5 + 395674865022/2471595637*c_1001_1^4 + 63543182315/2471595637*c_1001_1^3 - 275135504183/2471595637*c_1001_1^2 + 7772370498/353085091*c_1001_1 + 51500241880/2471595637, c_0101_6 - 12970472108/2471595637*c_1001_1^17 - 15637117046/2471595637*c_1001_1^16 + 181152517211/2471595637*c_1001_1^15 + 180631893928/2471595637*c_1001_1^14 - 1065730977604/2471595637*c_1001_1^13 - 829896821548/2471595637*c_1001_1^12 + 3324493928285/2471595637*c_1001_1^11 + 1901675043528/2471595637*c_1001_1^10 - 5688703175898/2471595637*c_1001_1^9 - 2095226905377/2471595637*c_1001_1^8 + 5090131349453/2471595637*c_1001_1^7 + 527133151070/2471595637*c_1001_1^6 - 2159062051033/2471595637*c_1001_1^5 + 816448307834/2471595637*c_1001_1^4 + 144184624747/2471595637*c_1001_1^3 - 606551958653/2471595637*c_1001_1^2 + 16494894850/353085091*c_1001_1 + 113905810436/2471595637, c_0101_9 - 4769398068/2471595637*c_1001_1^17 - 5288609769/2471595637*c_1001_1^16 + 66869317010/2471595637*c_1001_1^15 + 59646664389/2471595637*c_1001_1^14 - 394427828110/2471595637*c_1001_1^13 - 263784958153/2471595637*c_1001_1^12 + 1231168773473/2471595637*c_1001_1^11 + 567229746194/2471595637*c_1001_1^10 - 2102014745781/2471595637*c_1001_1^9 - 544096558316/2471595637*c_1001_1^8 + 1863311518471/2471595637*c_1001_1^7 + 4568273849/2471595637*c_1001_1^6 - 753781786493/2471595637*c_1001_1^5 + 348962421516/2471595637*c_1001_1^4 + 3322132469/2471595637*c_1001_1^3 - 203470504877/2471595637*c_1001_1^2 + 8702769632/353085091*c_1001_1 + 33735603988/2471595637, c_0110_8 + 2663524929/2471595637*c_1001_1^17 + 3149830205/2471595637*c_1001_1^16 - 37936264889/2471595637*c_1001_1^15 - 37052992257/2471595637*c_1001_1^14 + 228514215477/2471595637*c_1001_1^13 + 174507038278/2471595637*c_1001_1^12 - 735276374662/2471595637*c_1001_1^11 - 415140450478/2471595637*c_1001_1^10 + 1315796847118/2471595637*c_1001_1^9 + 491363220403/2471595637*c_1001_1^8 - 1259357569058/2471595637*c_1001_1^7 - 172733571904/2471595637*c_1001_1^6 + 581765198415/2471595637*c_1001_1^5 - 165698589767/2471595637*c_1001_1^4 - 53941058916/2471595637*c_1001_1^3 + 158094865277/2471595637*c_1001_1^2 - 4845926877/353085091*c_1001_1 - 36533262224/2471595637, c_1001_1^18 + 2*c_1001_1^17 - 13*c_1001_1^16 - 25*c_1001_1^15 + 71*c_1001_1^14 + 129*c_1001_1^13 - 205*c_1001_1^12 - 349*c_1001_1^11 + 321*c_1001_1^10 + 507*c_1001_1^9 - 263*c_1001_1^8 - 349*c_1001_1^7 + 134*c_1001_1^6 + 68*c_1001_1^5 - 61*c_1001_1^4 + 38*c_1001_1^3 + 28*c_1001_1^2 - 16*c_1001_1 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.680 Total time: 1.879 seconds, Total memory usage: 32.09MB