Magma V2.19-8 Tue Aug 20 2013 23:43:33 on localhost [Seed = 71459074] Type ? for help. Type -D to quit. Loading file "K13n1297__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1297 geometric_solution 10.71293777 oriented_manifold CS_known 0.0000000000000008 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 0 -1 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.114164341008 1.206350122268 0 5 2 6 0132 0132 1023 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.648616985190 0.390218017102 7 0 1 8 0132 0132 1023 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 -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 0 0 0 1.276597151973 0.990027147852 5 7 9 0 3120 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644307073270 0.710670545821 10 10 0 7 0132 1302 0132 3012 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 -1 0 0 1 12 -13 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216239392582 0.858393151155 6 1 11 3 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511257063776 0.386013568435 5 11 1 8 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683031999855 0.197228609269 2 9 4 3 0132 1230 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531465147808 0.750024987336 6 9 2 10 3012 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.898396821947 1.145756117645 8 11 7 3 1023 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.098096447444 1.005437048853 4 8 11 4 0132 2310 0321 2031 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 -12 -1 0 13 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580082377790 0.635319937604 9 6 10 5 1230 0132 0321 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.754217355375 0.940601193056 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_8'], 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_9'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0011_0']), 'c_1001_8' : d['c_0101_9'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_10']), '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_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_7']), 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0101_9'], 'c_1010_2' : d['c_0101_9'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : 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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_8'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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_0011_8'], 'c_0110_10' : d['c_0101_1'], 'c_0011_11' : d['c_0011_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), '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_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_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_0101_7'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), '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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_0101_9, c_1001_5, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 4202397454/68030541747*c_1001_7^9 - 153669029051/317475861486*c_1001_7^8 - 279903941491/476213792229*c_1001_7^7 - 13762714289/52912643581*c_1001_7^6 + 760639681175/476213792229*c_1001_7^5 - 798943457875/952427584458*c_1001_7^4 - 835274523946/476213792229*c_1001_7^3 + 658921836933/105825287162*c_1001_7^2 + 7290461573765/952427584458*c_1001_7 + 565774366433/952427584458, c_0011_0 - 1, c_0011_10 + 4451079/154264267*c_1001_7^9 - 74238980/462792801*c_1001_7^8 - 362262451/462792801*c_1001_7^7 - 134796325/154264267*c_1001_7^6 + 123735379/154264267*c_1001_7^5 + 1662970055/462792801*c_1001_7^4 + 857642939/462792801*c_1001_7^3 - 208502469/154264267*c_1001_7^2 - 364098900/154264267*c_1001_7 - 973147349/462792801, c_0011_3 - 16576829/462792801*c_1001_7^9 + 110581093/462792801*c_1001_7^8 + 317264293/462792801*c_1001_7^7 + 83538892/154264267*c_1001_7^6 - 829081678/462792801*c_1001_7^5 - 504096766/154264267*c_1001_7^4 - 165612299/462792801*c_1001_7^3 + 438214067/154264267*c_1001_7^2 + 825905869/462792801*c_1001_7 + 389492006/462792801, c_0011_8 + 954097/154264267*c_1001_7^9 - 12770500/462792801*c_1001_7^8 - 120903806/462792801*c_1001_7^7 + 12343721/154264267*c_1001_7^6 + 62829472/154264267*c_1001_7^5 + 461884645/462792801*c_1001_7^4 - 863141369/462792801*c_1001_7^3 - 158311340/154264267*c_1001_7^2 + 110027640/154264267*c_1001_7 + 642191441/462792801, c_0101_0 - 6908344/1388378403*c_1001_7^9 + 9694206/154264267*c_1001_7^8 - 176754638/1388378403*c_1001_7^7 - 42539536/154264267*c_1001_7^6 - 915160184/1388378403*c_1001_7^5 + 1622876969/1388378403*c_1001_7^4 + 2041406668/1388378403*c_1001_7^3 + 583725370/462792801*c_1001_7^2 - 2785560127/1388378403*c_1001_7 - 1714163095/1388378403, c_0101_1 - 1472494/1388378403*c_1001_7^9 + 17568401/462792801*c_1001_7^8 - 272871920/1388378403*c_1001_7^7 - 73019622/154264267*c_1001_7^6 - 700001615/1388378403*c_1001_7^5 + 1352495213/1388378403*c_1001_7^4 + 2651422231/1388378403*c_1001_7^3 + 196275739/462792801*c_1001_7^2 - 1186910104/1388378403*c_1001_7 - 1762991965/1388378403, c_0101_10 - 56331151/1388378403*c_1001_7^9 + 46563225/154264267*c_1001_7^8 + 719682748/1388378403*c_1001_7^7 + 57862117/154264267*c_1001_7^6 - 2412304847/1388378403*c_1001_7^5 - 2247551242/1388378403*c_1001_7^4 + 600774913/1388378403*c_1001_7^3 + 585053800/462792801*c_1001_7^2 + 1527314006/1388378403*c_1001_7 + 551389184/1388378403, c_0101_3 - 62931815/1388378403*c_1001_7^9 + 168798257/462792801*c_1001_7^8 + 487572617/1388378403*c_1001_7^7 + 32185342/154264267*c_1001_7^6 - 2337364660/1388378403*c_1001_7^5 + 41768410/1388378403*c_1001_7^4 + 1698386723/1388378403*c_1001_7^3 - 144534601/462792801*c_1001_7^2 - 811467998/1388378403*c_1001_7 - 65697650/1388378403, c_0101_7 + 16576829/462792801*c_1001_7^9 - 110581093/462792801*c_1001_7^8 - 317264293/462792801*c_1001_7^7 - 83538892/154264267*c_1001_7^6 + 829081678/462792801*c_1001_7^5 + 504096766/154264267*c_1001_7^4 + 165612299/462792801*c_1001_7^3 - 438214067/154264267*c_1001_7^2 - 825905869/462792801*c_1001_7 - 389492006/462792801, c_0101_9 - 4932982/462792801*c_1001_7^9 + 47882294/462792801*c_1001_7^8 - 31410895/462792801*c_1001_7^7 - 3914586/154264267*c_1001_7^6 - 199561607/462792801*c_1001_7^5 + 154318190/154264267*c_1001_7^4 + 174093833/462792801*c_1001_7^3 - 78909782/154264267*c_1001_7^2 - 650348131/462792801*c_1001_7 - 201686966/462792801, c_1001_5 - 60468101/1388378403*c_1001_7^9 + 48927012/154264267*c_1001_7^8 + 940366916/1388378403*c_1001_7^7 - 2385378/154264267*c_1001_7^6 - 3817159285/1388378403*c_1001_7^5 - 4522146218/1388378403*c_1001_7^4 + 2837929145/1388378403*c_1001_7^3 + 1659293135/462792801*c_1001_7^2 + 1786532077/1388378403*c_1001_7 - 192800129/1388378403, c_1001_7^10 - 8*c_1001_7^9 - 10*c_1001_7^8 + 8*c_1001_7^7 + 68*c_1001_7^6 + 33*c_1001_7^5 - 93*c_1001_7^4 - 97*c_1001_7^3 + 7*c_1001_7^2 + 59*c_1001_7 + 49 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_0101_9, c_1001_5, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 97437310924923752/229347910385*c_1001_7^10 + 494913557098112028/229347910385*c_1001_7^9 - 331560696901599152/229347910385*c_1001_7^8 + 1390420531702040033/229347910385*c_1001_7^7 + 157687416189520577/229347910385*c_1001_7^6 - 5322825398243877152/229347910385*c_1001_7^5 + 2541379842301389939/229347910385*c_1001_7^4 + 847920063992129719/83399240140*c_1001_7^3 + 12376659714585191/2814084790*c_1001_7^2 - 1976275703582964159/917391641540*c_1001_7 + 614308552891962917/458695820770, c_0011_0 - 1, c_0011_10 + 4449326222/20849810035*c_1001_7^10 - 4846494500/4169962007*c_1001_7^9 + 23525252418/20849810035*c_1001_7^8 - 69733045578/20849810035*c_1001_7^7 + 34363162711/41699620070*c_1001_7^6 + 491290373687/41699620070*c_1001_7^5 - 203742186907/20849810035*c_1001_7^4 - 54816709563/20849810035*c_1001_7^3 - 279368031/255825890*c_1001_7^2 + 21469845251/20849810035*c_1001_7 - 1447692601/8339924014, c_0011_3 - 3445777546/20849810035*c_1001_7^10 + 15817058964/20849810035*c_1001_7^9 - 3554508186/20849810035*c_1001_7^8 + 44730647126/20849810035*c_1001_7^7 + 63717961467/41699620070*c_1001_7^6 - 366647641969/41699620070*c_1001_7^5 + 10124306074/20849810035*c_1001_7^4 + 105568238768/20849810035*c_1001_7^3 + 708082691/255825890*c_1001_7^2 + 9511073486/4169962007*c_1001_7 - 3672538323/41699620070, c_0011_8 - 3592580653/20849810035*c_1001_7^10 + 3253333476/4169962007*c_1001_7^9 - 597806591/4169962007*c_1001_7^8 + 49241028811/20849810035*c_1001_7^7 + 114532987323/83399240140*c_1001_7^6 - 714454077671/83399240140*c_1001_7^5 - 23826200653/20849810035*c_1001_7^4 + 90998989019/20849810035*c_1001_7^3 + 3066390619/511651780*c_1001_7^2 - 1361150235/4169962007*c_1001_7 + 52424272399/83399240140, c_0101_0 - 64598761/4169962007*c_1001_7^10 + 358553316/4169962007*c_1001_7^9 - 1468235999/20849810035*c_1001_7^8 + 3270977543/20849810035*c_1001_7^7 - 7644657637/83399240140*c_1001_7^6 - 80583389687/83399240140*c_1001_7^5 + 12342093198/20849810035*c_1001_7^4 + 35927444841/20849810035*c_1001_7^3 + 341865651/511651780*c_1001_7^2 - 42784232154/20849810035*c_1001_7 + 24802621523/83399240140, c_0101_1 - 4449326222/20849810035*c_1001_7^10 + 4846494500/4169962007*c_1001_7^9 - 23525252418/20849810035*c_1001_7^8 + 69733045578/20849810035*c_1001_7^7 - 34363162711/41699620070*c_1001_7^6 - 491290373687/41699620070*c_1001_7^5 + 203742186907/20849810035*c_1001_7^4 + 54816709563/20849810035*c_1001_7^3 + 279368031/255825890*c_1001_7^2 - 21469845251/20849810035*c_1001_7 + 1447692601/8339924014, c_0101_10 - 3445777546/20849810035*c_1001_7^10 + 15817058964/20849810035*c_1001_7^9 - 3554508186/20849810035*c_1001_7^8 + 44730647126/20849810035*c_1001_7^7 + 63717961467/41699620070*c_1001_7^6 - 366647641969/41699620070*c_1001_7^5 + 10124306074/20849810035*c_1001_7^4 + 105568238768/20849810035*c_1001_7^3 + 708082691/255825890*c_1001_7^2 + 5341111479/4169962007*c_1001_7 - 3672538323/41699620070, c_0101_3 + c_1001_7, c_0101_7 + 3445777546/20849810035*c_1001_7^10 - 15817058964/20849810035*c_1001_7^9 + 3554508186/20849810035*c_1001_7^8 - 44730647126/20849810035*c_1001_7^7 - 63717961467/41699620070*c_1001_7^6 + 366647641969/41699620070*c_1001_7^5 - 10124306074/20849810035*c_1001_7^4 - 105568238768/20849810035*c_1001_7^3 - 708082691/255825890*c_1001_7^2 - 9511073486/4169962007*c_1001_7 + 3672538323/41699620070, c_0101_9 - 306718447/20849810035*c_1001_7^10 + 239175868/4169962007*c_1001_7^9 + 325370167/20849810035*c_1001_7^8 + 5304888921/20849810035*c_1001_7^7 + 17749521353/83399240140*c_1001_7^6 - 5208284857/16679848028*c_1001_7^5 - 1973301871/4169962007*c_1001_7^4 + 4529071083/20849810035*c_1001_7^3 + 316104801/511651780*c_1001_7^2 - 14257452684/20849810035*c_1001_7 + 59139636793/83399240140, c_1001_5 - 3356280924/20849810035*c_1001_7^10 + 14117743588/20849810035*c_1001_7^9 + 390807532/4169962007*c_1001_7^8 + 45800797436/20849810035*c_1001_7^7 + 40153193649/20849810035*c_1001_7^6 - 153003168968/20849810035*c_1001_7^5 - 72159558829/20849810035*c_1001_7^4 + 83885171369/20849810035*c_1001_7^3 + 1053013691/127912945*c_1001_7^2 + 8056919308/20849810035*c_1001_7 + 11055612546/20849810035, c_1001_7^11 - 5*c_1001_7^10 + 3*c_1001_7^9 - 14*c_1001_7^8 - 11/4*c_1001_7^7 + 109/2*c_1001_7^6 - 87/4*c_1001_7^5 - 26*c_1001_7^4 - 49/4*c_1001_7^3 + 17/4*c_1001_7^2 - 11/4*c_1001_7 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.890 Total time: 1.090 seconds, Total memory usage: 32.09MB