This question asks if there are tools/packages in Mathematica for the study of presentation of groups, but it is almost 7 years old and an answer suggests to use Combinatorica package which is now deprecated.
Are there more up to date packages or built-in functionality for the study of presentations of a group?
I use version 11.3