PartiallyInvertibleMonoid concept
Description
A PartiallyInvertibleMonoid is a Monoid for which only part of all
elements in the set are invertible.
Refinement of
Monoid,
Notation
| S |
Type of a set |
| Op |
Type of an operation |
| {S,Op}
| Model of CommutativeSemiGroup
|
| a |
Object of type S |
| op |
Object of type Op
|
Definitions
Valid expressions
In addition to those defined by Monoid:
| Name |
Expression |
Return type |
| Invertability |
is_invertible<S,Op>()(a) |
bool |
Expression semantics
Complexity guarantees
Invariants
Models
Notes