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 <bajoriakrish...@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. > > On Sun, Mar 23, 2025 at 1:49 AM Mailsuite Notification < > notificat...@mailsuite.com> wrote: > >> 🔥 Hot conversation: sympy@googlegroups.com opened it many times in a >> short period or forwarded it. View all 459 opens >> <https://mailsuite.com/reauth?url=https://mailsuite.com/en/dashboard/show/3782420520?utm_source%3Dnotification%26utm_medium%3Demail%26utm_campaign%3Dfulltrackinghistory-hot&login_hint=bajoriakrish...@gmail.com> >> | turn off hot conversations >> <https://mailsuite.com/en/dashboard/hot-notification/disable?utm_source=notification&utm_medium=email&utm_campaign=turnoff-hot-alerts> >> > -- > 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+unsubscr...@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+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sympy/CAEgDm30-yGWbb-0cxdn48p%3DquWqi3ez%3DrRKLG7KNi7amajvzqg%40mail.gmail.com.
