| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
SP2GP
Description
Module SP2GP include functions groupBeta and groupBeta_1 for
converting semigroup presentation to group presentation.
Documentation
groupBeta :: MonadFail m => SemigroupPresentation -> m GroupPresentation Source #