Magma V2.19-8 Wed Aug 21 2013 01:02:14 on localhost [Seed = 2277612604] Type ? for help. Type -D to quit. Loading file "L14n14189__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14189 geometric_solution 12.23225928 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 0132 1 1 1 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 1 0 -1 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.823349600283 0.595067910931 0 2 5 4 0132 2310 0132 0132 0 1 0 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 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.256273001553 0.967772274255 5 0 0 1 1302 0132 0321 3201 1 0 0 1 0 0 0 0 1 0 -1 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 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.823349600283 0.595067910931 6 7 0 7 0132 0132 0132 0213 1 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 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231348773636 0.887315286760 6 8 1 9 1230 0132 0132 0132 0 1 1 0 0 0 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 1 -1 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.301459504710 0.696996655887 6 2 8 1 3120 2031 0132 0132 0 1 1 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 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.134662902511 0.564484812553 3 4 10 5 0132 3012 0132 3120 0 1 1 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 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.433503623762 0.779420329749 9 3 11 3 0213 0132 0132 0213 1 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 6 -6 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231348773636 0.887315286760 11 4 12 5 0132 0132 0132 0132 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -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 1 0 0 -1 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.014522332964 1.011226825363 7 10 4 12 0213 0213 0132 0132 0 1 1 1 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 0 0 -1 1 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828378448345 0.959255147171 12 11 9 6 0132 3120 0213 0132 0 1 1 1 0 0 1 -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 0 1 -1 0 0 0 0 -7 7 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891107065557 0.604802045504 8 10 12 7 0132 3120 2310 0132 1 1 1 0 0 1 -1 0 0 0 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 6 -7 1 -1 0 7 -6 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377840726822 0.637011371894 10 11 9 8 0132 3201 0132 0132 0 1 1 1 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 0 0 0 0 0 0 0 0 7 0 -7 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844628605496 0.729920184442 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0110_2']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_10'], 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), '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_11'], 'c_0101_10' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0110_2']), 's_3_1' : negation(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' : negation(d['1']), 'c_1100_12' : d['c_1100_1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), '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_9'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0011_9'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_5'], 'c_1100_9' : d['c_1100_1'], 'c_0110_3' : d['c_0101_12'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0101_12']), 'c_1100_8' : d['c_1100_1']})} 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_5, c_0011_9, c_0101_1, c_0101_11, c_0101_12, c_0110_2, c_1001_10, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 58948814412800447/15490108608424780*c_1100_1^14 - 7814568411406664/3872527152106195*c_1100_1^13 + 8952537168222206/3872527152106195*c_1100_1^12 + 492011924617550013/15490108608424780*c_1100_1^11 - 889915862696529991/15490108608424780*c_1100_1^10 + 26476211476482963/1549010860842478*c_1100_1^9 + 6800432310828203/70409584583749*c_1100_1^8 - 84928320970143264/352047922918745*c_1100_1^7 + 2496842382146749181/15490108608424780*c_1100_1^6 + 3352763657157212897/15490108608424780*c_1100_1^5 - 1060845669088055057/3872527152106195*c_1100_1^4 + 73055490055720207/15490108608424780*c_1100_1^3 + 3245624896516053/21454444055990*c_1100_1^2 - 71492754927057629/1408191691674980*c_1100_1 - 659218526472394289/15490108608424780, c_0011_0 - 1, c_0011_10 - 17167638298/439998792705*c_1100_1^14 + 6465899813/439998792705*c_1100_1^13 + 89731685/87999758541*c_1100_1^12 - 142389171187/439998792705*c_1100_1^11 + 16418819945/29333252847*c_1100_1^10 + 5034439232/87999758541*c_1100_1^9 - 99793551688/87999758541*c_1100_1^8 + 319661355583/146666264235*c_1100_1^7 - 145588770767/146666264235*c_1100_1^6 - 253762785239/87999758541*c_1100_1^5 + 848336262692/439998792705*c_1100_1^4 + 856491704171/439998792705*c_1100_1^3 - 10719645341/7719277065*c_1100_1^2 - 176277911681/146666264235*c_1100_1 + 108023238973/87999758541, c_0011_11 + 636268283/48888754745*c_1100_1^14 - 2869870823/48888754745*c_1100_1^13 + 585781018/9777750949*c_1100_1^12 + 4181168132/48888754745*c_1100_1^11 - 6493601420/9777750949*c_1100_1^10 + 11036040348/9777750949*c_1100_1^9 - 1857753465/9777750949*c_1100_1^8 - 125599568399/48888754745*c_1100_1^7 + 268807985991/48888754745*c_1100_1^6 - 33131566983/9777750949*c_1100_1^5 - 201224165057/48888754745*c_1100_1^4 + 436781624189/48888754745*c_1100_1^3 - 10357997522/2573092355*c_1100_1^2 - 143972893897/48888754745*c_1100_1 + 31047850842/9777750949, c_0011_3 + 1195754984/87999758541*c_1100_1^14 - 10141336810/87999758541*c_1100_1^13 + 6020183257/87999758541*c_1100_1^12 + 5924729039/87999758541*c_1100_1^11 - 33046324229/29333252847*c_1100_1^10 + 160991158303/87999758541*c_1100_1^9 - 8478423389/87999758541*c_1100_1^8 - 113332360493/29333252847*c_1100_1^7 + 247653804838/29333252847*c_1100_1^6 - 429256161904/87999758541*c_1100_1^5 - 660969763939/87999758541*c_1100_1^4 + 929133622064/87999758541*c_1100_1^3 - 5632624049/1543855413*c_1100_1^2 - 75981852803/29333252847*c_1100_1 + 243333696662/87999758541, c_0011_5 + 6484104134/48888754745*c_1100_1^14 + 640680566/48888754745*c_1100_1^13 + 148405715/9777750949*c_1100_1^12 + 58130094566/48888754745*c_1100_1^11 - 13243887057/9777750949*c_1100_1^10 - 7927681730/9777750949*c_1100_1^9 + 40896911440/9777750949*c_1100_1^8 - 336744458337/48888754745*c_1100_1^7 + 12309090523/48888754745*c_1100_1^6 + 122363296905/9777750949*c_1100_1^5 - 355571096611/48888754745*c_1100_1^4 - 235539839393/48888754745*c_1100_1^3 + 15818898209/2573092355*c_1100_1^2 - 14458587806/48888754745*c_1100_1 - 16159889856/9777750949, c_0011_9 - 1542041669/87999758541*c_1100_1^14 + 4430543461/87999758541*c_1100_1^13 - 2893508050/87999758541*c_1100_1^12 - 9607910579/87999758541*c_1100_1^11 + 17618178290/29333252847*c_1100_1^10 - 60478759591/87999758541*c_1100_1^9 - 17924121904/87999758541*c_1100_1^8 + 59450392163/29333252847*c_1100_1^7 - 102624347929/29333252847*c_1100_1^6 + 94598358067/87999758541*c_1100_1^5 + 270864855106/87999758541*c_1100_1^4 - 286542551030/87999758541*c_1100_1^3 + 2170319933/1543855413*c_1100_1^2 + 13157858993/29333252847*c_1100_1 - 73188079922/87999758541, c_0101_1 - 1, c_0101_11 - 640680566/48888754745*c_1100_1^14 - 101348009/48888754745*c_1100_1^13 + 193774243/9777750949*c_1100_1^12 - 5332552829/48888754745*c_1100_1^11 + 1167898807/9777750949*c_1100_1^10 + 3048239902/9777750949*c_1100_1^9 - 5874429651/9777750949*c_1100_1^8 + 20540386778/48888754745*c_1100_1^7 + 48903019398/48888754745*c_1100_1^6 - 25685203502/9777750949*c_1100_1^5 + 29103137864/48888754745*c_1100_1^4 + 170668445242/48888754745*c_1100_1^3 - 6967659551/2573092355*c_1100_1^2 - 14452466461/48888754745*c_1100_1 + 16260630814/9777750949, c_0101_12 + 6951516461/439998792705*c_1100_1^14 + 30158361449/439998792705*c_1100_1^13 - 2350252714/87999758541*c_1100_1^12 + 73458977954/439998792705*c_1100_1^11 + 13309608962/29333252847*c_1100_1^10 - 101798544031/87999758541*c_1100_1^9 + 62690167787/87999758541*c_1100_1^8 + 191416402504/146666264235*c_1100_1^7 - 758742569351/146666264235*c_1100_1^6 + 433673845678/87999758541*c_1100_1^5 + 1693044051506/439998792705*c_1100_1^4 - 3566834109187/439998792705*c_1100_1^3 + 33147321472/7719277065*c_1100_1^2 + 330034523602/146666264235*c_1100_1 - 264119823254/87999758541, c_0110_2 - 6484104134/48888754745*c_1100_1^14 - 640680566/48888754745*c_1100_1^13 - 148405715/9777750949*c_1100_1^12 - 58130094566/48888754745*c_1100_1^11 + 13243887057/9777750949*c_1100_1^10 + 7927681730/9777750949*c_1100_1^9 - 40896911440/9777750949*c_1100_1^8 + 336744458337/48888754745*c_1100_1^7 - 12309090523/48888754745*c_1100_1^6 - 122363296905/9777750949*c_1100_1^5 + 355571096611/48888754745*c_1100_1^4 + 235539839393/48888754745*c_1100_1^3 - 15818898209/2573092355*c_1100_1^2 - 34430166939/48888754745*c_1100_1 + 16159889856/9777750949, c_1001_10 - 457956773/9777750949*c_1100_1^14 + 546037631/9777750949*c_1100_1^13 - 520284756/9777750949*c_1100_1^12 - 3675892037/9777750949*c_1100_1^11 + 9845001552/9777750949*c_1100_1^10 - 7559380856/9777750949*c_1100_1^9 - 9674678444/9777750949*c_1100_1^8 + 40608979612/9777750949*c_1100_1^7 - 47612821868/9777750949*c_1100_1^6 - 7842088892/9777750949*c_1100_1^5 + 58122933848/9777750949*c_1100_1^4 - 54268312808/9777750949*c_1100_1^3 + 390698003/514618471*c_1100_1^2 + 22725793270/9777750949*c_1100_1 - 14502948112/9777750949, c_1001_2 - 11108550122/146666264235*c_1100_1^14 + 2764787842/146666264235*c_1100_1^13 - 937365908/29333252847*c_1100_1^12 - 97516207283/146666264235*c_1100_1^11 + 9686461735/9777750949*c_1100_1^10 - 436274156/29333252847*c_1100_1^9 - 64649081630/29333252847*c_1100_1^8 + 229114715762/48888754745*c_1100_1^7 - 103432709743/48888754745*c_1100_1^6 - 167496830908/29333252847*c_1100_1^5 + 879379671583/146666264235*c_1100_1^4 - 68163034556/146666264235*c_1100_1^3 - 7649989659/2573092355*c_1100_1^2 + 100287390356/48888754745*c_1100_1 - 7063081042/29333252847, c_1100_1^15 - c_1100_1^14 + 9*c_1100_1^12 - 20*c_1100_1^11 + 5*c_1100_1^10 + 40*c_1100_1^9 - 88*c_1100_1^8 + 57*c_1100_1^7 + 100*c_1100_1^6 - 169*c_1100_1^5 + 23*c_1100_1^4 + 109*c_1100_1^3 - 69*c_1100_1^2 - 20*c_1100_1 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.490 seconds, Total memory usage: 32.09MB