On 2016-04-17, kcrisman <[email protected]> wrote: > Thanks. In pure Maxima we get: > > (%i3) limit((x^(1/x)-1)*sqrt(x),x,inf); > (%o3) inf > (%i4) limit((x^(1/x)-1)*sqrt(x),x,0); > (%o4) und > (%i5) limit((x^(1/x)-1)*sqrt(x),x,0,plus); > (%o5) 0 > (%i6) limit((x^(1/x)-1)*sqrt(x),x,0,minus); > (%o6) inf > > From what I understand, the first of these is wrong, maybe also the last > (should it be infinity (complex infinity) instead?).
I think the first and last are wrong -- last should infinity or und (undefined), I think. I've opened bug reports for these: https://sourceforge.net/p/maxima/bugs/3142/ https://sourceforge.net/p/maxima/bugs/3143/ and some other limit bugs I've run into while investigating these. gruntz is better here -- (%i5) gruntz((x^(1/x)-1)*sqrt(x),x,inf, minus); (%o5) 0 (%i6) gruntz((x^(1/x)-1)*sqrt(x),x,0, plus); (%o6) 0 (%i7) gruntz((x^(1/x)-1)*sqrt(x),x,0, minus); (%o7) gruntz(sqrt(x)*(x^(1/x)-1),x,0,minus) gruntz is one of the methods called from limit. Putting gruntz first (which I tried as an experiment) introduces its own problems though. That exposes some bugs in gruntz, and also some results which are different, so it would be necessary to trawl through them and verify that they're correct. best Robert Dodier -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
