Am 23.04.2015 um 23:57 schrieb Amit Saha:
My thinking is if x is declared to be positive, substituting negative
values should result in an error. Does that make sense?
To me it does.
Personally, I'd prefer to label it as "just an inconsistency", such as
asserting And(Q, ~Q), or asking for the solution of a overdetermined
linear system.
People like to ignore inconsistencies if they don't matter. E.g.
And(False, And(Q, ~Q)) is often considered to be False.
I don't know how SymPy handles inconsistencies.
--
You received this message because you are subscribed to the Google Groups
"sympy" 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.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/5539FD8E.7090908%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.
