Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP

Loading…

gruntz doesn't work properly for big-O with point!=0 #2865

Open
skirpichev opened this Issue · 2 comments

3 participants

@skirpichev
In [4]: gruntz(O(1/x, (x, oo)), x, 0)
Out[4]: 0

In [5]: gruntz(O(x, (x, oo)), x, 0)
Out[5]: 0

limit is broken too:

In [3]: limit(O(1/x, (x, oo)), x, 0)
Out[3]: O(1; x → ∞)

We should fix gruntz and remove if e.is_Order heuristics from limit.

@avichaldayal

I'll try to fix this but what should be the correct output for gruntz(O(1/x, (x, oo)), x, 0) and gruntz(O(x, (x, oo)), x, 0)?

Heuristics just apply the limit to the inner expression of the order term. Is that wrong?

@skirpichev

what should be the correct output for gruntz(O(1/x, (x, oo)), x, 0)

Most likely, an error.

Heuristics just apply the limit to the inner expression of the order term. Is that wrong?

That is wrong too.

@skirpichev skirpichev added the Series label
@jcrist jcrist added the valid label
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.