2015-05-12 21:03:27 UTC+2, Jakob Kroeker:


> > Its just behaving as specified, False means "cannot decide"

> I find, this was a pretty unfortunate specification. 
> I think it would be kind of ok in case 'bool()' would be 
> named 'Holds_If_True_Otherwise_Unknown()' instead

Really, bool(x) means known_true(x).
And of course, not(known_true(x))
is not the same as known_false(x).

-- 
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.

Reply via email to