Magma V2.19-8 Tue Aug 20 2013 23:39:38 on localhost [Seed = 54880066] Type ? for help. Type -D to quit. Loading file "K14n12222__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12222 geometric_solution 9.59699013 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 1 0 0 2 0132 3201 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 -1 0 1 0 0 1 -1 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.140884970873 0.738959568496 0 2 4 3 0132 2310 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 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.208591221049 1.108852061869 5 6 0 1 0132 0132 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 -1 0 1 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.297073884524 1.537696351683 6 7 1 8 3012 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 -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.525035412623 1.501108530818 9 5 8 1 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 1 -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 0 0 -0.057276885337 0.922970094850 2 4 7 9 0132 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 1 0 -1 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.373975040730 0.337037319761 9 2 10 3 1023 0132 0132 1230 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 13 0 -14 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.759354527578 1.370243725657 8 3 5 10 0213 0132 0321 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.565329598256 0.522802258951 7 10 3 4 0213 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.053294470210 0.600308523463 4 6 5 10 0132 1023 0132 1302 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 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404491747686 0.776440776135 8 7 9 6 1023 1302 2031 0132 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 -1 0 -13 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623731913902 0.325058953300 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_1001_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_0101_10'], 'c_1010_10' : negation(d['c_1001_1']), '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' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_1001_1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_0011_0'], 'c_1100_10' : negation(d['c_0011_3']), 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : negation(d['c_1001_1']), 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0101_6'], 'c_1100_8' : d['c_1100_1'], '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_2']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_3']})} 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_2, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_6, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 1488413894630404218673775570181/720154075561106363965663910167*c_11\ 00_1^9 - 9782190400590990998271154403106/72015407556110636396566391\ 0167*c_1100_1^8 - 10123158756247074158942550253705/7201540755611063\ 63965663910167*c_1100_1^7 + 155646737201473447446936833412529/14403\ 08151122212727931327820334*c_1100_1^6 - 275084512314078373675850905415751/720154075561106363965663910167*c_\ 1100_1^5 + 2534511331568679635981704902383/144030815112221272793132\ 7820334*c_1100_1^4 - 368140735310394343640675605985275/720154075561\ 106363965663910167*c_1100_1^3 - 540925817282322691156198038596219/7\ 20154075561106363965663910167*c_1100_1^2 - 1914300313526406075727897591742159/1440308151122212727931327820334*\ c_1100_1 - 159726062212969349146987728026111/7201540755611063639656\ 63910167, c_0011_0 - 1, c_0011_10 - 399393420301124876682/332557365764796008927597*c_1100_1^9 + 2536762201042974825894/332557365764796008927597*c_1100_1^8 + 2797246069043324405071/332557365764796008927597*c_1100_1^7 - 16726694137535815129381/332557365764796008927597*c_1100_1^6 + 70460312623218913897361/332557365764796008927597*c_1100_1^5 - 10734470871952932046329/332557365764796008927597*c_1100_1^4 + 210784356855939957531700/332557365764796008927597*c_1100_1^3 + 105827243400581905857461/332557365764796008927597*c_1100_1^2 + 233129913210626987579886/332557365764796008927597*c_1100_1 + 139089185087518288976292/332557365764796008927597, c_0011_2 - 329070000119125462767/332557365764796008927597*c_1100_1^9 + 1902647660384017107384/332557365764796008927597*c_1100_1^8 + 4342917476264945360350/332557365764796008927597*c_1100_1^7 - 16798141421765921890888/332557365764796008927597*c_1100_1^6 + 37278178788757043844333/332557365764796008927597*c_1100_1^5 + 49053210420804918877638/332557365764796008927597*c_1100_1^4 + 81887325882043413219883/332557365764796008927597*c_1100_1^3 + 91810581002257715739032/332557365764796008927597*c_1100_1^2 + 97159895421383193341390/332557365764796008927597*c_1100_1 + 78160711295869591150157/332557365764796008927597, c_0011_3 - 59138779758051120732/25581335828061231455969*c_1100_1^9 + 369080642949465318609/25581335828061231455969*c_1100_1^8 + 574530099601124579906/25581335828061231455969*c_1100_1^7 - 3253021322940656001216/25581335828061231455969*c_1100_1^6 + 9662707089989550294086/25581335828061231455969*c_1100_1^5 + 5687309912072611506133/25581335828061231455969*c_1100_1^4 + 7184171860389563034388/25581335828061231455969*c_1100_1^3 + 30582116983160408759527/25581335828061231455969*c_1100_1^2 + 29798363181673820706528/25581335828061231455969*c_1100_1 + 16626945803680099422130/25581335828061231455969, c_0101_0 - 68342803119755255790/25581335828061231455969*c_1100_1^9 + 504433362343806798885/25581335828061231455969*c_1100_1^8 + 52700231312876948142/25581335828061231455969*c_1100_1^7 - 3577584238439648252645/25581335828061231455969*c_1100_1^6 + 15641447236093500104304/25581335828061231455969*c_1100_1^5 - 13920545902796682605356/25581335828061231455969*c_1100_1^4 + 27333010481702871242212/25581335828061231455969*c_1100_1^3 + 8720872539581087570656/25581335828061231455969*c_1100_1^2 + 20183586105168297898230/25581335828061231455969*c_1100_1 - 22996268720965842017809/25581335828061231455969, c_0101_1 + 20011463406576016902/25581335828061231455969*c_1100_1^9 - 120686889435729426876/25581335828061231455969*c_1100_1^8 - 203831713196601973514/25581335828061231455969*c_1100_1^7 + 919929737744449554943/25581335828061231455969*c_1100_1^6 - 2932583329335445537540/25581335828061231455969*c_1100_1^5 - 1764188078757212609665/25581335828061231455969*c_1100_1^4 - 7621107895455686258060/25581335828061231455969*c_1100_1^3 - 984483046716131393878/25581335828061231455969*c_1100_1^2 - 20807252035415599282442/25581335828061231455969*c_1100_1 + 5786231568121499052488/25581335828061231455969, c_0101_10 + 139244396015636656956/332557365764796008927597*c_1100_1^9 - 967832638378492276506/332557365764796008927597*c_1100_1^8 - 147433797487498749389/332557365764796008927597*c_1100_1^7 + 4767607546857970915122/332557365764796008927597*c_1100_1^6 - 32336729341858121909341/332557365764796008927597*c_1100_1^5 + 33668915895796695971974/332557365764796008927597*c_1100_1^4 - 111709954215016036176920/332557365764796008927597*c_1100_1^3 - 93028963793272197737047/332557365764796008927597*c_1100_1^2 + 37364363249775803091860/332557365764796008927597*c_1100_1 - 214310195473097776658636/332557365764796008927597, c_0101_4 - 40022926813152033804/25581335828061231455969*c_1100_1^9 + 241373778871458853752/25581335828061231455969*c_1100_1^8 + 407663426393203947028/25581335828061231455969*c_1100_1^7 - 1839859475488899109886/25581335828061231455969*c_1100_1^6 + 5865166658670891075080/25581335828061231455969*c_1100_1^5 + 3528376157514425219330/25581335828061231455969*c_1100_1^4 + 15242215790911372516120/25581335828061231455969*c_1100_1^3 + 1968966093432262787756/25581335828061231455969*c_1100_1^2 + 16033168242769967108915/25581335828061231455969*c_1100_1 + 14008872691818233350993/25581335828061231455969, c_0101_6 + 46295937405793590102/25581335828061231455969*c_1100_1^9 - 340081766091408047874/25581335828061231455969*c_1100_1^8 - 56939772980568350950/25581335828061231455969*c_1100_1^7 + 2500487572508299685581/25581335828061231455969*c_1100_1^6 - 10581390801009895932976/25581335828061231455969*c_1100_1^5 + 8716819161936102553620/25581335828061231455969*c_1100_1^4 - 16245539615645881326556/25581335828061231455969*c_1100_1^3 - 9806338750080071329336/25581335828061231455969*c_1100_1^2 - 10741130183928948431982/25581335828061231455969*c_1100_1 + 4675405948334228221447/25581335828061231455969, c_1001_1 + 439734136735539106749/332557365764796008927597*c_1100_1^9 - 2895400697959032034533/332557365764796008927597*c_1100_1^8 - 3125973818549674178428/332557365764796008927597*c_1100_1^7 + 25491135776462606124920/332557365764796008927597*c_1100_1^6 - 88337013381107109978785/332557365764796008927597*c_1100_1^5 - 24881818436139030702091/332557365764796008927597*c_1100_1^4 - 11506908303020906227161/332557365764796008927597*c_1100_1^3 - 305756939778827598134819/332557365764796008927597*c_1100_1^2 - 290218825940376475843474/332557365764796008927597*c_1100_1 - 137989584151971701337533/332557365764796008927597, c_1100_1^10 - 20/3*c_1100_1^9 - 52/9*c_1100_1^8 + 452/9*c_1100_1^7 - 1729/9*c_1100_1^6 + 358/9*c_1100_1^5 - 2924/9*c_1100_1^4 - 2962/9*c_1100_1^3 - 6374/9*c_1100_1^2 - 1592/9*c_1100_1 - 2087/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.550 Total time: 0.770 seconds, Total memory usage: 32.09MB