On Sat, Apr 25, 2015 at 1:02 AM, Aaron Meurer <[email protected]> wrote: > 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.
Like, subs(.., strict=True) ? > > 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. -- http://echorand.me -- 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/CANODV3njg7B4oHMtojHxR3g2sPnJ-2B0NwtBGcZY3cX8Fp4w1Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
