Exception don't handle the Indeterminate or True => True case.
If you really need the entire logic then the imho best solution is to be
explicit; Define values True3, False3, Undefined3 that are independent of
booleans and function Bool3.and(), Bool3.or(), ... for logic.
On Wednesday, November 16, 2016 at 3:00:12 PM UTC+1, mmarco wrote:
>
> The way I would handle those cases, is by raising an exception. The same
> way that you raise an exception when the software is not able to give any
> other answer that you might ask.
>
>
> El martes, 15 de noviembre de 2016, 8:22:15 (UTC+1), tdumont escribió:
>>
>> 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.
