15 Sep
2010
15 Sep
'10
9:46 a.m.
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/>