Magma V2.19-8 Wed Aug 21 2013 00:00:16 on localhost [Seed = 4122189003] Type ? for help. Type -D to quit. Loading file "K13n1521__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1521 geometric_solution 11.83532350 oriented_manifold CS_known 0.0000000000000002 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 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568306516567 0.878859905792 0 5 7 6 0132 0132 0132 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 0 0 0 0 0 0 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586403570013 0.759022775867 8 0 7 9 0132 0132 0321 0132 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 1 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707922474736 1.246032331677 5 7 8 0 3120 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180486363284 1.398030043439 10 9 0 11 0132 0132 0132 0132 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 -1 1 0 1 0 0 -1 0 6 0 -6 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588503104010 0.811478190154 12 1 10 3 0132 0132 3012 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.618550535404 0.950542351290 12 9 1 9 2103 3012 0132 0213 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 0 1 0 0 0 0 1 -1 0 0 -1 6 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456740567608 0.644502340357 11 3 2 1 1230 3120 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.767602195353 0.974254768942 2 12 3 11 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.047450317482 0.367231633009 6 4 2 6 1230 0132 0132 0213 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 1 0 -1 1 0 -1 0 -6 6 0 0 1 -6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268038346736 1.032864238556 4 5 12 11 0132 1230 0132 1230 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 -1 1 -1 0 0 1 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654294137206 0.524445435098 10 7 4 8 3012 3012 0132 1023 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 -1 0 1 0 -1 0 0 1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659034110649 1.703064293328 5 8 6 10 0132 0132 2103 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.050764594856 1.279029579938 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_7']), 'c_1001_10' : d['c_0101_3'], 'c_1001_12' : d['c_0011_6'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0011_7']), 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : d['c_0101_3'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : 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_0101_10'], '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_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_8']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : negation(d['c_0011_7']), 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_6'], 'c_1100_8' : negation(d['c_1100_0']), '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_6'], '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_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_6'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_0'], 'c_0110_0' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_11'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], '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' : d['c_0101_8'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : negation(d['c_0011_6'])})} 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_11, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_8, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 1142669132078840494354541/1829743011570210914760*c_1100_0^11 - 21718940185436961433338437/7318972046280843659040*c_1100_0^10 + 76561883399755807553691469/25616402161982952806640*c_1100_0^9 - 6479481310915010260161583/1164381916453770582120*c_1100_0^8 + 343949577280817623138673299/8538800720660984268880*c_1100_0^7 - 1222887877798072464018806/23895897539163202245*c_1100_0^6 + 8441153401992313446933/304957168595035152460*c_1100_0^5 - 703878283663432478763287/1601025135123934550415*c_1100_0^4 + 563411387317303331299793/31861196718884269660*c_1100_0^3 - 66681757703073219385709/23895897539163202245*c_1100_0^2 + 325546131007482879090809/145547739556721322765*c_1100_0 + 4098423674794377246718273/1601025135123934550415, c_0011_0 - 1, c_0011_10 - 2460525905859/10488178806160*c_1100_0^11 + 60067888129129/62929072836960*c_1100_0^10 - 44221902777337/73417251643120*c_1100_0^9 + 637892810053/286041240168*c_1100_0^8 - 1549349479619363/110125877464680*c_1100_0^7 + 1223639164344827/110125877464680*c_1100_0^6 - 6475470447373/13765734683085*c_1100_0^5 + 58472272832813/7866134104620*c_1100_0^4 - 78649532274781/13765734683085*c_1100_0^3 + 56133311109761/27531469366170*c_1100_0^2 - 156607029622/417143475245*c_1100_0 - 4762631016061/13765734683085, c_0011_11 - 2906748734729/31464536418480*c_1100_0^11 + 14465175358153/31464536418480*c_1100_0^10 - 16095977695199/27531469366170*c_1100_0^9 + 63074641224/59591925035*c_1100_0^8 - 224672213368941/36708625821560*c_1100_0^7 + 257125914491153/27531469366170*c_1100_0^6 - 54044678346496/13765734683085*c_1100_0^5 - 14356342577/524408940308*c_1100_0^4 - 25670431479453/9177156455390*c_1100_0^3 + 34966411910107/13765734683085*c_1100_0^2 + 198757772162/1251430425735*c_1100_0 + 14071825471327/13765734683085, c_0011_3 + 459719056349/1906941601120*c_1100_0^11 - 5247865208927/5720824803360*c_1100_0^10 + 2533637506529/6674295603920*c_1100_0^9 - 6107194985963/2860412401680*c_1100_0^8 + 5679235278338/417143475245*c_1100_0^7 - 76464622552729/10011443405880*c_1100_0^6 - 3320750353117/1668573900980*c_1100_0^5 - 50050754770/11918385007*c_1100_0^4 + 2548696726397/2502860851470*c_1100_0^3 - 1019267743927/417143475245*c_1100_0^2 - 772778364271/1251430425735*c_1100_0 + 330966101386/1251430425735, c_0011_6 - 8421784847/102490346640*c_1100_0^11 + 72126780307/204980693280*c_1100_0^10 - 207318053473/717432426480*c_1100_0^9 + 2486055247/3105768080*c_1100_0^8 - 1759798863709/358716213240*c_1100_0^7 + 1756731005569/358716213240*c_1100_0^6 - 82435514923/89679053310*c_1100_0^5 - 17885899/1281129333*c_1100_0^4 - 1703357979/2989301777*c_1100_0^3 + 14689962029/8967905331*c_1100_0^2 + 11122492/271754707*c_1100_0 + 2496213869/44839526655, c_0011_7 + 103671016687/1906941601120*c_1100_0^11 - 628586243989/2860412401680*c_1100_0^10 + 2974178054147/20022886811760*c_1100_0^9 - 1667174429699/2860412401680*c_1100_0^8 + 32898732153341/10011443405880*c_1100_0^7 - 8422678903147/3337147801960*c_1100_0^6 + 5006258776489/5005721702940*c_1100_0^5 - 95720010224/35755155021*c_1100_0^4 - 39563811536/250286085147*c_1100_0^3 - 65835834100/250286085147*c_1100_0^2 + 195147080540/250286085147*c_1100_0 - 59964940226/1251430425735, c_0101_0 - 6060712623/68326897760*c_1100_0^11 + 34019164867/102490346640*c_1100_0^10 - 80968659439/717432426480*c_1100_0^9 + 3640854803/4658652120*c_1100_0^8 - 600948133263/119572071080*c_1100_0^7 + 860996074663/358716213240*c_1100_0^6 + 185369790887/179358106620*c_1100_0^5 + 3336648016/1281129333*c_1100_0^4 + 3961305707/29893017770*c_1100_0^3 - 4963849537/29893017770*c_1100_0^2 + 269356372/4076320605*c_1100_0 - 9136453717/44839526655, c_0101_10 + 444049012589/6292907283696*c_1100_0^11 - 656418873673/10488178806160*c_1100_0^10 - 26265525942519/36708625821560*c_1100_0^9 - 252976313797/1430206200840*c_1100_0^8 + 247862636266139/110125877464680*c_1100_0^7 + 213886632068041/22025175492936*c_1100_0^6 - 126834229025632/13765734683085*c_1100_0^5 - 7787382415957/1966533526155*c_1100_0^4 - 40196067582901/27531469366170*c_1100_0^3 + 45831632571587/27531469366170*c_1100_0^2 - 58170543940/83428695049*c_1100_0 - 12397944528887/13765734683085, c_0101_2 + 572207425601/1850855083440*c_1100_0^11 - 5305058022679/3701710166880*c_1100_0^10 + 1743747007895/1295598558408*c_1100_0^9 - 57307640549/21032444130*c_1100_0^8 + 127493678611771/6477992792040*c_1100_0^7 - 37794691083433/1619498198010*c_1100_0^6 - 93642482313/107966546534*c_1100_0^5 - 650894337323/462713770860*c_1100_0^4 + 4543690290523/539832732670*c_1100_0^3 - 737985848263/1619498198010*c_1100_0^2 + 14560625390/14722710891*c_1100_0 + 85803257072/269916366335, c_0101_3 - 13797721515949/62929072836960*c_1100_0^11 + 32734679823929/62929072836960*c_1100_0^10 + 202750939501249/220251754929360*c_1100_0^9 + 717112966961/572082480336*c_1100_0^8 - 268291027410137/27531469366170*c_1100_0^7 - 628412985112399/55062938732340*c_1100_0^6 + 833100391141373/55062938732340*c_1100_0^5 + 64398372950683/7866134104620*c_1100_0^4 + 29723899343631/9177156455390*c_1100_0^3 - 48492785292619/27531469366170*c_1100_0^2 + 1446578751209/1251430425735*c_1100_0 + 8451226625399/13765734683085, c_0101_8 - 712634562577/5720824803360*c_1100_0^11 + 324144612311/715103100420*c_1100_0^10 - 252927049519/2002288681176*c_1100_0^9 + 1083075894711/953470800560*c_1100_0^8 - 23256748038609/3337147801960*c_1100_0^7 + 4779046034131/1668573900980*c_1100_0^6 + 876778099489/1001144340588*c_1100_0^5 + 153248640905/35755155021*c_1100_0^4 - 176425458954/417143475245*c_1100_0^3 + 1029913177113/834286950490*c_1100_0^2 - 336868520293/1251430425735*c_1100_0 - 85678103584/1251430425735, c_1001_2 + 11439310306417/62929072836960*c_1100_0^11 - 17695996944319/20976357612320*c_1100_0^10 + 173975094664109/220251754929360*c_1100_0^9 - 2308257601051/1430206200840*c_1100_0^8 + 645529969403743/55062938732340*c_1100_0^7 - 1531259855051363/110125877464680*c_1100_0^6 - 13036058418491/27531469366170*c_1100_0^5 - 21037140619243/7866134104620*c_1100_0^4 + 43258292958325/5506293873234*c_1100_0^3 - 3564432010494/4588578227695*c_1100_0^2 + 655781489242/1251430425735*c_1100_0 + 596378452482/917715645539, c_1100_0^12 - 32/7*c_1100_0^11 + 188/49*c_1100_0^10 - 376/49*c_1100_0^9 + 3076/49*c_1100_0^8 - 3424/49*c_1100_0^7 - 984/49*c_1100_0^6 + 128/49*c_1100_0^5 + 1696/49*c_1100_0^4 - 32/49*c_1100_0^2 + 128/49*c_1100_0 + 64/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.360 Total time: 9.580 seconds, Total memory usage: 141.62MB