Timothy Clemans wrote:
> +1
> 
> On Wed, Apr 2, 2008 at 12:12 PM, Jason Grout
> <[EMAIL PROTECTED]> wrote:
>>  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


This is now #2781.  A preliminary patch is up there now.

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

Reply via email to