Ideally things like this would work but support for multivariate
systems of inequalities is practically nonexistent in refine right
now.
Oscar
On Mon, 31 Oct 2022 at 19:10, Joseph Nasser <joseph.nasse...@gmail.com> wrote:
>
> 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.
--
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/CAHVvXxRM0o_jbgd9nvps%2BKxj_ZJ2%3DHxJLL%3DaB%2B-%3DB01y4AgQpQ%40mail.gmail.com.
