Re: [sympy] refine with multiple variables

2022-11-01 Thread Aaron Meurer 
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, Oct 31, 2022 at 1:10 PM Joseph Nasser  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/CAKgW%3D6J4BzL%3DFn1iFj4pvygpu9zj0zhr7xQY7o%2BLTA4MtUYY6w%40mail.gmail.com.

Re: [sympy] SymPy running on Mobile phone app

2022-11-01 Thread Peter Stahlecker 
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 project. :(
> I guess needs Xcode to ios turning, therefore needs MacOS. But still it is
> powerful, you can define your problem (Algebra to Differential equations),
> 3D-2D graphs...
> so I hope it helps a lot of students that if need to calculate any hard
> mathematical problem only on mobile phone. Powerful, because of based SymPy
> and Matplotlib Background.
> But I'm still thinking to new interface that includes all students related
> math. (like Photomath's mathematical symbols on buttons)
>
> ::a memory;
> I'm bored in dorm and raining outside, then yes we can do something;
> create an equation about of limit speed of rain drop.
> at last, there is a differential equation occurred of Newton's 2nd law.
> Then I calculated this differential equation with my app. I was feel good :)
>
> 1 Kasım 2022 Salı tarihinde saat 03:47:48 UTC+3 itibarıyla
> peter.st...@gmail.com şunları yazdı:
>
>> I could not find it on the apple app store.
>> Does it have a different name there?
>> Thanks!
>>
>> On Tue 1. Nov 2022 at 07:43, berk berk  wrote:
>>
>>> App name is "Mathpath console" (Google Play Store)
>>>
>>> https://play.google.com/store/apps/details?id=org.mathconsole_lite.mathconsole_lite=TR
>>>
>>>
>>> 18 Ekim 2022 Salı tarihinde saat 16:42:03 UTC+3 itibarıyla Oscar şunları
>>> yazdı:
>>>
 This looks nice. Is there a link to where to get the app from or a
 website for it or something?


 On Fri, 7 Oct 2022 at 00:28, berk berk  wrote:

> Hey guys, I'm physics student and you know; if you a student of nature
> science department, you're using some scientific software. Therefore I'm
> developed a useful application for students whose are using on mobile 
> phone
> calculating advanced math without internet connection. It's base is SymPy
> and Matplotlib. If you interested or you have any suggestion, you can send
> feedback.
> *Here are some SS
> [image: 4.png][image: .new refreshing.jpeg][image: .new fast
> mode.jpeg][image: .new sqrt.jpeg][image: .new limit.jpeg][image:
> 3.png][image: 1.png][image: 2.png][image: 7.png][image: 6.png][image:
> 8.png][image: .new 2d pair graph.jpeg][image: .new helps in.jpeg]


> --
> 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+un...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/71170f4f-e0b2-43f5-b182-81fdad21c5ecn%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+un...@googlegroups.com.
>>>
>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sympy/7305e847-88c3-4b1b-a3d6-12786a7552f3n%40googlegroups.com
>>> 
>>> .
>>>
>> --
>> Best regards,
>>
>> Peter Stahlecker
>>
> --
> 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/44ef608a-9073-4f7e-aa9b-eec1f998b82fn%40googlegroups.com
> 
> .
>
-- 
Best regards,

Peter Stahlecker

-- 
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/CABKqA0YWQFFzsmo2re6aEDeB5b324m5%3DS-hi1DKJjkQUdPxq%2Bw%40mail.gmail.com.

Re: [sympy] SymPy running on Mobile phone app

2022-11-01 Thread berk berk 
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 
powerful, you can define your problem (Algebra to Differential equations), 
3D-2D graphs...
so I hope it helps a lot of students that if need to calculate any hard 
mathematical problem only on mobile phone. Powerful, because of based SymPy 
and Matplotlib Background. 
But I'm still thinking to new interface that includes all students related 
math. (like Photomath's mathematical symbols on buttons)

::a memory;
I'm bored in dorm and raining outside, then yes we can do something; create 
an equation about of limit speed of rain drop.
at last, there is a differential equation occurred of Newton's 2nd law. 
Then I calculated this differential equation with my app. I was feel good :)

1 Kasım 2022 Salı tarihinde saat 03:47:48 UTC+3 itibarıyla 
peter.st...@gmail.com şunları yazdı:

> I could not find it on the apple app store.
> Does it have a different name there?
> Thanks!
>
> On Tue 1. Nov 2022 at 07:43, berk berk  wrote:
>
>> App name is "Mathpath console" (Google Play Store)
>>
>> https://play.google.com/store/apps/details?id=org.mathconsole_lite.mathconsole_lite=TR
>>  
>>
>> 18 Ekim 2022 Salı tarihinde saat 16:42:03 UTC+3 itibarıyla Oscar şunları 
>> yazdı:
>>
>>> This looks nice. Is there a link to where to get the app from or a 
>>> website for it or something?
>>>
>>>
>>> On Fri, 7 Oct 2022 at 00:28, berk berk  wrote:
>>>
 Hey guys, I'm physics student and you know; if you a student of nature 
 science department, you're using some scientific software. Therefore I'm 
 developed a useful application for students whose are using on mobile 
 phone 
 calculating advanced math without internet connection. It's base is SymPy 
 and Matplotlib. If you interested or you have any suggestion, you can send 
 feedback.
 *Here are some SS
 [image: 4.png][image: .new refreshing.jpeg][image: .new fast 
 mode.jpeg][image: 
 .new sqrt.jpeg][image: .new limit.jpeg][image: 3.png][image: 1.png][image: 
 2.png][image: 7.png][image: 6.png][image: 8.png][image: .new 2d pair 
 graph.jpeg][image: .new helps in.jpeg]
>>>
>>>
 -- 
 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+un...@googlegroups.com.
 To view this discussion on the web visit 
 https://groups.google.com/d/msgid/sympy/71170f4f-e0b2-43f5-b182-81fdad21c5ecn%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+un...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sympy/7305e847-88c3-4b1b-a3d6-12786a7552f3n%40googlegroups.com
>>  
>> 
>> .
>>
> -- 
> Best regards,
>
> Peter Stahlecker
>

-- 
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/8ae7efbf-b7d7-46be-a8b6-70dfeb1fb512n%40googlegroups.com.

Re: [sympy] SymPy running on Mobile phone app

2022-11-01 Thread berk berk 
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 is 
powerful, you can define your problem (Algebra to Differential equations), 
3D-2D graphs...
so I hope it helps a lot of students that if need to calculate any hard 
mathematical problem only on mobile phone. Powerful, because of based SymPy 
and Matplotlib Background. 
But I'm still thinking to new interface that includes all students related 
math. (like Photomath's mathematical symbols on buttons)

::a memory;
I'm bored in dorm and raining outside, then yes we can do something; create 
an equation about of limit speed of rain drop.
at last, there is a differential equation occurred of Newton's 2nd law. 
Then I calculated this differential equation with my app. I was feel good :)

1 Kasım 2022 Salı tarihinde saat 03:47:48 UTC+3 itibarıyla 
peter.st...@gmail.com şunları yazdı:

> I could not find it on the apple app store.
> Does it have a different name there?
> Thanks!
>
> On Tue 1. Nov 2022 at 07:43, berk berk  wrote:
>
>> App name is "Mathpath console" (Google Play Store)
>>
>> https://play.google.com/store/apps/details?id=org.mathconsole_lite.mathconsole_lite=TR
>>  
>>
>> 18 Ekim 2022 Salı tarihinde saat 16:42:03 UTC+3 itibarıyla Oscar şunları 
>> yazdı:
>>
>>> This looks nice. Is there a link to where to get the app from or a 
>>> website for it or something?
>>>
>>>
>>> On Fri, 7 Oct 2022 at 00:28, berk berk  wrote:
>>>
 Hey guys, I'm physics student and you know; if you a student of nature 
 science department, you're using some scientific software. Therefore I'm 
 developed a useful application for students whose are using on mobile 
 phone 
 calculating advanced math without internet connection. It's base is SymPy 
 and Matplotlib. If you interested or you have any suggestion, you can send 
 feedback.
 *Here are some SS
 [image: 4.png][image: .new refreshing.jpeg][image: .new fast 
 mode.jpeg][image: 
 .new sqrt.jpeg][image: .new limit.jpeg][image: 3.png][image: 1.png][image: 
 2.png][image: 7.png][image: 6.png][image: 8.png][image: .new 2d pair 
 graph.jpeg][image: .new helps in.jpeg]
>>>
>>>
 -- 
 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+un...@googlegroups.com.
 To view this discussion on the web visit 
 https://groups.google.com/d/msgid/sympy/71170f4f-e0b2-43f5-b182-81fdad21c5ecn%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+un...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sympy/7305e847-88c3-4b1b-a3d6-12786a7552f3n%40googlegroups.com
>>  
>> 
>> .
>>
> -- 
> Best regards,
>
> Peter Stahlecker
>

-- 
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/44ef608a-9073-4f7e-aa9b-eec1f998b82fn%40googlegroups.com.

Re: [sympy] refine with multiple variables

2022-11-01 Thread Oscar Benjamin 
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 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.