GSoC Proposal: Group Theory in SymPy

[kshipra wadikar]

Subject: GSoC Proposal: Group Theory in SymPy  

Hi SymPy Team,  

I am De. Kshipra Wadikar, and I have a PhD in Noncommutative Algebra.
I am interested in contributing to SymPy's Group Theory module for GSoC 2024.
I have experience with Python and GAP and would like to work on implementing algorithms for finitely presented groups and automorphism groups.  

I read Divyanshu Thakur's GSoC 2019 project, which introduced polycyclic groups, coset enumeration, and homomorphisms.
Here is a short summary of my proposal:  
1. Improve coset enumeration (Todd-Coxeter algorithm)  
2. Implement Reidemeister-Schreier method for subgroup presentations  
3. Compute automorphism groups of finitely presented groups


Would this be a good project for SymPy? I’d love to get your feedback before submitting the full proposal.  

Thank you!