How about this:-
We can replace sign(var) with {-1, 1} in the _contains method
Any operation on the Set will be done on both -1 and 1. Final expression
we get will be a set. Then check if it is in [-oo, oo]

E.g.:- a*sign(x) + b
=> {-a, a} + b
=> {-a+b, a+b}

I tried to implement but I'm having some trouble. How to separate a SymPy 
expression
into basic components? For e.g.:- a*b + c should give me a, b and c 
separately

-- 
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.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to