dedekind::algebra::IsRng Concept Reference

Concept definition

template<typename X, typename Add std::plus<typename X::Domain>, typename Mult std::multiplies<typename X::Domain>>
concept dedekind::algebra::IsRng =  IsAlgebraOnSet<X, Add, Mult> &&
                dedekind::category::IsRng<typename X::Domain, Add, Mult>

Detailed Description

: The "Identity-less" Harmony (No unit).

A rng has no multiplicative identity, so it does not go through the multiplicative-monoid rung; the algebraic-set discipline is pinned directly via IsAlgebra (std::semiregular + closure under both operations).