Hello Stavors,
you are right. Thank you for your hint. We have to use the function simpcheck
for an argument of the simplifier. The function resimplify we have to use when
we are declaring noun-function.
I should know, because I have implemented some functions.
Dieter Kaiser
_____
Von: macrakis at gmail.com [mailto:macrakis at gmail.com] Im Auftrag von Stavros
Macrakis
Gesendet: Dienstag, 23. Dezember 2008 22:39
An: Dieter Kaiser
Cc: maxima at math.utexas.edu
Betreff: Re: [Maxima] Missing resimplify in lambert_w
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