As far as I know, I don't think we deal with Extended Real Number System, probably that's not documented as well.
For instance: In [4]: solve(x <= oo) Out[4]: And(-oo < x, x < oo) I think we need to wait for our assumption system to become more mature before completely supporting Extended Real system. *AMiT Kumar* Delhi Technological University *www.iamit.in* <http://www.iamit.in/> On Sunday, May 17, 2015 at 12:43:59 PM UTC+5:30, Gaurav Dhingra wrote: > > >>> from sympy import Symbol, oo, simplify > >>> x = Symbol('x', real=True) > >>> simplify( x*oo ) > oo*x > > Do we use extended real number system(Affinely Extended Real Number > System) in sympy ? > If we do use them, then why not expressions like these "x*oo" evaluated > to a Piecewise function like > >>> Symbol('x') > >>> simplify( x*oo ) > Piecewise( ( -oo, x< 0 ), ( oo, x > 0), (Nan, x==0 )) # i expect > this to happen. > > Gaurav Dhingra > -- 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/6246a856-748f-4efc-bbab-5ef8157602c8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
