#20452: spurious limit computation
-------------------------+-------------------------------------------------
Reporter: kcrisman | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.2
Component: calculus | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: Not yet reported upstream;
Work issues: | Will do shortly.
Commit: | Branch:
Stopgaps: | Dependencies:
-------------------------+-------------------------------------------------
From [https://groups.google.com/forum/#!topic/sage-support/REsP6kXgMwM
this sage-support thread]:
{{{
sage: assume(x, 'real')
sage: limit((x^(1/x)-1)*sqrt(x), x=infinity)
+Infinity
sage: limit(((1/x)^x-1)/sqrt(x), x=0, dir='+')
+Infinity
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?).
Interestingly,
(%i7) domain:complex;
(%o7) complex
(%i10) limit((x^(1/x)-1)*sqrt(x),x,0,minus);
;;;
;;; Detected access to protected memory, also kwown as 'bus or
segmentation fault'.
;;; Jumping to the outermost toplevel prompt
<lots of times>
Segmentation fault: 11
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/20452>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac.
For more options, visit https://groups.google.com/d/optout.
