On Sun, Mar 30, 2025 at 11:29 PM Tilo RC <tiloren...@gmail.com> wrote:
> Hi Krishnav, > > I recommend reading the following if you haven't already: > https://github.com/sympy/sympy/wiki/Assumptions#the-aims-of-assumptions Just be aware that this is a pretty old page. A lot of the stuff on it is still relevant, but not all of it represents the thinking that has happened since it was written. For instance, when people started writing the "new assumptions" (ask, Q, refine), the idea was that this would completely replace the old assumptions (Symbol('x', positive=True), x.is_positive). However, the thinking now is that this is a mistake, because the old assumption is syntactically very useful. They are different in that one system attaches assumptions to a Symbol and one system keeps them separate. The advantage of attaching assumptions to a symbol is that you don't have to keep passing assumptions to every function. The only other alternative is to have global assumptions (which you can currently do with assume()), but this creates global state, which is problematic. However, the advantage of keeping the assumptions separate is that you can assume things on entire expressions, not just symbols. The new assumptions system also has the advantage of being based on predicate logic, which uses symbolic unevaluated predicate expressions, whereas the old assumptions use 3-valued logic which doesn't support unevaluated expressions, and thus is more buggy and harder to do certain things with. Oscar and I talked a bit about these things (and others) in our 2022 SageDays talk https://www.youtube.com/watch?v=ujWoGQt7F5A (the talk starts at 1:46:30, and there is also some discussion at the end of the video). Slides are at https://docs.google.com/presentation/d/1SqV-Pcs_78z5oJItHafnystDr71AN1XBipP4FXEtjaA/edit?slide=id.p#slide=id.p Aaron Meurer > > Tilo Reneau-Cardoso > > On Saturday, March 29, 2025 at 4:05:24 PM UTC-7 bajoria...@gmail.com > wrote: > >> Hi Tilo, >> >> Thank you for your feedback and for pointing out these issues. >> >> Regarding the paraphrasing and referencing, I understand my mistake. >> Moving forward, I'll be more clear when distinguishing between your >> original content and my own thoughts by adding footnotes. Additionally, >> when paraphrasing content from specific issues, I'll include links to those >> issues in the reference section for better traceability. I apologize for >> the lack of clarity in the previous version and will correct this in my >> next revision. >> >> As for the distinction between Q.gt(x, 0) and Q.positive(x), I realize I >> misunderstood the difference. You're right—Q.positive(x) does indeed >> imply that x is real, whereas Q.gt(x, 0) allows for x to be extended >> real, which might include infinite values. I'll revise the proposal to >> accurately reflect this distinction. >> >> Thanks again for your observation and guidance. I'll make sure the next >> version addresses these points properly. >> >> Best regards, >> Krishnav Bajoria. >> On Sun, Mar 30, 2025 at 4:24 AM Tilo RC <tilor...@gmail.com> wrote: >> >>> Hi Krishnav, >>> >>> I skimmed through your proposal. Could you make it more clear when >>> you're paraphrasing something I wrote vs your own original thoughts? It >>> would be good if you added footnotes for this sort of thing. Also, if >>> you're paraphrasing stuff I wrote in particular issues, you should add >>> links to those issues in the reference section. >>> >>> One more thing: Q.gt(x, 0) and Q.positive(x) are not supposed to be >>> equivalent. Q.positive(x) implies that x is real whereas Q.gt(x, 0) implies >>> x is extended real (it might not be finite). >>> >>> Tilo Reneau-Cardoso >>> >>> On Sat, Mar 29, 2025 at 3:11 PM Krishnav Bajoria <bajoria...@gmail.com> >>> wrote: >>> >> Dear SymPy Community, >>>> >>>> I have completed the first draft of my GSOC 2025 proposal titled >>>> *"Improving >>>> Relational Reasoning and Introducing Quantifier Support in SymPy's >>>> Assumptions Framework." Y*ou can find the proposal at this link >>>> <https://drive.google.com/file/d/1H9rpNR3DP2twM563ctFnro0K-k_uXymy/view?usp=sharing> >>>> . >>>> >>>> I would greatly appreciate it if you could review the proposal and >>>> share any suggestions or feedback on how I can make it better. Your >>>> insights would be invaluable in refining the proposal further. >>>> >>>> Thank you for your time and support! >>>> >>>> Best regards, >>>> >>>> >>>> Krishnav Bajoria. >>>> >>>> -- >>>> You received this message because you are subscribed to a topic in the >>>> Google Groups "sympy" group. >>>> To unsubscribe from this topic, visit >>>> https://groups.google.com/d/topic/sympy/XSJuvibPOro/unsubscribe. >>>> To unsubscribe from this group and all its topics, send an email to >>>> sympy+un...@googlegroups.com. >>>> To view this discussion visit >>>> https://groups.google.com/d/msgid/sympy/CAF0TZutDGaxUcgVK71ZzokOWN_87%3DwVzFA4F%2BaJXyNBhkpy3Sw%40mail.gmail.com >>>> <https://groups.google.com/d/msgid/sympy/CAF0TZutDGaxUcgVK71ZzokOWN_87%3DwVzFA4F%2BaJXyNBhkpy3Sw%40mail.gmail.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- >>> >> 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 visit >>> https://groups.google.com/d/msgid/sympy/CAEgDm30-yGWbb-0cxdn48p%3DquWqi3ez%3DrRKLG7KNi7amajvzqg%40mail.gmail.com >>> <https://groups.google.com/d/msgid/sympy/CAEgDm30-yGWbb-0cxdn48p%3DquWqi3ez%3DrRKLG7KNi7amajvzqg%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- > 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 visit > https://groups.google.com/d/msgid/sympy/9929ab3d-6e37-481a-8c4e-a4b3704a3010n%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/9929ab3d-6e37-481a-8c4e-a4b3704a3010n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6%2BjSDriuVfDx9mk2Yp47%2BGfCCRvZxzoZDZd2gcidw5x%3DA%40mail.gmail.com.
