William Stein wrote: > If expr is a symbolic expression in Sage, then > > bool(expr) > > evaluates to True only if expr can be proved to be True. > Otherwise it always evaluates to False. > > The actual code that decides this is currently in Maxima.
Actually Maxima is equipped to return unknown as well as true or false, but in this case it is jumping to a conclusion. Maxima attempts to determine the sign of asinh(1) - log(1 + sqrt(2)) via numerical evaluation, which yields a small positive residual, and therefore the spurious result; this is a bug. The undocumented flag signbfloat governs the numerical test: is (equal (asinh(1), log(1 + sqrt(2)))), signbfloat=false; => unknown I know this is little consolation, but I';ll forward a bug report to the Maxima mailing list to see what we can do. FWIW Robert Dodier --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@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-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
