[sage-devel] Re: limit evaluation bug

2008-09-18 Thread Robert Dodier
Dan Drake wrote: > sage: f = sqrt(1-x^2) > sage: g = diff(f, x); g > -x/sqrt(1 - x^2) > sage: limit(g, x=1, dir='below') > +Infinity > > It's a semicircle, so the derivative should go to negative infinity on > the right side. Hmm. Did you mean the left side? I'm probably missing someth

[sage-devel] Re: limit evaluation bug

2008-09-17 Thread William Stein
On Wed, Sep 17, 2008 at 9:04 PM, Dan Drake <[EMAIL PROTECTED]> wrote: > I found a bug in a limit evaluation: > > sage: f = sqrt(1-x^2) > sage: g = diff(f, x); g > -x/sqrt(1 - x^2) > sage: limit(g, x=1, dir='below') > +Infinity > > It's a semicircle, so the derivative should go to negative inf