Magma V2.19-8 Tue Aug 20 2013 23:44:22 on localhost [Seed = 121725571] Type ? for help. Type -D to quit. Loading file "L14n32833__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32833 geometric_solution 9.51968946 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 3 2 0132 0132 0132 0213 0 1 1 1 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 1 -1 0 0 -2 2 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.747928699902 0.873165142546 0 4 5 4 0132 0132 0132 1023 1 1 1 1 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.015629588364 1.476377982254 6 0 5 0 0132 0132 3120 0213 0 1 1 1 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 -1 1 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.747928699902 0.873165142546 6 7 7 0 1302 0132 0321 0132 0 1 1 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 0 0 0 0 0 0 0 -2 3 -1 1 0 -3 2 -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.080523098377 0.759412314831 8 1 8 1 0132 0132 1023 1023 1 1 1 1 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 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587624777167 0.329035051399 9 9 2 1 0132 1302 3120 0132 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 -1 1 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.138227579999 0.923270518931 2 3 9 10 0132 2031 0321 0132 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 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.662942638986 0.987108155403 10 3 3 9 1230 0132 0321 2031 0 1 1 1 0 1 -1 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 2 -3 1 0 0 -1 1 0 0 0 0 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.080523098377 0.759412314831 4 10 4 10 0132 1302 1023 3120 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 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 2 0 -2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706427277624 0.294176172213 5 7 6 5 0132 1302 0321 2031 1 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 0 0 0 0 -1 1 0 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.529903457789 0.429829894349 8 7 6 8 3120 3012 0132 2031 1 1 1 1 0 1 0 -1 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 2 0 -2 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261981377230 0.384516135762 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_4'], 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_10' : 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_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0011_5']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : negation(d['c_0101_5']), 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : d['c_0011_5'], 'c_1010_8' : negation(d['c_0011_10']), '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' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : 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_10' : d['c_0101_4'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0101_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_5, c_0101_8, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 16745236290773479808/179418930040906983*c_0101_8^10 + 13799510435352212078/179418930040906983*c_0101_8^9 + 5205287785483940680/19935436671211887*c_0101_8^8 - 15313834899946257970/179418930040906983*c_0101_8^7 - 50943630446662509289/59806310013635661*c_0101_8^6 + 16707888173713993387/25631275720129569*c_0101_8^5 + 25838712522418745533/59806310013635661*c_0101_8^4 + 64345926761197079036/179418930040906983*c_0101_8^3 - 59767449558401762899/179418930040906983*c_0101_8^2 + 6462989212406908982/59806310013635661*c_0101_8 - 2702323395366895892/179418930040906983, c_0011_0 - 1, c_0011_10 + 511367486410/55831706649*c_0101_8^10 - 563478045016/55831706649*c_0101_8^9 - 154194635204/6203522961*c_0101_8^8 + 927912947630/55831706649*c_0101_8^7 + 1593778068629/18610568883*c_0101_8^6 - 4998934514795/55831706649*c_0101_8^5 - 700178484713/18610568883*c_0101_8^4 - 667581393748/55831706649*c_0101_8^3 + 2908484503778/55831706649*c_0101_8^2 - 441944720347/18610568883*c_0101_8 + 245753423800/55831706649, c_0011_3 - 109920245864/18610568883*c_0101_8^10 + 64619729768/18610568883*c_0101_8^9 + 37344678766/2067840987*c_0101_8^8 - 32382830023/18610568883*c_0101_8^7 - 351615592048/6203522961*c_0101_8^6 + 540700165114/18610568883*c_0101_8^5 + 256035216688/6203522961*c_0101_8^4 + 493650588431/18610568883*c_0101_8^3 - 379631901889/18610568883*c_0101_8^2 + 26068348883/6203522961*c_0101_8 + 31407908059/18610568883, c_0011_5 + 584020744450/55831706649*c_0101_8^10 - 476909295409/55831706649*c_0101_8^9 - 185009178989/6203522961*c_0101_8^8 + 544715775449/55831706649*c_0101_8^7 + 1812593185535/18610568883*c_0101_8^6 - 4120429035995/55831706649*c_0101_8^5 - 1009063280357/18610568883*c_0101_8^4 - 1950439883050/55831706649*c_0101_8^3 + 2346870190559/55831706649*c_0101_8^2 - 346631336263/18610568883*c_0101_8 + 186709152208/55831706649, c_0101_0 + 433840705958/55831706649*c_0101_8^10 - 405375265304/55831706649*c_0101_8^9 - 135692166544/6203522961*c_0101_8^8 + 569494554184/55831706649*c_0101_8^7 + 1359056925412/18610568883*c_0101_8^6 - 3566145294343/55831706649*c_0101_8^5 - 719365036402/18610568883*c_0101_8^4 - 1013151529502/55831706649*c_0101_8^3 + 2160797699875/55831706649*c_0101_8^2 - 306686573405/18610568883*c_0101_8 + 125939181965/55831706649, c_0101_1 + 261120907663/55831706649*c_0101_8^10 - 278422100740/55831706649*c_0101_8^9 - 78133703951/6203522961*c_0101_8^8 + 438977761343/55831706649*c_0101_8^7 + 803200993193/18610568883*c_0101_8^6 - 2461418634941/55831706649*c_0101_8^5 - 337808165786/18610568883*c_0101_8^4 - 436649957461/55831706649*c_0101_8^3 + 1375181464712/55831706649*c_0101_8^2 - 236734603102/18610568883*c_0101_8 + 160274021710/55831706649, c_0101_10 - 83181433951/55831706649*c_0101_8^10 + 164292392290/55831706649*c_0101_8^9 + 19341555704/6203522961*c_0101_8^8 - 369024648719/55831706649*c_0101_8^7 - 242653415399/18610568883*c_0101_8^6 + 1511669357645/55831706649*c_0101_8^5 - 30674877916/18610568883*c_0101_8^4 - 362556730058/55831706649*c_0101_8^3 - 707020629635/55831706649*c_0101_8^2 + 176167970176/18610568883*c_0101_8 - 97213755166/55831706649, c_0101_4 - 545468266112/55831706649*c_0101_8^10 + 518343975812/55831706649*c_0101_8^9 + 171306748948/6203522961*c_0101_8^8 - 743057667952/55831706649*c_0101_8^7 - 1716301797160/18610568883*c_0101_8^6 + 4535793055123/55831706649*c_0101_8^5 + 917318738950/18610568883*c_0101_8^4 + 1234493830424/55831706649*c_0101_8^3 - 2771501710024/55831706649*c_0101_8^2 + 350110321490/18610568883*c_0101_8 - 146712048344/55831706649, c_0101_5 - 90042334756/55831706649*c_0101_8^10 + 159664386925/55831706649*c_0101_8^9 + 24500116964/6203522961*c_0101_8^8 - 360435124682/55831706649*c_0101_8^7 - 288107999201/18610568883*c_0101_8^6 + 1474759451933/55831706649*c_0101_8^5 + 66175657577/18610568883*c_0101_8^4 - 395394890354/55831706649*c_0101_8^3 - 874227609455/55831706649*c_0101_8^2 + 125865714781/18610568883*c_0101_8 - 32386607140/55831706649, c_0101_8^11 - 12/11*c_0101_8^10 - 29/11*c_0101_8^9 + 19/11*c_0101_8^8 + 100/11*c_0101_8^7 - 106/11*c_0101_8^6 - 37/11*c_0101_8^5 - 20/11*c_0101_8^4 + 56/11*c_0101_8^3 - 32/11*c_0101_8^2 + 8/11*c_0101_8 - 1/11, c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB