Monoid where all objects have an inverse w.r.t. More...

Classes
struct	boost::mpl11::minus< x, y >
	Equivalent to `plus<x, negate<y>>`. More...

struct	boost::mpl11::negate< x >
	Returns the inverse of `x`. More...

Detailed Description

Monoid where all objects have an inverse w.r.t.

the binary operation.

Instances of Group must satisfy the following laws:

plus x (negate x) == zero

plus (negate x) x == zero

The method names refer to the group of numbers under addition.

minus and negate

Either minus or negate.

Classes