Currently, False is returned when bool() is called on a SymbolicEquation
when the equation is really false *or* when it is not known whether it
is true or false. This, of course, makes a return value of False pretty
meaningless.
Can I change this (per cwitty's suggestion) so that if it is not known
if a SymbolicEquation is false or true, an error is thrown?
i.e.:
sage: bool(x<x+1)
True
sage: bool(x>x+1)
False
sage: var('y')
***CURRENTLY***
sage: bool(x<y)
False
***Proposed***
sage: bool(x<y)
Error is thrown
Jason
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
