algebra::Group< Operation, Element > Struct Template Reference

Concept Group. More...

#include <algebraic_concepts.hpp>

Inheritance diagram for algebra::Group< Operation, Element >:

Collaboration diagram for algebra::Group< Operation, Element >:

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:

• Monoid
• Inversion

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:

• algebraic_concepts.hpp