Am 17.03.2015 um 05:17 schrieb Sudhanshu Mishra:
c) Let x.is_* API be there but handle it with new assumptions
(Probably we do not have a consensus here)
Actually I see two reasons to do that:
1) Compatibility
2) New assumptions can be clunky:
from sympy.abc import x, y, z
ask(Q.even(x*y*(y + z)),
Q.integer(x) & Q.integer(y) & Q.even(z))
Old is much more straightforward, though at the price of some set-up
verbosity:
x = Symbol('x', integer=True)
y = Symbol('y', integer=True)
m = Symbol('m', even=True)
(x*y*(y + z)).is_even
(Note that the API for new assumptions may improve, so this is a weaker
argument than it might seem at first)
Compatibility is very important if the old assumptions system is being
used by SymPy users.
--
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 sympy+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/5507DBB9.10205%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.