dedekind::algebra::IsCommutativeRing Concept Reference

A Ring where multiplication is also commutative. More...

Concept definition

template<typename X, typename Add std::plus<typename X::Domain>, typename Mult std::multiplies<typename X::Domain>>
concept dedekind::algebra::IsCommutativeRing = 
    IsRing<X, Add, Mult> &&
    dedekind::category::IsCommutative<typename X::Domain, Mult>

Detailed Description

A Ring where multiplication is also commutative.

Template Parameters

T	The carrier type.
Add	Additive operation witness (defaults to std::plus<T>).
Mult	Multiplicative operation witness (defaults to std::multiplies<T>).