Hi everybody!
My name is Daniil Dmitriev, I am studying Mathematics and Computer Science at Moscow Institute of Physics and Technology.
I came across your project and was interested with group theory part. And as I am studying graph isomorphism I got idea to implement different algorithms from the variety of tasks on graph isomorphism, i.e. tree isomorphism, isomorphism of planar graphs, of graphs with constrained degree of vertexes, etc.
Also as graph isomorphism problem is strongly connected to group theory, I can develop and/or improve some algorithms there. For example, if talking about Symmetric group, I can implement functionality into permutation.py that will help to work with Symmetric subgroups, such as creating a subgroup from several generators, calculating the size of subgroup, check if element belongs to subgroup, etc.
Thank you, and looking forward to your response!
Daniil Dmitriev