Magma V2.19-8 Wed Aug 21 2013 00:28:37 on localhost [Seed = 4138788148] Type ? for help. Type -D to quit. Loading file "K14n15914__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15914 geometric_solution 11.68040071 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 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 0 -1 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.746555260320 0.917356213159 0 5 7 6 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 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.050298510741 1.147331001871 8 0 4 7 0132 0132 1230 0132 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 -1 1 0 0 0 0 0 -17 -1 0 18 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563952989359 2.462057850805 9 9 10 0 0132 1302 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 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414199264105 0.642221359400 6 10 0 2 3012 1230 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 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 0.811290089175 0.852459384784 11 1 9 6 0132 0132 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363308612297 0.343911526635 5 12 1 4 3120 0132 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 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.427297794811 0.670790837281 12 11 2 1 2031 1302 0132 0132 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 0 -1 0 1 18 0 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082882883283 0.578329051725 2 11 12 10 0132 0132 3201 2310 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 0 0 0 0 17 0 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277883686450 0.208068912962 3 12 5 3 0132 2310 3120 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775267841595 0.849936738927 8 11 4 3 3201 3201 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750443187203 0.959699837944 5 8 10 7 0132 0132 2310 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 -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.727901054576 1.512288385900 8 6 7 9 2310 0132 1302 3201 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 -1 0 1 17 0 -18 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.735477617767 0.779426939262 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_3']), 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_12' : d['c_0101_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : d['c_0011_7'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_0101_3'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], '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_1100_9' : negation(d['c_0101_5']), 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : d['c_0110_4'], 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : d['c_0110_4'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_1001_2']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_0101_3']), '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_3'], '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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_10'], '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_5'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0011_3']), 'c_0101_12' : negation(d['c_0011_7']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_3'], '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_0101_3'], 'c_0101_2' : negation(d['c_0101_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_10']), '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_3'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_4']})} 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_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0110_4, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 1215017563461481202641162692682357374/30806975990420947242709921954\ 85*c_1001_5^11 + 17856869380222283792666072808147740497/30806975990\ 42094724270992195485*c_1001_5^10 - 164860313142994719289676549949632645876/215648831932946630698969453\ 68395*c_1001_5^9 + 14852730305537753141116545311237461169/616139519\ 808418944854198439097*c_1001_5^8 - 433281538854828250247384990926092924171/215648831932946630698969453\ 68395*c_1001_5^7 - 774055941566917752605877852433405590013/43129766\ 386589326139793890736790*c_1001_5^6 + 18023503646495651605513767360055485638/5828346808998557586458633883\ 35*c_1001_5^5 - 85845286516756917877509735509161665441/862595327731\ 7865227958778147358*c_1001_5^4 - 2237732211185908851928543085915549\ 2583/21564883193294663069896945368395*c_1001_5^3 + 7337731744177657617032704537208068989/86259532773178652279587781473\ 58*c_1001_5^2 + 260714527464637457159093312685250507/43129766386589\ 326139793890736790*c_1001_5 - 894926116387245715521789826604125641/\ 43129766386589326139793890736790, c_0011_0 - 1, c_0011_10 - 6579529293635276167/25185810776353466305*c_1001_5^11 + 20302949092800070151/5037162155270693261*c_1001_5^10 - 196873304108367181194/25185810776353466305*c_1001_5^9 + 471818544949134272156/25185810776353466305*c_1001_5^8 - 113394865658406930079/5037162155270693261*c_1001_5^7 - 37156173685773306815/5037162155270693261*c_1001_5^6 + 935609339614057264447/25185810776353466305*c_1001_5^5 - 578920763838969991251/25185810776353466305*c_1001_5^4 - 177405646578076132396/25185810776353466305*c_1001_5^3 + 267424759683528588499/25185810776353466305*c_1001_5^2 + 956643592026298720/5037162155270693261*c_1001_5 - 31647436376037542487/25185810776353466305, c_0011_3 - 47436465105561/419728535561261*c_1001_5^11 + 3141462718774722/2098642677806305*c_1001_5^10 + 552381733438078/14690498744644135*c_1001_5^9 + 92104687111451624/14690498744644135*c_1001_5^8 + 41355199362693163/14690498744644135*c_1001_5^7 - 51464738671463856/14690498744644135*c_1001_5^6 - 3955311552886137/14690498744644135*c_1001_5^5 + 9272508751132204/14690498744644135*c_1001_5^4 - 48742314822347/2098642677806305*c_1001_5^3 - 550863836338638/14690498744644135*c_1001_5^2 + 4756587566317810/2938099748928827*c_1001_5 + 11240223112494/14690498744644135, c_0011_4 - 503775684915743844359/25185810776353466305*c_1001_5^11 + 1458463417452298817686/5037162155270693261*c_1001_5^10 - 8107364685851673854549/25185810776353466305*c_1001_5^9 + 28361064432253236745502/25185810776353466305*c_1001_5^8 - 18420544251126169477054/25185810776353466305*c_1001_5^7 - 29854971404282552128146/25185810776353466305*c_1001_5^6 + 7130343170025048787389/5037162155270693261*c_1001_5^5 - 3618378102013196263859/25185810776353466305*c_1001_5^4 - 5820043396703015872023/25185810776353466305*c_1001_5^3 + 1886513812020492856654/25185810776353466305*c_1001_5^2 + 108554382993262138934/25185810776353466305*c_1001_5 - 93092606959660915368/25185810776353466305, c_0011_7 - 1504757343329311925/5037162155270693261*c_1001_5^11 + 22431542426529042470/5037162155270693261*c_1001_5^10 - 240485778447046136076/35260135086894852827*c_1001_5^9 + 3661162284857419887522/176300675434474264135*c_1001_5^8 - 3034652329419900000027/176300675434474264135*c_1001_5^7 - 248297682444436474182/35260135086894852827*c_1001_5^6 + 6324987712145149195777/176300675434474264135*c_1001_5^5 - 4055398048019873105874/176300675434474264135*c_1001_5^4 - 173475610191007641906/25185810776353466305*c_1001_5^3 + 1874623318022071239764/176300675434474264135*c_1001_5^2 + 32672047276661201804/176300675434474264135*c_1001_5 + 63617194449491310653/176300675434474264135, c_0101_0 + 488789021675455006751/25185810776353466305*c_1001_5^11 - 6984716708851119841446/25185810776353466305*c_1001_5^10 + 45919250220650719057564/176300675434474264135*c_1001_5^9 - 183015506707485068045334/176300675434474264135*c_1001_5^8 + 89948490089424243193383/176300675434474264135*c_1001_5^7 + 223333661763189708116447/176300675434474264135*c_1001_5^6 - 203615551583627639433101/176300675434474264135*c_1001_5^5 - 18948707844103007353696/176300675434474264135*c_1001_5^4 + 5813498761724769753039/25185810776353466305*c_1001_5^3 - 4244833009369637905866/176300675434474264135*c_1001_5^2 - 2119796165562473611338/176300675434474264135*c_1001_5 + 159831703604109265532/176300675434474264135, c_0101_1 + 12502707382667834549/25185810776353466305*c_1001_5^11 - 37430306953351493208/5037162155270693261*c_1001_5^10 + 2064259835643839813066/176300675434474264135*c_1001_5^9 - 6011505397741358838286/176300675434474264135*c_1001_5^8 + 5379461485653864622712/176300675434474264135*c_1001_5^7 + 494941205185012865500/35260135086894852827*c_1001_5^6 - 2079256331216970748805/35260135086894852827*c_1001_5^5 + 6475051765930651962668/176300675434474264135*c_1001_5^4 + 284964950079721404278/25185810776353466305*c_1001_5^3 - 605064427967648712486/35260135086894852827*c_1001_5^2 - 53797902916401845274/176300675434474264135*c_1001_5 + 36420770385190756952/35260135086894852827, c_0101_10 + 11558449959656551091/25185810776353466305*c_1001_5^11 - 35301713619622520889/5037162155270693261*c_1001_5^10 + 319992010309597057292/25185810776353466305*c_1001_5^9 - 807581846789696979408/25185810776353466305*c_1001_5^8 + 180389412979377347870/5037162155270693261*c_1001_5^7 + 72390962648712791289/5037162155270693261*c_1001_5^6 - 1517222760176872199911/25185810776353466305*c_1001_5^5 + 924585580683366970793/25185810776353466305*c_1001_5^4 + 288894986466789894768/25185810776353466305*c_1001_5^3 - 431810305657267491737/25185810776353466305*c_1001_5^2 - 1560239467447459962/5037162155270693261*c_1001_5 + 41564632224747661241/25185810776353466305, c_0101_3 + 360542556280396626633/25185810776353466305*c_1001_5^11 - 5147880391510550034482/25185810776353466305*c_1001_5^10 + 33619784564970625138598/176300675434474264135*c_1001_5^9 - 137001823169179851496536/176300675434474264135*c_1001_5^8 + 66609619697943650630067/176300675434474264135*c_1001_5^7 + 31341873252400306493340/35260135086894852827*c_1001_5^6 - 145275462198260876050362/176300675434474264135*c_1001_5^5 - 841915079511193844648/35260135086894852827*c_1001_5^4 + 639541029038521411761/5037162155270693261*c_1001_5^3 - 4842307368049289160306/176300675434474264135*c_1001_5^2 - 778320608221296352959/176300675434474264135*c_1001_5 + 162667304118867446302/176300675434474264135, c_0101_5 + 267458143678185525128/25185810776353466305*c_1001_5^11 - 3823795010277822390352/25185810776353466305*c_1001_5^10 + 5041294888871153117537/35260135086894852827*c_1001_5^9 - 98826560901095042625012/176300675434474264135*c_1001_5^8 + 48814524893863760065876/176300675434474264135*c_1001_5^7 + 127383989375074727870437/176300675434474264135*c_1001_5^6 - 22788160445302528377184/35260135086894852827*c_1001_5^5 - 16524485039301414326454/176300675434474264135*c_1001_5^4 + 3842176601821702309379/25185810776353466305*c_1001_5^3 - 247665552300726742638/35260135086894852827*c_1001_5^2 - 1639903076805181891424/176300675434474264135*c_1001_5 + 58945709969855756706/176300675434474264135, c_0110_4 - 524172648305354337051/25185810776353466305*c_1001_5^11 + 1497955513805026991239/5037162155270693261*c_1001_5^10 - 1407628484901960345769/5037162155270693261*c_1001_5^9 + 28194247821428608810864/25185810776353466305*c_1001_5^8 - 13906524430483621020163/25185810776353466305*c_1001_5^7 - 33645547425373763579148/25185810776353466305*c_1001_5^6 + 6166807115542104180239/5037162155270693261*c_1001_5^5 + 2063907907302878386719/25185810776353466305*c_1001_5^4 - 5575700303791986535032/25185810776353466305*c_1001_5^3 + 800509234597523922802/25185810776353466305*c_1001_5^2 + 256083285696912617389/25185810776353466305*c_1001_5 - 28422629337028330224/25185810776353466305, c_1001_2 - 345193423809069604279/25185810776353466305*c_1001_5^11 + 984605632531155425944/5037162155270693261*c_1001_5^10 - 6312430772501955139922/35260135086894852827*c_1001_5^9 + 129884969421413961718626/176300675434474264135*c_1001_5^8 - 61726461959841466656518/176300675434474264135*c_1001_5^7 - 153617031907280230403344/176300675434474264135*c_1001_5^6 + 134926648236122208836474/176300675434474264135*c_1001_5^5 + 10573347785964283605704/176300675434474264135*c_1001_5^4 - 582431047718540533636/5037162155270693261*c_1001_5^3 + 1823596145110945592514/176300675434474264135*c_1001_5^2 + 52560598590704010900/35260135086894852827*c_1001_5 + 19301653889513297964/176300675434474264135, c_1001_5^12 - 100/7*c_1001_5^11 + 654/49*c_1001_5^10 - 2608/49*c_1001_5^9 + 1269/49*c_1001_5^8 + 3242/49*c_1001_5^7 - 2916/49*c_1001_5^6 - 330/49*c_1001_5^5 + 621/49*c_1001_5^4 - 50/49*c_1001_5^3 - 43/49*c_1001_5^2 + 2/49*c_1001_5 + 1/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.400 Total time: 7.610 seconds, Total memory usage: 121.97MB