[GSoC 2026] Assumptions Project

[Marco Mazzone]

Hi everyone, I'm Marco Mazzone, a computer engineering student at university of Catania, in Italy. During this month, I've really taken an interest in the entire world of sympy, studying  the assumptions module and starting to contribute.

To date, I've opened 5 PRs, including 3 Merged:

• changed the value benchmarks: runs-on ubuntu 20.04 into ubuntu latest#108
•  Add benchmarks for printing module #106
• Assumptions: add refine handlers for floor and ceiling #29174

 

the first two where I worked on the 'sympy_benchmarks' repository and the last one where I implemented the refine_floor_ceiling function inside refine.py

the remaining two PRs are still open but in the process of being merged and concern one the complete implementation of the refine_conjugate function and the other the improvement of the refine_abs function useful when the argument is an Add expression. both always within refine.py

•   Assumptions: add refine handler for conjugate#2917
  
•      Assumptions: improve refine_abs to handle Add expressions#29183
  

 

Given my strong interest in the refine function and thus the entire assumptions structure, I would be happy to work on the assumptions project. Having read the project description I would love to work on the complete replacement of the old assumptions model with the new one. Working on this section of sympy, I noted that several related functions still use this model. I would appreciate if any of the mentors could offer me some insights on how to best approach the project’s development. I’m completely open to advice.

 

Best regards

Marco