dedekind::category::IsSemiring Concept Reference

Alias for IsRig: a general multi-operation species. More...

Concept definition

template<typename T, typename Add, typename Mult>
concept dedekind::category::IsSemiring =  IsRig<T, Add, Mult>

Detailed Description

Alias for IsRig: a general multi-operation species.

The term "semiring" is used in some literature as a synonym for "rig." In this library it is an exact alias for IsRig.