Logo MTL4

algebra::Group< Operation, Element > Struct Template Reference
[Concepts]

Concept Group. More...

#include <algebraic_concepts.hpp>

Inherits Monoid< Operation, Element >, and Inversion< Operation, Element >.

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

Collaboration graph
[legend]

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:


algebra::Group< Operation, Element > Struct Template Reference -- MTL 4 -- Peter Gottschling and Andrew Lumsdaine -- Gen. with rev. 7542 on 7 Apr 2011 by doxygen 1.5.9 -- © 2010 by SimuNova UG.