The set-indexed lift: a set object X whose carrier X::Domain is both a Semiring AND an Abelian Group under addition. More...

Concept definition

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

Detailed Description

The set-indexed lift: a set object X whose carrier X::Domain is both a Semiring AND an Abelian Group under addition.

Template Parameters

X	The set object (`category::IsSet`).
Add	Additive operation witness (defaults to std::plus).
Mult	Multiplicative operation witness (defaults to std::multiplies).