On Tue, Dec 23, 2008 at 4:16 PM, Dieter Kaiser <drdieterkaiser at web.de>wrote:
> The reason is, that in the simplifier for the lambert_w function a
> resimplify of
> the argument is missing. This would be the correct line of code:
>
> (setq x (resimplify (cadr x))) ; bug a resimplify is missing
>
> The problem with the integrator shows how important it is, that every
> function
> is able to simplify its arguments.
>
I have not looked at the code, but doing a resimplify is probably *not*
correct. Please look at the code for other simplifiers to see how
simplifying functions should treat their arguments.
-s