`zoo/n` where `n` is finite real does not simplify

[Gaurav Dhingra]

Hi all 

```

>>> n = Symbol('n', finite=True, real=True)

>>> zoo/n                # should not this be simplified to zoo

zoo/n

>>> zoo.is_finite

False

>>> (zoo/n).is_finite

```

Same happens for `oo` .

I am not sure why this is so ?. Is this is a bug ? 

Gaurav Dhingra

[Aaron Meurer]

I'd say it shouldn't simplify automatically. Automatic simplifications
based on assumptions are what makes the core slow.

That isn't to say that simplify(zoo/n) shouldn't do something, however.

Aaron Meurer

> --
> 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+un...@googlegroups.com.
> To post to this group, send email to sy...@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/23d4923b-ea8c-4302-a016-ec15b343456e%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.