This is currently only implemented in ask(), and you have to use
Q.positive(x) instead of x > 0 (ask does not yet know how to deal with
inequalities directly):
>>> ask(Q.positive(z**2), Q.positive(z))
True
>>> ask(Q.positive(z**2 + w**2), Q.positive(z) & Q.positive(w))
True
Aaron Meurer
On Mon,
Thanks for your clarification.
On Wed 2. Nov 2022 at 02:37, berk berk wrote:
> Unfortunately it is no have on Apple, App Store. Just on Google Play Store
> (Android) and Windows desktop.
> Actually need some healing updates and turning to Apple (Ios) but not
> enough time and support to work on
Unfortunately it is no has on Apple, App Store. Just on Google Play Store
(Android) and Windows desktop.
Actually need some healing updates and turning to Apple (Ios) but not
enough time and support to work on project. :(
I guess needs Xcode to ios turning, therefore needs MacOS. But still it is
Unfortunately it is no have on Apple, App Store. Just on Google Play Store
(Android) and Windows desktop.
Actually need some healing updates and turning to Apple (Ios) but not
enough time and support to work on project. :(
I guess needs Xcode to ios turning, therefore needs MacOS. But still it
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 wrote:
>
> Hello,
>
> I would like to check whether an inequality with multiple variables is
> satisfied
