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.

Reply via email to