Hello, I would like to check whether an inequality with multiple variables is satisfied under certain assumptions on the variables. Is this supported? Using refine seems to work with one variable but not a multi-variable expression. I am using Sympy 1.11.1
from sympy import Q var('z w', real=True) refine(z**2 > 0, Q.positive(z)) # Returns BooleanTrue, expected behavior refine(z**2 + w**2 > 0, Q.positive(z) & Q.positive(w)) #does not return a Boolean type Thanks -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sympy/f0f91ba2-4432-419d-a832-9e43b5bd1b7en%40googlegroups.com.