The following note appears in piecewise_fold and I can't see the reason for not returning the expression that it tries to avoid. Can anyone enlighten me?
# If expr is Boolean, we must return some kind of PiecewiseBoolean. # This is constructed by means of Or, And and Not. # piecewise_fold(0 < Piecewise( (sin(x), x<0), (cos(x), True))) # can't return Piecewise((0 < sin(x), x < 0), (0 < cos(x), True)) <---- what's wrong with this? # but instead Or(And(x < 0, 0 < sin(x)), And(0 < cos(x), Not(x<0))) /c -- 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/547f0eca-5030-41ee-9eea-978079c1af0f%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
