Am 20.03.2015 um 13:56 schrieb Sudhanshu Mishra:
I have a question.This one is fine. In [9]: x = Symbol('x', zero=True) In [10]: (x*y).is_zero ------------------------------ Here we didn't give facts about y then why ask returned True? In [3]: ask(Q.zero(x*y), Q.zero(x)) Out[3]: True
I'd assume that x*zero is always zero regardless of the value of x, so this result seems correct. This assumes that x is a number, of course. If we allow anything involving limits for x, then the result should not be True.
-- 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/550C8BE5.3010209%40durchholz.org. For more options, visit https://groups.google.com/d/optout.
