IMHO undecidability has exception semantics so really there is only one correct solution, namely raise. Otherwise you get
sage: foo() == bar() # haha both Unknown True On Tuesday, December 1, 2015 at 11:20:53 PM UTC+1, vdelecroix wrote: > > Unknown is not broken. It just does not behave like a tripartite > alternative when used with 'not', 'or' and 'and'. And what is left of logic when you remove all relations? A 3-element set? How is that useful? -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
