SymPy currently has limited support for subgroups of finitely presented groups. For finite FpGroups, this can be greatly extended by defining an isomorphism to a Permutation Group since the latter has much more functionality already implemented. This calls for the general implementation of group homomorphisms which in turn requires implementation of rewriting systems for groups. Another issue is infinite FpGroups for which better treatment can be provided, in particular, there are certain techniques that allow to determine if a group is infinite before passing it to a function that wouldn't be able to terminate successfully while processing an infinite group.



Valeriia Gladkova


  • Kalevi Suominen
  • Sudhanshu Mishra
  • Kshitij Saraogi