aidevnn/FastGoat

WordGroup Challenges

Opened this issue · 0 comments

Two challenges for deepening about generators.

  1. How to create computationally an isomorphic WordGroup given any other UserGroup ?
  2. How to create WordGroup from FreeGroup using Normal subgroup of relators and without Todd Coxeter procedure ?