Magma V2.19-8 Wed Aug 21 2013 01:03:35 on localhost [Seed = 2934486686] Type ? for help. Type -D to quit. Loading file "L14n20508__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n20508 geometric_solution 11.94287245 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 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 -1 0 1 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.816067674779 0.538047591843 0 5 7 6 0132 0132 0132 0132 0 1 1 1 0 1 -2 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 0 0 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 1.010707043989 0.313335580571 5 0 8 3 3012 0132 0132 1302 1 0 1 1 0 0 0 0 -1 0 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 1 0 -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.816067674779 0.538047591843 9 4 2 0 0132 1302 2031 0132 1 1 1 0 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 -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.171716353811 0.791413335665 10 11 0 3 0132 0132 0132 2031 1 1 0 1 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 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.738166049106 1.206750992952 11 1 8 2 3012 0132 3012 1230 0 1 1 1 0 -1 0 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 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.896945372888 0.983703328446 9 10 1 12 2103 0132 0132 0132 0 1 0 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 0 0 0 0 0 -1 1 1 0 0 -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 1.190681366667 1.057745139083 10 8 9 1 3120 1023 0132 0132 0 1 1 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 0 0 0 0 0 0 0 0 -1 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.758918185996 0.654438071742 7 5 10 2 1023 1230 1023 0132 1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265193106559 0.744066957937 3 12 6 7 0132 0132 2103 0132 0 1 0 1 0 -2 0 2 0 0 0 0 0 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 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.649756220337 0.589629505638 4 6 8 7 0132 0132 1023 3120 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 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.574985860775 1.192485663586 12 4 12 5 3120 0132 2103 1230 1 1 1 0 0 -1 1 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 -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.341754249156 0.558696124464 11 9 6 11 2103 0132 0132 3120 0 1 1 0 0 2 -1 -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 1 -1 0 -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.203253649903 1.302512255750 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0101_8'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : negation(d['c_0011_7']), 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_5'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : negation(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_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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : negation(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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_0']), 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_12'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_7']), 'c_1010_0' : d['c_0101_5'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_5'], 'c_1100_8' : d['c_0101_3'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_12']), 'c_0011_8' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_0'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_0'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_12, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0101_8, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 3500124082370497076654343/384641190527493579987160*c_1001_0^14 + 430867514998661747031349/22625952383970210587480*c_1001_0^13 + 7192734775460953371042801/48080148815936697498395*c_1001_0^12 + 834726125375652912196519/15699640429693615509680*c_1001_0^11 - 220530848825118645259525277/192320595263746789993580*c_1001_0^10 - 2113504153510240298103082999/769282381054987159974320*c_1001_0^9 - 463110220881419586880835/1131297619198510529374*c_1001_0^8 + 1113822041771574444817664931/109897483007855308567760*c_1001_0^7 + 19366022422278625029989427071/769282381054987159974320*c_1001_0^6 + 1644792478554102930265294894/48080148815936697498395*c_1001_0^5 + 23906451731604890132380026851/769282381054987159974320*c_1001_0^4 + 967491906891715625929608223/48080148815936697498395*c_1001_0^3 + 7242633447584424020013191941/769282381054987159974320*c_1001_0^2 + 2336940940221664556727057219/769282381054987159974320*c_1001_0 + 52139638408778473862627649/96160297631873394996790, c_0011_0 - 1, c_0011_10 - 291579099294/1801725185833*c_1001_0^14 + 556109203746/1801725185833*c_1001_0^13 + 5109628125432/1801725185833*c_1001_0^12 + 1870293517239/1801725185833*c_1001_0^11 - 38787996470712/1801725185833*c_1001_0^10 - 92244043209660/1801725185833*c_1001_0^9 - 6827129778519/1801725185833*c_1001_0^8 + 349379401952739/1801725185833*c_1001_0^7 + 827463169161609/1801725185833*c_1001_0^6 + 1066290952411677/1801725185833*c_1001_0^5 + 914489564063001/1801725185833*c_1001_0^4 + 556718462599721/1801725185833*c_1001_0^3 + 253125891628235/1801725185833*c_1001_0^2 + 78991807478484/1801725185833*c_1001_0 + 15707057856590/1801725185833, c_0011_12 + 1398112045612/88284534105817*c_1001_0^14 + 6555883783520/88284534105817*c_1001_0^13 - 59564473961130/88284534105817*c_1001_0^12 - 2199249555098/1801725185833*c_1001_0^11 + 329271711432626/88284534105817*c_1001_0^10 + 1429998946533746/88284534105817*c_1001_0^9 + 1009639377237594/88284534105817*c_1001_0^8 - 523440800494170/12612076300831*c_1001_0^7 - 11489426819791468/88284534105817*c_1001_0^6 - 16199083650119364/88284534105817*c_1001_0^5 - 14565958014759180/88284534105817*c_1001_0^4 - 8884666427741550/88284534105817*c_1001_0^3 - 4109248226351451/88284534105817*c_1001_0^2 - 1225148820792402/88284534105817*c_1001_0 - 249257438047325/88284534105817, c_0011_7 - 22511127484238/88284534105817*c_1001_0^14 + 81949397203334/88284534105817*c_1001_0^13 + 256107573373560/88284534105817*c_1001_0^12 - 6323158461769/1801725185833*c_1001_0^11 - 2504384592112440/88284534105817*c_1001_0^10 - 2788229244052571/88284534105817*c_1001_0^9 + 4706323596145550/88284534105817*c_1001_0^8 + 2814069102050496/12612076300831*c_1001_0^7 + 29891451010243894/88284534105817*c_1001_0^6 + 27077046443214268/88284534105817*c_1001_0^5 + 14855211204933880/88284534105817*c_1001_0^4 + 4889657175469366/88284534105817*c_1001_0^3 + 126414525784544/88284534105817*c_1001_0^2 - 487081888987434/88284534105817*c_1001_0 - 338082002974040/88284534105817, c_0101_0 - 52138324528792/88284534105817*c_1001_0^14 + 164607073125132/88284534105817*c_1001_0^13 + 674574518051394/88284534105817*c_1001_0^12 - 8115725358910/1801725185833*c_1001_0^11 - 6008845240203200/88284534105817*c_1001_0^10 - 9382545007123791/88284534105817*c_1001_0^9 + 6551087958985442/88284534105817*c_1001_0^8 + 7044805844920740/12612076300831*c_1001_0^7 + 93210778039060491/88284534105817*c_1001_0^6 + 105755792738518467/88284534105817*c_1001_0^5 + 80801540480493055/88284534105817*c_1001_0^4 + 44632946616233376/88284534105817*c_1001_0^3 + 17408168230117965/88284534105817*c_1001_0^2 + 4716875358736973/88284534105817*c_1001_0 + 521977107186331/88284534105817, c_0101_1 + 1837017585040/12612076300831*c_1001_0^14 - 8232457681864/12612076300831*c_1001_0^13 - 15969471110480/12612076300831*c_1001_0^12 + 6601095222376/1801725185833*c_1001_0^11 + 187097972513132/12612076300831*c_1001_0^10 + 40563371891396/12612076300831*c_1001_0^9 - 632384698973196/12612076300831*c_1001_0^8 - 185392149337184/1801725185833*c_1001_0^7 - 934063115683748/12612076300831*c_1001_0^6 + 212282856096552/12612076300831*c_1001_0^5 + 1083739172370620/12612076300831*c_1001_0^4 + 1061431089322416/12612076300831*c_1001_0^3 + 661337631894537/12612076300831*c_1001_0^2 + 281933133791049/12612076300831*c_1001_0 + 60364955224535/12612076300831, c_0101_10 + 2261873887668/88284534105817*c_1001_0^14 + 2084719975168/88284534105817*c_1001_0^13 - 57907139667304/88284534105817*c_1001_0^12 - 2114558072112/1801725185833*c_1001_0^11 + 321664043285388/88284534105817*c_1001_0^10 + 1485135176402120/88284534105817*c_1001_0^9 + 1470113904224599/88284534105817*c_1001_0^8 - 469529850487406/12612076300831*c_1001_0^7 - 13170605475930612/88284534105817*c_1001_0^6 - 21671603576029426/88284534105817*c_1001_0^5 - 22102659819506999/88284534105817*c_1001_0^4 - 15100284189502292/88284534105817*c_1001_0^3 - 7334426953820104/88284534105817*c_1001_0^2 - 2460849131251724/88284534105817*c_1001_0 - 522622657596429/88284534105817, c_0101_11 - 1824030347248/88284534105817*c_1001_0^14 + 20806056984424/88284534105817*c_1001_0^13 - 24956614323820/88284534105817*c_1001_0^12 - 4310048779248/1801725185833*c_1001_0^11 - 57871768680342/88284534105817*c_1001_0^10 + 1458661026637022/88284534105817*c_1001_0^9 + 2689125203694150/88284534105817*c_1001_0^8 - 138140450318488/12612076300831*c_1001_0^7 - 11209375576960907/88284534105817*c_1001_0^6 - 20596561571872704/88284534105817*c_1001_0^5 - 21502663629742363/88284534105817*c_1001_0^4 - 14486399351671076/88284534105817*c_1001_0^3 - 6942469490042763/88284534105817*c_1001_0^2 - 2292317345282940/88284534105817*c_1001_0 - 489704898073291/88284534105817, c_0101_2 - 1, c_0101_3 + 12590132215054/88284534105817*c_1001_0^14 - 31340835097522/88284534105817*c_1001_0^13 - 198914882229866/88284534105817*c_1001_0^12 + 477866883677/1801725185833*c_1001_0^11 + 1617651890916884/88284534105817*c_1001_0^10 + 3078623453911412/88284534105817*c_1001_0^9 - 1092197282786115/88284534105817*c_1001_0^8 - 1987531927730705/12612076300831*c_1001_0^7 - 28273879487657533/88284534105817*c_1001_0^6 - 32872179209838823/88284534105817*c_1001_0^5 - 25709533791157693/88284534105817*c_1001_0^4 - 14292154015610476/88284534105817*c_1001_0^3 - 5825957454858290/88284534105817*c_1001_0^2 - 1484440107619394/88284534105817*c_1001_0 - 191530083295636/88284534105817, c_0101_5 - 24773001371906/88284534105817*c_1001_0^14 + 79864677228166/88284534105817*c_1001_0^13 + 314014713040864/88284534105817*c_1001_0^12 - 4208600389657/1801725185833*c_1001_0^11 - 2826048635397828/88284534105817*c_1001_0^10 - 4273364420454691/88284534105817*c_1001_0^9 + 3236209691920951/88284534105817*c_1001_0^8 + 3283598952537902/12612076300831*c_1001_0^7 + 43062056486174506/88284534105817*c_1001_0^6 + 48748650019243694/88284534105817*c_1001_0^5 + 36957871024440879/88284534105817*c_1001_0^4 + 19989941364971658/88284534105817*c_1001_0^3 + 7460841479604648/88284534105817*c_1001_0^2 + 1973767242264290/88284534105817*c_1001_0 + 184540654622389/88284534105817, c_0101_8 + 2515724751014/88284534105817*c_1001_0^14 - 17684742835022/88284534105817*c_1001_0^13 + 1835662537225/88284534105817*c_1001_0^12 + 2749898583143/1801725185833*c_1001_0^11 + 162785596181668/88284534105817*c_1001_0^10 - 644013572456930/88284534105817*c_1001_0^9 - 1611492911821890/88284534105817*c_1001_0^8 - 62715861092987/12612076300831*c_1001_0^7 + 4110102957449175/88284534105817*c_1001_0^6 + 8471036823228648/88284534105817*c_1001_0^5 + 9179522559028175/88284534105817*c_1001_0^4 + 6299837620185003/88284534105817*c_1001_0^3 + 3189893835464711/88284534105817*c_1001_0^2 + 1128028528056991/88284534105817*c_1001_0 + 252338524193053/88284534105817, c_1001_0^15 - 2*c_1001_0^14 - 16*c_1001_0^13 - 19/2*c_1001_0^12 + 235/2*c_1001_0^11 + 321*c_1001_0^10 + 293/2*c_1001_0^9 - 1016*c_1001_0^8 - 2990*c_1001_0^7 - 4597*c_1001_0^6 - 4712*c_1001_0^5 - 6957/2*c_1001_0^4 - 1893*c_1001_0^3 - 768*c_1001_0^2 - 215*c_1001_0 - 71/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.410 seconds, Total memory usage: 32.09MB