A dioid: an IsSemiring whose additive monoid Add is idempotent (a semilattice). This is the algebraic gate for the tropical carriers, refining IsSemiring exactly by ⊕-idempotence. More...

Concept definition

template<typename S, typename Add, typename Mult>
concept dedekind::algebra::IsTropical =  dedekind::category::IsSemiring<S, Add, Mult> &&
                     dedekind::category::idempotent<S>(Add{})

Detailed Description

A dioid: an IsSemiring whose additive monoid Add is idempotent (a semilattice). This is the algebraic gate for the tropical carriers, refining IsSemiring exactly by ⊕-idempotence.