On Jun 4, 2008, at 4:57 PM, Carl Witty wrote: > > On Jun 4, 4:16 pm, Robert Bradshaw <[EMAIL PROTECTED]> > wrote: >> On Jun 4, 2008, at 2:46 PM, Jason Grout wrote: >> >>> Of course, bool(some equation) returning False does not necessarily >>> mean >>> that the two expressions are not equal; it only means that we >>> couldn't >>> prove them to be equal using some simple simplifications. >> >>> From the docstring for _nonzero_ from equation.py (used to >>> implement >>> bool()): >> >>> Return True if this (in)equality is definitely true. Return False >>> if it >>> is false or the algorithm for testing (in)equality is inconclusive. >> >> Should it throw an error in this case? (Is there a way to know if the >> result was inconclusive?) > > In this thread: http://groups.google.com/group/sage-devel/ > browse_thread/thread/bcdc671d2791056e/e086a9d59ff4b9ba > it seems that the consensus was to throw an error here; but nobody > ever implemented it (or even opened a trac ticket, as far as I know).
Thanks for the reference. There's a trac ticket now: http://trac.sagemath.org/sage_trac/ticket/3369 --~--~---------~--~----~------------~-------~--~----~ 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-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
