#8413: Add "Unknown" truth value
------------------------------+---------------------------------------------
Reporter: hivert | Owner: hivert
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.3.4
Component: misc | Keywords: Unknown Boolean
Author: Florent Hivert | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
As discussed on [http://groups.google.com/group/sage-
devel/t/5d9c32390ffe3c96 sage-devel] it could be good to have an "Unkown"
value in sage which semantic is a truth value. Here are the intended truth
table:
{{{
and or
F U T F U T
F [F, F, F] F [F, U, T]
U [F, U, U] U [U, U, T]
T [F, U, T] T [T, T, T]
}}}
Unfortunately, without [http://www.python.org/dev/peps/pep-0335/ PEP 335],
there is no way to achieve this with python's "and" and "or".
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8413>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
