1 | initial version |
More generally, if you ask for a boolean, you should know that Sage is not able to answer Unknown
, hence it will usually answer False
when it is not able to prove that answer is True
, which is not what mathematicians usually expect.
Actually, there exists an Unknown
truth value in Sage but then python will not be able to deal correctly with boolean operations, see
sage: Unknown?
and PEP 335 for more information about this, which was unfortunately rejected, preventing Sage to deal with "proved True", "proved False", "Unable to prove".