Two questions here: - Should subs be mathematical or structural? I think subs is generally more mathematical (with things like xreplace being purely structural).
- How expensive is checking assumptions? In general, it could be quite expensive. I think it would be useful to at least have an option to subs to check this though. Aaron Meurer On Fri, Apr 24, 2015 at 3:23 AM, Joachim Durchholz <[email protected]> wrote: > 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. -- 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/CAKgW%3D6LTpPJLwB5pYDc6BMK-Ta-nf6Q-DSt6TkhEuyns6pFxhA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
