On Friday, September 25, 2015 at 8:42:12 AM UTC+2, Bill Page wrote:
>
> In Maple 'is' is part of the assume mechanism
>
> http://www.maplesoft.com/support/help/maple/view.aspx?path=assume
>
Thanks. That's it indeed.
and returns True, False or FAIL (if it cannot determine whether the
> property is always satisfied). Maple also has 'evalb' and 'testeq'
> with somewhat different semantics.
>
> Are you proposing a similar "tristate" logic in Sage?
>
Not yet.
Is there somewhere that I can find "Truth(tm)"?
>
I must apologize. This was a joke, of course ("trademark").
--
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.
