Updates:
Labels: NeedsReview
Blockedon: -1928
Comment #8 on issue 1903 by ronan.l...@gmail.com: Unify Assume keys, ask
keys and ask handlers
http://code.google.com/p/sympy/issues/detail?id=1903
I've cleaned up the code, which is now ready for review in the branch
"implement-Predicate"
[http://github.com/rlamy/sympy/commits/implement-Predicate].
* A predicate like Q.integer prints as 'Q.integer' and its srepr is
'Predicate("integer")'. This is a bit inconsistent because
Predicate("integer") and
Q.integer aren't the same object and behave differently, but I feel
nevertheless that
these choices are the most intuitive.
* I've written a docstring for Predicate, but it's not in the branch
submitted for
review (you can see it in the branch "predicate-wip", though) since it
requires a
complete refactoring of Assume's API to make sense.
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to sympy-iss...@googlegroups.com.
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
