Updates:
Cc: [email protected] [email protected] [email protected]
Comment #2 on issue 3929 by [email protected]: New assumptions handlers
should use logic satisfiability as much as possible
http://code.google.com/p/sympy/issues/detail?id=3929
Yes, exactly. I think once we do this right, the term "handler" won't even
make sense, or at least it won't be anything close to what we have now.
Another problem is that not everything can be expressed with unary
predicates. To reason meaningfully about Q.zero(x+y), we need to say that
it's equal to Eq(x+y, 0).
Yeah, this is the problem we ran into with PR 1907. To handle inequalities
in the current system, everything has to go in the Add handler. It would be
like trying to dispatch solve against type, but then realizing that the
only type that has a nontrivial solve() is Add.
By the way, did you remove the CCs because it was bugging you about the
email. For some reason, you always have to change Tom's email to gmail.com,
and then it will work. It's a bug in the issue tracker
(https://code.google.com/p/support/issues/detail?id=5764), and it actually
prevented me from submitting this issue a couple days ago, because I
thought that it had submitted.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" 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 http://groups.google.com/group/sympy-issues.
For more options, visit https://groups.google.com/groups/opt_out.
