Re: More info on the project : Add additional combinatorial (Hopf) algebras and additional bases

48 views
Skip to first unread message

Chirag V

unread,
Mar 5, 2026, 1:44:56 AM (6 days ago) Mar 5
to sage...@googlegroups.com

Sorry everyone, it seems my previous message had some formatting issues, resending here in plane text for better readability:

Hello SageMath team,

I am Chirag, a second-year undergraduate with a strong interest in Mathematics and Programming. I came across the project: "Add additional combinatorial (Hopf) algebras and additional bases" and found it interesting to work on.

Although I don’t have a strong background in different types of algebras, I am very curious and have already been working on building my foundations for the project. 

I have set up SageMath locally and have been exploring the codebase to understand how abstract mathematical structures are translated into efficient Python code.

After going through past year’s GSoC discussions on this project idea, I’d like to share my current understanding of the technical path and seek your advice on whether this direction is appropriate:

I have identified several key resources that I plan to use to define the necessary algebraic rules for the project:

Molev (2009) [https://arxiv.org/abs/0807.2127as a resource for the algebraic rules of double Schur functions.

Buch (2002) [https://arxiv.org/abs/math/0111043for the set-valued tableaux approach to Grothendieck polynomials. 

-Pechenik and Searles (2019) [https://arxiv.org/abs/1904.01358survey, which provides context on the non-symmetric polynomials mentioned in the project description.

Technically, I intend to utilise the WithRealizations pattern found in monomial.py and schur.py. 

My goal is to implement the core basis classes, combinatorial formulas, the necessary product/coproduct rules and creating efficient transition maps to ensure these new bases convert seamlessly to and from the standard Schur basis.

I have already begun contributing to familiarise myself with the workflow, and you can see my recent PR here: https://github.com/sagemath/sage/pull/41623.

Since the mentor for this project is currently TBD, I would appreciate your insight on a few points:

1. Is there a specific person I should discuss these implementations with to ensure they align with community priorities?

2. Should I prioritize the "breadth" of many new bases or a "deep" implementation of a few?

3. Are there any other specific resources or papers you would suggest I look into to further strengthen my foundations for this project?

4. Are there any "Good First Issues" or specific documentation gaps that you would recommend I tackle to better understand the implementation?

I look forward to your feedback and hope to contribute to the project.

Best regards,

Chirag



On Thu, 5 Mar 2026 at 12:02 PM, Chirag V <chirag...@gmail.com> wrote:

Hello SageMath team,

I am Chirag, a second-year undergraduate with a strong interest in Mathematics and Programming. I came across the project: "Add additional combinatorial (Hopf) algebras and additional bases" and found it interesting to work on.

Although I don’t have a strong background in different types of algebras, I am very curious and have already been working on building my foundations for the project. 

I have set up SageMath locally and have been exploring the codebase to understand how abstract mathematical structures are translated into efficient Python code.

After going through past year’s GSoC discussions on this project idea, I’d like to share my current understanding of the technical path and seek your advice on whether this direction is appropriate:

I have identified several key resources that I plan to use to define the necessary algebraic rules for the project:

Molev (2009) [https://arxiv.org/abs/0807.2127as a resource for the algebraic rules of double Schur functions.

Buch (2002) [https://arxiv.org/abs/math/0111043for the set-valued tableaux approach to Grothendieck polynomials. 

-Pechenik and Searles (2019) [https://arxiv.org/abs/1904.01358survey, which provides context on the non-symmetric polynomials mentioned in the project description.

Technically, I intend to utilise the WithRealizations pattern found in monomial.py and schur.py. 

My goal is to implement the core basis classes, combinatorial formulas, the necessary product/coproduct rules and creating efficient transition maps to ensure these new bases convert seamlessly to and from the standard Schur basis.

I have already begun contributing to familiarise myself with the workflow, and you can see my recent PR here: https://github.com/sagemath/sage/pull/41623.

Since the mentor for this project is currently TBD, I would appreciate your insight on a few points:

1. Is there a specific person I should discuss these implementations with to ensure they align with community priorities?

2. Should I prioritize the "breadth" of many new bases or a "deep" implementation of a few?

3. Are there any other specific resources or papers you would suggest I look into to further strengthen my foundations for this project?

4. Are there any "Good First Issues" or specific documentation gaps that you would recommend I tackle to better understand the implementation?

I look forward to your feedback and hope to contribute to the project.

Best regards,

Chirag

tcscrims

unread,
Mar 5, 2026, 3:41:52 AM (6 days ago) Mar 5
to sage-gsoc
Dear Chirag,
   There are still formatting issues with your message that can come from various issues (such as copy/pasting text). However, I was able to fix them for this reply.

Thank you for your interest. However, I'm having trouble understanding what you might be proposing because the details do not seem to match what I understand about the mathematics and what is already in SageMath. For me to provide more information and feedback, I suggest you take a look at the current implementation and determine a more precise potential project. However, I can provide some answers based upon what I can currently gather from your message.

1. The best place to discuss such topics would either be on different PRs when it pertains to actual code or here if it is regarding a GSoC proposal.
2. It is your project to decide. We can provide feedback, but what is listed are only ideas for you to develop into your proposal.
3. This depends on what you want to implement. There are many research papers, surveys, and books on symmetric functions and combinatorial Hopf algebras that are widely available. I encourage you to take a look using, e.g., Google searches or asking a LLM.
4. You already have a PR (which is currently awaiting followup from you) regarding one possibility of the general code for such a project.

Best,
Travis
Reply all
Reply to author
Forward
0 new messages