Updates:
Labels: WrongResult
Comment #2 on issue 3633 by asmeu...@gmail.com: 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 sympy-issues+unsubscr...@googlegroups.com.
To post to this group, send email to sympy-issues@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy-issues?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
