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 sympy+unsubscr...@googlegroups.com.
To post to this group, send email to sympy@googlegroups.com.
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.