GSoC 2026: Interest in "Coordinate graded commutative and exterior algebra implementations"

[Yossef Moftah]

Hello Dr. Scrimshaw,

My name is Yossef Moftah, a 3rd-year Computer Science student from Egypt. I am writing to express my strong interest in the GSoC 2026 project: "Coordinate the graded commutative algebra and exterior algebra implementations and Gröbner bases."

I have already spent time familiarizing myself with the SageMath ecosystem and have successfully:

• Built Sage from source on both Fedora Linux and Windows 10.

• Read the Developer’s Guide, specifically the sections on coding standards and the git workflow.

• Experimented with the internal benchmarking tools to understand performance profiling.

Technical Background:

• Performance & Systems: Developed a C++ chess engine (2000 ELO) and experimented with Cython for optimization.

• Algorithms: Active competitive programmer (1st place in my university’s local contest).

• Python: have experience through NLP , Machine Learnig ,Generative AI , and other personal projects focused on AI.

Current Focus & Questions: I am currently diving into the mathematical theory behind the project. While my CS background is strong, the abstract algebra involved (specifically Graded Commutative Algebra) is more advanced than my university coursework.

1. Gröbner Bases: To what extent should I prioritize the deep theoretical proofs versus the computational implementation for this specific project?

2. Doctests: I am adapting to Sage’s doctest-heavy workflow. Should I begin by looking for "beginner-friendly" issues in sage.algebras to practice writing these according to Sage standards?

I am eager to contribute and would appreciate any guidance on specific modules I should study first to best prepare for this project.

Best regards,

Yossef Moftah [https://github.com/Yossef-moftah-dev]

[tcscrims]

Dear Yossef,

   Thank you for your interest. I apologize for my delayed response.

This project requires both a strong foundation in algebra (specifically linear algebra) and programming optimization. It doesn't make sense to me when you ask about "prioritizing deep theoretical proofs," but you will require both of these aspects to be successful at the full project. One variant would be having the graded commutative algebras be able to communicate with the exterior algebra and external libraries such as Macaulay2.

I also think you might have a fundamental misconception about what SageMath's workflow is. While doctests are a very important part of contributing code, it is not correct to say the workflow is doctest-heavy (this also does not make sense to me either). However, you are required to have submitted at least one PR to be in consideration to be accepted as a contributor to GSoC for SageMath.

Let me know if you have any questions.

Best,
Travis