2022-09-15 12:44:11 +0200 | received badge | ● Notable Question (source) |
2020-10-14 11:47:42 +0200 | received badge | ● Popular Question (source) |
2016-10-15 12:58:05 +0200 | received badge | ● Supporter (source) |
2015-03-18 00:07:48 +0200 | commented question | max_symbolic and distributive law with multiplication You are of course right, and I simply forgot to copy the corresponding lines from my worksheet. They are included now. |
2015-03-18 00:06:12 +0200 | received badge | ● Editor (source) |
2015-03-17 09:45:14 +0200 | received badge | ● Student (source) |
2015-03-17 06:12:56 +0200 | asked a question | max_symbolic and distributive law with multiplication Minimum and maximum are distributive over multiplication of non-negative numbers, i.e., if a,b,c >= 0 then a * max{ b, c } = max { ab, ac } and the same works for min{}. How can I exploit this in sagemath? Consider the followiing: This does not work as expected: Simplify does not do the simplification I want it to do, which should yield or even better Needless to say, I have also tried So, I wonder, am I missing out on some other fancy function here, or is there a (hopefully easy) way to add a distributive law-feature to the max_symbolic function? |