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