Oh, that's what I was looking for. I'll just have to apply T(x) to each term where I have T(x) applied to a derivative. The only trick is detecting which terms this has to apply to in the general case. The simplest thing to do I think is make the diff inert inside the T and then find all inert diff terms. I've put together something I think will work. I just haven't tried it on larger problems.
View 62_linalg_experiment2.mw on MapleNet
or Download 62_linalg_experiment2.mwView file details
The only flaw is that in general a
is a vector and so when you try to evaluate diff(g(a),a)
with a specific vector a
, Maple chokes. So, as long as g(a)
are substituted in and the derivative is fine, all is well.