[GiNaC-list] Fw: [sage-support] (5-e^x).substitute(x=log(x)) goes wrong?

[Richard B. Kreckel]

Richard B. Kreckel wrote:
> On the other hand, the intent (as advertised e.g. in the tutorial) is to 
> syntactically substitute functions of a certain kind etc., so, assuming 
> three hypothetical function f, g, and h where f(h(x)) evaluates to g(x):
> 
> f(g(x)).subs(g(x)==h(x))
>   -> f(h(x))      [subschildren]
>   -> g(x)         [eval]
>   -> h(x)         [subschildren] Okay!

Oops, the last line is due to subs_one_level, not to subschildren, of 
course.

   -richy.
-- 
Richard B. Kreckel
<http://www.ginac.de/~kreckel/>