I think, just like the old assumptions it should also consider the cases
where the product might be NaN.
On Sat, Mar 21, 2015 at 2:36 AM, Joachim Durchholz <j...@durchholz.org> wrote:
> 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.
>
--
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/CAFW_KCQ0%3DKJRhJhoJjyt3w%2BgZmZ1qczos3iYqoiz7%2B%3Dt2GVY7A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
