maxima-bounces at math.utexas.edu wrote on 04/29/2011 10:35:18 AM:
> The taylor-ness of the expression was apparently thrown away
> when it was the argument of some other operator.
The same happens for CRE arguments:
(%i8) foo(rat(x));
(%o8) foo(x)
(%i9) ?print(%);
(($FOO SIMP) $X)
(%o9) foo(x)
I don't know what hunk of code does this.
Simplifying functions that use the services of simpcheck instead of
simplifya
also squash CRE and taylor polynomial arguments.
Some functions (trig simplification functions, for example), call
taylorize to handle taylor arguments. I'd guess that the testsuite
calls taylorize many many times--I hope it's fast---if it's not,
blame me :(
--Barton