infinitesimal limit wizard



-----maxima-bounces at math.utexas.edu wrote: -----

>To: maxima at math.utexas.edu
>From: miguel lopez
>Sent by: maxima-bounces at math.utexas.edu
>Date: 12/22/2006 07:46AM
>Subject: infinitesimal limit wizard
>
>
> A limit wizard for equivalency of infinitesimal.
>
> (%i15)
>h((sin(x^2)^4*tan(x^5+x^4)^3*sinh(1-(x^2+1)/(x^3+
>1))^10*
>log(x^5/(x^5+x^6))*cos(x/(x +x^2)*(%pi/2))));
>Evaluation took 00.20 seconds (00.20 elapsed)
>(%o15) -(%pi*x^38)/2
>
> is this interesting?

Assuming that (%o15) is correct, and depending on
how your function 'h' works, then yes, your function
'h' might be interesting. I'm guessing that 'h' does an
expansion around zero. Using taylor, I get

(%o17)
sin(x^2)^4*tan(x^5+x^4)^3*cos((%pi*x)/(2*(x^2+x)))*sinh((x^2+1)/(x^3+1)-1)^10*log(x^5/(x^6+x^5))

(%i18) taylor(%,x,0,42);
(%o18) (-(%pi*x^42)/2)+...

This doesn't agree with your %o15. Did I do something wrong?
Would you like to share your definition of 'h' with the list?

Barton