Open markuspf opened 7 years ago
Eventually there should be a function that allows to define a pregroup for a finitely presented group, guided by some heuristics.
Eventually there should be a function that allows to define a pregroup for a finitely presented group, guided by some heuristics.