dedekind::sets::IsWrappingWord Concept Reference

A machine word that is the wrapping ring ℤ/2^w: an unsigned built-in integer (not bool) that the category registrations certify as a commutative ring under + and *, periodic under +, and totally ordered. More...

Concept definition

template<typename W>
concept dedekind::sets::IsWrappingWord = 
    std::unsigned_integral<W> && !std::same_as<W, bool> &&
    dedekind::category::IsCommutativeRing<W, std::plus<W>,
                                          std::multiplies<W>> &&
    dedekind::category::IsPeriodic<W, std::plus<W>> && std::totally_ordered<W>

Detailed Description

A machine word that is the wrapping ring ℤ/2^w: an unsigned built-in integer (not bool) that the category registrations certify as a commutative ring under + and *, periodic under +, and totally ordered.

The machine-type part guarantees the operations the carriers use (/, %, the overflow builtins, numeric_limits); the category part is the semantic claim. Signed int fails both (its ring claim is refused: overflow is UB).