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