Updates:
Labels: WrongResult
Comment #2 on issue 3633 by [email protected]: Contradictory assumptions
should raise error
http://code.google.com/p/sympy/issues/detail?id=3633
It's this exactly what the DPLL algorithm in the logic module is there to
do? And anyway, the problem is obviously solvable, because the old
assumptions handle it just fine:
In [15]: Symbol('x', positive=True, negative=True)
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 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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
