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