[GSoC 2026]: Interest in "Assumptions and Refine" Project
Marco Mazzone
Hi everyone,
My name is Marco, and I am an undergraduate student interested in applying for GSoC 2026 with SymPy as I said in the previous message.
I have been exploring the codebase recently, specifically focusing on the Assumptions module and the refine() function. I have already opened a couple of Pull Requests to get familiar with the workflow:
Implemented refine handlers for floor and ceiling (PR #29174)
Implemented refine handler for conjugate (PR #29173)
I noticed the "Improvements to the Assumptions module" idea on the wiki is labeled as Advanced. However, I believe there is a lot of value in a project focused on extending refine capabilities (adding missing handlers like trigonometric functions, logarithms, matrices) and bridging the gap between the old and new assumptions systems through incremental improvements.
Would a proposal focused on these practical, incremental improvements to refine and related bug fixes be considered a strong candidate for GSoC?
I am currently working on adding more handlers as suggested by reviewers.
Thanks for your time and guidance!
Best regards, Marco
Tilo RC
I think a project improving refine could probably be a good small GSoC project. It seems fairly straightforward to do something like that. Though, it would be mostly completely separate from what is described in the "improving assumptions module" idea.
That being said, I think there could also be value in leaving the implementation of refine functionality to new contributors as I think it's an impactful thing new contributors can work on that would be within their abilities even if they only have a modest amount of programming and math experience.
Tilo RC