To be as general as possible, we can consider it as a
special case of a^(b=c). transform to a^b=a^c. Maybe (a=b)^c is
a^c=b^c. What
about (a=b)^(c=d)??? a^(c=d)=b^(c=d) ---> (a^c=a^d) = .... or
something else..
How does it generalize to every function, e.g. f(a=b) is f(a)=f(b)? or
f(x,a=b) is that f(x,a)=f(x,b) ?
a^bOn 8/5/2011 8:03 AM, Karl-Dieter Crisman wrote:
> We got a bug report in Sage (an error raised) which led to the
> following experiment.
>
> (%i1) %e^(y=x);
> y = x
> (%o1) %e
> (%i2) log(y=x);
> (%o2) log(y) = log(x)
>
>
> I know that Maxima is very careful (or at least usually is) with
> automatic simplification of things involving exponents, but I'm trying
> to think of what interpretation the first result would have other than
> %e^y=%e^x.
>
> If there isn't, then this should be simplified; if there is, then
> we'll be sure to figure out how to fix the error while leaving that
> interpretation as Maxima has it.
>
> Thanks for any input!
> Karl-Dieter
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima