My guess is that limit() doesn't look at assumptions. Also, limit uses real limits, not complex limits (which are much harder to work with algorithmically).
The oo**zoo thing is a bug. Please open an issue in the issue tracker about it. Aaron Meurer On Mon, Jun 8, 2015 at 1:10 PM, Francesco Bonazzi <franz.bona...@gmail.com> wrote: > Are you sure that SymPy's behaviour is well-defined? > > In [1]: z = Symbol('z', imaginary=True) > > In [2]: z.is_imaginary > Out[2]: True > > In [3]: z.is_real > Out[3]: False > > In [4]: limit(1/z, z, 0) > Out[4]: ∞ > > In [5]: type(_) > Out[5]: sympy.core.numbers.Infinity > > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/20e274b7-fcfd-4467-b1b4-80be23c3b4de%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6Ly3MvFnZ3Y8aemtMmJWMzDc6xuAz87jx8SN945TC2NHQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.