Ring

The Ring typeclass is used for Groups that also form a Monoid under a second binary operation that distributes over the first. More...

Classes
struct	boost::mpl11::mult< x1, x2, xn >
	Ring operation. More...
struct	boost::mpl11::one< Datatype >
	Multiplicative identity for the given Datatype. More...

Detailed Description

The Ring typeclass is used for Groups that also form a Monoid under a second binary operation that distributes over the first.

Instances of Ring must satisfy the following laws:

mult a (mult b c) == mult (mult a b) c

mult one a == a
mult a one == a

mult a (plus b c) == plus (mult a b) (mult a c)

Refines

Group

Methods

mult and one

Minimal complete definition

All the methods.