[GSoC 2026] Proposal Draft - Adding Type Hints and Refactoring Solvers

[Giovanni Zanotti]

Hi everyone,

My name is Giovanni Zanotti, I am a high school student from Italy, and I would love to contribute to SymPy for GSoC 2026.

During the last few days, I've been familiarizing myself with the codebase and MyPy configurations. I recently had my first PR merged regarding type hints in the Diophantine solvers (#29515), and I am currently working on another one in ntheory (#29509).

I've put together a draft proposal for a medium-sized project (175 hours) regarding "Adding Type Hints, Improving Static Analysis, and Refactoring the Solvers Module". My goal isn't just to add annotations, but to properly resolve type conflicts (e.g. Basic vs Expr), fix circular imports, and refactor non-Pythonic loops in the sympy.solvers directory.

Here is the link to my Google Doc draft:

https://docs.google.com/document/d/1R6Uyo_zHX_cTMT--VM_63jCZ5X4vqHIEPdHO7j1efr4/edit?usp=sharing

I would be incredibly grateful for any feedback, suggestions, or corrections from the mentors and the community before the final deadline.

Thank you so much for your time and for maintaining such an amazing project!

Best regards,

Giovanni Zanotti.