Subject: Integrator loops endlessly for lambert_w(1/x)
From: Barton Willis
Date: Fri, 26 Dec 2008 11:00:26 -0600
-----maxima-bounces at math.utexas.edu wrote: -----
>A?while?back,?I?proposed?using?a?different?expression?for?the?derivative
>of Lambert's?W,?as?it?leads?to?better?simplification:
Dieter found a bug that is unrelated to lambert_w, I think:
(%i7) %e^(-f(1/x))/(x*(1+f(1/x)));
(%o7) %e^(-f(1/x))/(x*(f(1/x)+1))
(%i8) ?resimplify(%);
(%o8) %e^(-f(1/x))/((f(1/x)+1)*x)
(%i9) ?resimplify(%);
(%o9) %e^(-f(1/x))/((f(1/x)+1)*x)
(%i10) ?resimplify(%);
(%o10) %e^(-f(1/x))/(x*(f(1/x)+1))
I don't understand the dosimp flag, but surely (%o9) and (%o10)
should be identical.
Barton