What answer should be expected when it is not possible to show that an expression is zero? Would you expect that
ex.is_zero() = not(ex.is_nonzero()) ? I suppose that I should expect True or False from bool(ex=0) and False in the case that it cannot be shown to be true. But I am not so sure about is_... Do you expect only two possible outcomes and an runtime error in the case of a failure to decide one or the other? On 24 September 2015 at 02:47, Ralf Stephan <gtrw...@gmail.com> wrote: >> ex.is_zero(simplify=False) >> ex.is_zero(simplify=True) > > > This fits if ex is an equality. But what about: if x>0 ? > Two functions are necessary for inequalities because (x>0).__nonzero__ > is called by (x>0)._cmp_ in case of eg. uniq(list of exes) and > here print or alphabetical order is called for, not proof. > > So there is still a need for hold/truth() etc it seems. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
