Status: Accepted
Owner: asmeurer
Labels: Type-Enhancement Priority-Medium Milestone-Release0.7.2 Assumptions
New issue 2721 by asmeurer: Relational assumptoins
http://code.google.com/p/sympy/issues/detail?id=2721
There are a lot of issues about assumptions, but I didn't see any
specifically about using relational assumptions. The idea is to be able to
use things like x > 0 everywhere in the assumptions system, either asking
if it is true or assuming it to be true.
Note, I am marking this as blocked on the release because there is a note
in the docstring of ask:
**Remarks**
Relations in assumptions are not implemented (yet), so the following
will not give a meaningful result.
>>> ask(Q.positive(x), Q.is_true(x > 0)) # doctest: +SKIP
It is however a work in progress and should be available before
the official release
So if we don't implement this by the next release (very unlikely), this
should be removed.
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.
