On Aug 5, 8:58 am, kcrisman <[email protected]> wrote: > Thanks, Maik, for this report. Yes, our Maxima conversion seems to be > at fault. > > sage: var('y') > y > sage: (y==x).log() > log(y == x) > sage: (y==x).log().simplify() # just sends to Maxima and back to Sage > log(y) == log(x) > sage: (y==x).exp() > e^(y == x) > sage: (y==x).exp().simplify() # just sends to Maxima and back to Sage > <boom> > > I'll take a look at this, I doubt it will be very hard to fix, as it > just isn't replacing the "=" from Maxima with "==" again -
It seems to be a bit deeper than this, unfortunately. Something about the parser - perhaps it's not recognizing something about the y=x in the expression tree for exponentiation, but is for log. Interestingly, that means that at least in some cases, the '=' becoming '==' in the Maxima string conversion method somehow wasn't reached or needed with "simplify()", which surprises me (one can insert a print statement to confirm 'equals_sub' is False there). - kcrisman -- 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 URL: http://www.sagemath.org
