Magma V2.19-8 Tue Aug 20 2013 23:40:12 on localhost [Seed = 1613104350] Type ? for help. Type -D to quit. Loading file "K9a15__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a15 geometric_solution 10.59584051 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 1 0 -1 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406836189818 1.145494299210 0 5 7 6 0132 0132 0132 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 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507578272530 0.821621376103 6 0 3 3 0132 0132 0213 3120 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 -1 0 1 5 0 1 -6 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.364433457293 0.516985328020 2 2 6 0 3120 0213 0132 0132 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 6 0 0 -6 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.364433457293 0.516985328020 5 6 0 7 0132 0132 0132 0132 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 1 -1 -6 0 6 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.507578272530 0.821621376103 4 1 8 9 0132 0132 0132 0132 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 6 0 -6 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.772009565821 0.848445110066 2 4 1 3 0132 0132 0132 0132 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 -5 0 5 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.406836189818 1.145494299210 9 10 4 1 0132 0132 0132 0132 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 -1 1 0 5 0 0 -5 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.772009565821 0.848445110066 9 10 10 5 3120 0321 1302 0132 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 -1 6 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.370258864465 0.530864018643 7 10 5 8 0132 0213 0132 3120 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 1 0 -1 -5 0 0 5 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.885242708505 0.668613819829 8 7 9 8 2031 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370258864465 0.530864018643 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0011_8']), 'c_1010_10' : d['c_1001_5'], '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_0011_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' : negation(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' : negation(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_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_1100_10' : negation(d['c_0011_8']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_1001_5'], 'c_1100_8' : d['c_0011_10'], '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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_10']), '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' : negation(d['c_0011_8']), 'c_0101_7' : d['c_0101_5'], '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_0011_3'], 'c_0101_2' : d['c_0011_3'], '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_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], '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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_5, c_1001_1, c_1001_2, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 15630438941583651056415/84274377524816719177*c_1001_5^22 - 80427581239277953513528/84274377524816719177*c_1001_5^21 - 63464160136100626298699/84274377524816719177*c_1001_5^20 + 462656240840852825557454/84274377524816719177*c_1001_5^19 + 944394968900954553790084/84274377524816719177*c_1001_5^18 - 127152850362383028285546/12039196789259531311*c_1001_5^17 - 3713142708441716755503131/84274377524816719177*c_1001_5^16 - 71611701855354861570424/84274377524816719177*c_1001_5^15 + 7859623268877851748688476/84274377524816719177*c_1001_5^14 + 3523975823688524043185387/84274377524816719177*c_1001_5^13 - 211140509886695844626304/1719885255608504473*c_1001_5^12 - 7612559960939353040009451/84274377524816719177*c_1001_5^11 + 8785786121241936339486070/84274377524816719177*c_1001_5^10 + 1263006506452605770775513/12039196789259531311*c_1001_5^9 - 4651277099883440654189350/84274377524816719177*c_1001_5^8 - 6439785633560835860539036/84274377524816719177*c_1001_5^7 + 1234350403232503144559750/84274377524816719177*c_1001_5^6 + 2993837191840027446092076/84274377524816719177*c_1001_5^5 + 103788480722993464470017/84274377524816719177*c_1001_5^4 - 827942091823781322329681/84274377524816719177*c_1001_5^3 - 191525655730708631210707/84274377524816719177*c_1001_5^2 + 105772200563617377516884/84274377524816719177*c_1001_5 + 46605755361964474816317/84274377524816719177, c_0011_0 - 1, c_0011_10 - 487623499100141475/1719885255608504473*c_1001_5^22 - 2244512029034017820/1719885255608504473*c_1001_5^21 - 103563383429809550/1719885255608504473*c_1001_5^20 + 18509150895171766331/1719885255608504473*c_1001_5^19 + 26182788823723309780/1719885255608504473*c_1001_5^18 - 53715036864881865294/1719885255608504473*c_1001_5^17 - 136227578752065408022/1719885255608504473*c_1001_5^16 + 56589383881263780051/1719885255608504473*c_1001_5^15 + 343102637053981714124/1719885255608504473*c_1001_5^14 + 54453783086398037250/1719885255608504473*c_1001_5^13 - 518597167153529525309/1719885255608504473*c_1001_5^12 - 249699465623399518898/1719885255608504473*c_1001_5^11 + 500577427365907773719/1719885255608504473*c_1001_5^10 + 366034321061781649440/1719885255608504473*c_1001_5^9 - 306490555151253139632/1719885255608504473*c_1001_5^8 - 308092511774873906192/1719885255608504473*c_1001_5^7 + 105801382069969397696/1719885255608504473*c_1001_5^6 + 163104763433031534273/1719885255608504473*c_1001_5^5 - 4781276743924544744/1719885255608504473*c_1001_5^4 - 53643075194530478337/1719885255608504473*c_1001_5^3 - 12882167907665328513/1719885255608504473*c_1001_5^2 + 8824693995650276877/1719885255608504473*c_1001_5 + 5235544960067619910/1719885255608504473, c_0011_3 - 12460788058773063135/1719885255608504473*c_1001_5^22 - 69257471273437943202/1719885255608504473*c_1001_5^21 - 84895607473632704750/1719885255608504473*c_1001_5^20 + 300390143743630721644/1719885255608504473*c_1001_5^19 + 825861070677159561237/1719885255608504473*c_1001_5^18 - 259951930504530041437/1719885255608504473*c_1001_5^17 - 2677879087258769463087/1719885255608504473*c_1001_5^16 - 1116181472882192986999/1719885255608504473*c_1001_5^15 + 4756664883758438050472/1719885255608504473*c_1001_5^14 + 3938638054273838424033/1719885255608504473*c_1001_5^13 - 5163859073133144463722/1719885255608504473*c_1001_5^12 - 6224168084987830852732/1719885255608504473*c_1001_5^11 + 3405457849293340744611/1719885255608504473*c_1001_5^10 + 5992283209018309283309/1719885255608504473*c_1001_5^9 - 1119704428019159654169/1719885255608504473*c_1001_5^8 - 3744445045026632778706/1719885255608504473*c_1001_5^7 - 126942306726316555914/1719885255608504473*c_1001_5^6 + 1500395507029955787943/1719885255608504473*c_1001_5^5 + 303917197413249760669/1719885255608504473*c_1001_5^4 - 346234334788514287000/1719885255608504473*c_1001_5^3 - 131198080191248098379/1719885255608504473*c_1001_5^2 + 33247887204345624381/1719885255608504473*c_1001_5 + 21022326667324194572/1719885255608504473, c_0011_8 + 981504433753983815/1719885255608504473*c_1001_5^22 + 6385044688564453288/1719885255608504473*c_1001_5^21 + 11924778480957538275/1719885255608504473*c_1001_5^20 - 16593735123804004125/1719885255608504473*c_1001_5^19 - 85092523965733403202/1719885255608504473*c_1001_5^18 - 40480367289692411231/1719885255608504473*c_1001_5^17 + 217969403506810429268/1719885255608504473*c_1001_5^16 + 267964800884452518181/1719885255608504473*c_1001_5^15 - 270414428994399383324/1719885255608504473*c_1001_5^14 - 594735088053469635396/1719885255608504473*c_1001_5^13 + 112991022247978681617/1719885255608504473*c_1001_5^12 + 748366671782199208160/1719885255608504473*c_1001_5^11 + 139983656946399936361/1719885255608504473*c_1001_5^10 - 587116440033016630777/1719885255608504473*c_1001_5^9 - 249876462088646151027/1719885255608504473*c_1001_5^8 + 287574809238619539110/1719885255608504473*c_1001_5^7 + 172712285796206120412/1719885255608504473*c_1001_5^6 - 82630744297529174904/1719885255608504473*c_1001_5^5 - 58935069139800211604/1719885255608504473*c_1001_5^4 + 12495251492214924520/1719885255608504473*c_1001_5^3 + 7451182171030964568/1719885255608504473*c_1001_5^2 + 14818175879507828/1719885255608504473*c_1001_5 + 319837875455743593/1719885255608504473, c_0101_0 + 6335815035390286155/1719885255608504473*c_1001_5^22 + 28432879731157708911/1719885255608504473*c_1001_5^21 + 5592886902138968271/1719885255608504473*c_1001_5^20 - 201086338478044998396/1719885255608504473*c_1001_5^19 - 273539491078012978888/1719885255608504473*c_1001_5^18 + 547259939916275610683/1719885255608504473*c_1001_5^17 + 1263287580548688515820/1719885255608504473*c_1001_5^16 - 659451312599172511176/1719885255608504473*c_1001_5^15 - 2930782430535322048561/1719885255608504473*c_1001_5^14 - 268189198172299713/1719885255608504473*c_1001_5^13 + 4151681170634804734171/1719885255608504473*c_1001_5^12 + 1139811765585647958719/1719885255608504473*c_1001_5^11 - 3813987814982095556668/1719885255608504473*c_1001_5^10 - 1739799640222105183457/1719885255608504473*c_1001_5^9 + 2280314481236053404314/1719885255608504473*c_1001_5^8 + 1383680682855361246073/1719885255608504473*c_1001_5^7 - 828132461148190082315/1719885255608504473*c_1001_5^6 - 662528093476183604728/1719885255608504473*c_1001_5^5 + 135800223509960602758/1719885255608504473*c_1001_5^4 + 184765890109508453356/1719885255608504473*c_1001_5^3 + 13990519741399489341/1719885255608504473*c_1001_5^2 - 24331404607862069871/1719885255608504473*c_1001_5 - 6047361187945914752/1719885255608504473, c_0101_1 - c_1001_5, c_0101_5 + 6169051796568824140/1719885255608504473*c_1001_5^22 + 32760494018973476438/1719885255608504473*c_1001_5^21 + 30488493546042527832/1719885255608504473*c_1001_5^20 - 174085486220994872792/1719885255608504473*c_1001_5^19 - 383211756799072502439/1719885255608504473*c_1001_5^18 + 311769494726000691392/1719885255608504473*c_1001_5^17 + 1454366122214012908524/1719885255608504473*c_1001_5^16 + 87920930981749022985/1719885255608504473*c_1001_5^15 - 3060770566357850101477/1719885255608504473*c_1001_5^14 - 1412763472487440668851/1719885255608504473*c_1001_5^13 + 4077578010027563977028/1719885255608504473*c_1001_5^12 + 2973699715000122188822/1719885255608504473*c_1001_5^11 - 3560849090231426681342/1719885255608504473*c_1001_5^10 - 3473701615123411005667/1719885255608504473*c_1001_5^9 + 1978233795230050037549/1719885255608504473*c_1001_5^8 + 2583976434807919706035/1719885255608504473*c_1001_5^7 - 584583049346327713042/1719885255608504473*c_1001_5^6 - 1240915105413722068388/1719885255608504473*c_1001_5^5 - 10795102980119825706/1719885255608504473*c_1001_5^4 + 359160867682715418902/1719885255608504473*c_1001_5^3 + 72541845924666762486/1719885255608504473*c_1001_5^2 - 49019516693498090517/1719885255608504473*c_1001_5 - 19392357320862015757/1719885255608504473, c_1001_1 - 6169051796568824140/1719885255608504473*c_1001_5^22 - 32760494018973476438/1719885255608504473*c_1001_5^21 - 30488493546042527832/1719885255608504473*c_1001_5^20 + 174085486220994872792/1719885255608504473*c_1001_5^19 + 383211756799072502439/1719885255608504473*c_1001_5^18 - 311769494726000691392/1719885255608504473*c_1001_5^17 - 1454366122214012908524/1719885255608504473*c_1001_5^16 - 87920930981749022985/1719885255608504473*c_1001_5^15 + 3060770566357850101477/1719885255608504473*c_1001_5^14 + 1412763472487440668851/1719885255608504473*c_1001_5^13 - 4077578010027563977028/1719885255608504473*c_1001_5^12 - 2973699715000122188822/1719885255608504473*c_1001_5^11 + 3560849090231426681342/1719885255608504473*c_1001_5^10 + 3473701615123411005667/1719885255608504473*c_1001_5^9 - 1978233795230050037549/1719885255608504473*c_1001_5^8 - 2583976434807919706035/1719885255608504473*c_1001_5^7 + 584583049346327713042/1719885255608504473*c_1001_5^6 + 1240915105413722068388/1719885255608504473*c_1001_5^5 + 10795102980119825706/1719885255608504473*c_1001_5^4 - 359160867682715418902/1719885255608504473*c_1001_5^3 - 72541845924666762486/1719885255608504473*c_1001_5^2 + 49019516693498090517/1719885255608504473*c_1001_5 + 19392357320862015757/1719885255608504473, c_1001_2 + 6335815035390286155/1719885255608504473*c_1001_5^22 + 28432879731157708911/1719885255608504473*c_1001_5^21 + 5592886902138968271/1719885255608504473*c_1001_5^20 - 201086338478044998396/1719885255608504473*c_1001_5^19 - 273539491078012978888/1719885255608504473*c_1001_5^18 + 547259939916275610683/1719885255608504473*c_1001_5^17 + 1263287580548688515820/1719885255608504473*c_1001_5^16 - 659451312599172511176/1719885255608504473*c_1001_5^15 - 2930782430535322048561/1719885255608504473*c_1001_5^14 - 268189198172299713/1719885255608504473*c_1001_5^13 + 4151681170634804734171/1719885255608504473*c_1001_5^12 + 1139811765585647958719/1719885255608504473*c_1001_5^11 - 3813987814982095556668/1719885255608504473*c_1001_5^10 - 1739799640222105183457/1719885255608504473*c_1001_5^9 + 2280314481236053404314/1719885255608504473*c_1001_5^8 + 1383680682855361246073/1719885255608504473*c_1001_5^7 - 828132461148190082315/1719885255608504473*c_1001_5^6 - 662528093476183604728/1719885255608504473*c_1001_5^5 + 135800223509960602758/1719885255608504473*c_1001_5^4 + 184765890109508453356/1719885255608504473*c_1001_5^3 + 13990519741399489341/1719885255608504473*c_1001_5^2 - 24331404607862069871/1719885255608504473*c_1001_5 - 6047361187945914752/1719885255608504473, c_1001_5^23 + 31/5*c_1001_5^22 + 51/5*c_1001_5^21 - 104/5*c_1001_5^20 - 417/5*c_1001_5^19 - 91/5*c_1001_5^18 + 241*c_1001_5^17 + 1146/5*c_1001_5^16 - 1794/5*c_1001_5^15 - 2946/5*c_1001_5^14 + 1302/5*c_1001_5^13 + 4164/5*c_1001_5^12 + 58/5*c_1001_5^11 - 742*c_1001_5^10 - 1066/5*c_1001_5^9 + 425*c_1001_5^8 + 1083/5*c_1001_5^7 - 146*c_1001_5^6 - 115*c_1001_5^5 + 103/5*c_1001_5^4 + 171/5*c_1001_5^3 + 18/5*c_1001_5^2 - 23/5*c_1001_5 - 7/5, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB