Re: [sympy] GSoC 2025: Seeking Feedback on Assumptions System Research & GSoC Project Choice

I think you should go into more details with the quantifiers. Second order formulas can quickly get you into the realm of undecidable problems. Also some quantifier elimination algorithms are complex (for instance, CAD, which is one of the other GSoC idea projects, is a quantifier elimination algor

[sympy] Re: Proposal Submissions

Hello Rushabh Mehta, As you can read here (https://github.com/sympy/sympy/wiki/GSoC-Student-Instructions), GSoC contributors must submit their proposal on the official website. Best regards, Leonardo Il giorno sabato 5 aprile 2025 alle 18:34:53 UTC+2 mehtarus...@gmail.com ha scritto: > Hell

[sympy] Introduction – GSoC 2025 Applicant for SymPy Mechanics Optimization

Hi all, My name is Harika Raju, and I am excited to contribute to SymPy as part of GSoC 2025. I am a CS Undergrad with a strong background in *Python, C, and mathematical computing*, and I am particularly interested in *symbolic mathematics and algorithm optimization*. I have experience work

Re: [sympy] Help needed: guidance on group theory

This is very helpful guidance, thank you! On Sunday, 30 March 2025 at 23:04:33 UTC+3 Oscar wrote: > I'm not going to read a textbook to review the pull request. Please > explain clearly on the pull request what the code does, where the > algorithm comes from, why it is correct and whether it is r

Re: [sympy] fyi, Sympy 1.13.3 dsolve test

Thanks Nasser. Is there an easy way to access this database of differential equations? It would be useful for SymPy to test against things like this in CI somehow. Oscar On Thu, 13 Mar 2025 at 22:19, 'nma%12...@gtempaccount.com' via sympy wrote: > > fyi: > > This post is also available in plai

Re: [sympy] GSoC 2025: Seeking Feedback on Assumptions System Research & GSoC Project Choice

On Sat, Mar 15, 2025 at 10:50 PM Krishnav Bajoria wrote: > Hello again SymPy community, > First of all, I would like to thank Aaron and Tilo for their valuable > comments and ideas. I have taken a note of them. For the past two weeks I > have been studying through the entire assumptions system in

[sympy] Assume positive under the square root

Hello. Is it possible to assume the positiveness of expressions under the square root, so sqrt(x^2)=x or sqrt((x-2)^3)=(x-2)sqrt(x-2)? Can this be specified fo any expression? Thank you. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe

Re: [sympy] Re: GSoC 2025: Looking for Feedback on SymPy Control Systems Ideas

I uploaded my application to the wiki: https://github.com/sympy/sympy/wiki/GSoC-2025-Current-Applications. Il giorno domenica 23 marzo 2025 alle 20:57:19 UTC+1 Leonardo Mangani ha scritto: Dear Jason, I have been brainstorming potential features and improvements that might be a good fit for S

Re: [sympy] GSoC 2025: Seeking Feedback on Assumptions System Research & GSoC Project Choice

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

Re: [sympy] Interest in optimizing floating point expr

Hi Henry, Yes, I'm happy to discuss your proposal draft. Please email me directly to set up a time. However, I want to be upfront that this topic is a side project for me, and while I can offer guidance, I'm not a dedicated expert. Let's chat and see if my experience aligns with what you're l

[sympy] Proposal Submissions

Hello again to sympy community. Should we as GSoC contributors submit our proposals at the official website? Or do we have to wait for some confirmation here ? Best Regards, Rushabh Mehta -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe

[sympy] GSoC Benchmarks-project questions

Dear SymPy GSoC Team, I would like to participate in your project at Google Summer of Code "Benchmarks and performance". I have a question about running benchmarks in GitHub Actions. Virtual machines (where GitHub actions are run) do not guarantee stability of performance. Also there is a litt

Re: [sympy] GSOC'25: Enhancing 2D & 3D Beam Solving System.

Hello Jason, I have just finished my proposal for my project on Extending Continuum Mechanics Module: Enhancement of 2D, 3D Beam and Arch Classes. Here is the link for the document. Also who a

Re: [sympy] GSoC 25 Draft Proposal : Implement Wrapping Geometry and Pathways for Musculoskeletal Modeling

Hello Jason, I am happy to inform you that I have written a complete proposal for the above draft. Here is the proposal . Waiting eagerly for your review. Best Regards, Rushabh Mehta On Sunday, 16 March 2025

[sympy] Discussion on Polynomial GCD Project for SymPy

Dear Sir/Ma'am, I hope you are doing well. My name is Anand Kumar Sharma, and I am interested in contributing to SymPy by working on the Polynomial GCD project as part of Google Summer of Code (GSoC). I would love to discuss the scope of this project and gain insights into the expected challe

[sympy] Request for Feedback on GSoC 2025 Proposal – Benchmarking and Performance

Hi everyone, I hope you're doing well. I've drafted my proposal for GSoC 2025 titled *"Benchmarking Infrastructure and Performance Improvements for SymPy"*. I would really appreciate it if you could take a look and share any feedback or suggestions you might have. Here's the link to the prop

Re: [sympy] Re: GsOC 2025 : Interest in Implementing Power Series Domain in SymPy

On Mon, 10 Mar 2025 at 14:51, Jatin Bhardwaj wrote: > > Hello Sympy Developers, > > > I have recently started planning the design and integration of the Power > Series domain and would appreciate some guidance on key structural decisions. > > Currently, my implementation revolves around three pri

Re: [sympy] GSoC Proposal Submission Process

Hi Aaron, Thanks for letting me know—that sounds great! I believe this will make it easier to get your feedback and keep track of any comments. Best, Firat. On Thu, Mar 20, 2025 at 8:15 PM Aaron Meurer wrote: > Yes, you may use the wiki to draft your proposal. This is not > required, but it

[sympy] Interest in SymPy Projects and Proposal Submission for Review

Dear SymPy Mentors, I have gone through the list of project ideas and found a few that align with my interests and expertise. I am familiar with Python, C, and Java and have a strong programming foundation. Based on the project templates and guidelines, I plan to create a proposal that reflec