When developing a software which aims to prove something, it seems necessary to be able to return something in {True, False, Indeterminate}.
Of course, there are many possibilities to do this, but is there a "canonical" one in Sage ? In C++, for example, there exists the Boost Tribool library (http://www.boost.org/doc/libs/1_62_0/doc/html/tribool.html#tribool.introduction) . t.d. -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
<<attachment: tdumont.vcf>>