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?) - Robert --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
