I don't think it does. It probably would be easy to implement. One should just implement MinMaxBase._eval_simplify.
For the Max(ab, ac) = aMax(b, c) case, I believe a needs to be nonnegative. For instance, Max(-1, -2) is -1 but -1*Max(1, 2) is -2. Aaron Meurer On Sat, Mar 12, 2016 at 10:37 PM, <[email protected]> wrote: > Is sympy capable of performing these types of simplifications: > > Max(a + b, a + c) = a + Max(b, c) > Max(ab, ac) = aMax(b, c) > > If not, what is the reason? How difficult would it be to add this type of > functionality? > > Best Regards > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/4da77b02-0c64-46ba-aaa7-30adb332cd18%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6LHiixOrU0MXaDXfxa8a1gXe3OcVAhvDrCC8inUk6nMag%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
