The base's laws that a multiplied-out × rests on. More...

Concept definition

template<typename B>
concept dedekind::category::CommutativeRingLaws = 
    associative<B>(std::plus<B>{}) && commutative<B>(std::plus<B>{}) &&
    associative<B>(std::multiplies<B>{}) &&
    distributive<B>(std::multiplies<B>{}, std::plus<B>{})

Detailed Description

The base's laws that a multiplied-out × rests on.

Template Parameters

B	the base carrier.