- interface Group : Type -> Type
This extends 'Monoid' by defining an inverse for every element.
Parameters: t
Constraints: Monoid t
Methods:
- inverse : t -> t
Implementation: - Group (Permutation n)
- commutator : Group g => g -> g -> g
Commutator of two elements.
Totality: total- exp : Monoid g => Nat -> g -> g
(Positive) integer exponentiation.
- generate : Monoid g => g -> Stream g
Stream of elements starting at some given element.
- idempotent : (Eq g, Semigroup g) => g -> Bool
Whether a group element is idempotent
Totality: total- inverse : Group t => t -> t
-