algebra::Group< Operation, Element > Struct Template Reference
[Concepts]
Concept Group.
More...
#include <algebraic_concepts.hpp>
List of all members.
Detailed Description
template<typename Operation, typename Element>
struct algebra::Group< Operation, Element >
Concept Group.
- Parameters:
-
| Operation | A functor implementing a binary operation |
| Element | The type upon the binary operation is defined |
- Refinement of:
-
- Notation:
op | Object of type Operation |
x | Object of type Element |
- Invariant:
Inverse from right | op( x, inverse(op, x) ) == identity(op, x) |
Inverse from left | op( inverse(op, x), x ) == identity(op, x) |
The documentation for this struct was generated from the following file: