Status: Valid
Owner: ----
Labels: Type-Defect Priority-Medium Assumptions WrongResult
New issue 3917 by [email protected]: ask and assuming don't check for
contradictory assumptions
http://code.google.com/p/sympy/issues/detail?id=3917
In [21]: ask(Q.positive(x), Q.positive(x) & Q.negative(x))
Out[21]: True
In [24]: with assuming(Q.positive(x) & Q.negative(x)):
print ask(Q.positive(x))
....:
True
Compare to the old system
In [23]: Symbol('x', positive=True, negative=True)
---------------------------------------------------------------------------
InconsistentAssumptions Traceback (most recent call last)
...
InconsistentAssumptions: {'real': True, 'nonzero': True, 'hermitian':
True, 'commutative': True, 'nonpositive': False, 'positive':
True, 'negative': False, 'nonnegative': True, 'zero': False, 'complex':
True, 'imaginary': False}, negative=True
--
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.
