On Fri, 2011-08-05 at 09:26 -0700, R Fateman wrote:
> 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) ?
>
>
I wouldn't want desolve(a=b,x) to simplify to
desolve(a,x)=desolve(b,x)! I think every example of a simplification of
this type is a special case and should be considered on its merits. If
enough people would find it useful for %e^(y=x) to simplify to
%e^y=%e^x, then it might be worth adding. Personally I can live with it
either way.
Cheers,
Bernard.