dedekind::numbers::IsScalar Concept Reference

Concept definition

template<typename M, typename C>
concept dedekind::numbers::IsScalar = 
    dedekind::category::IsSemiring<M, std::plus<M>, std::multiplies<M>> &&
    IsCardinality<C> && requires {
      
      requires std::same_as<typename M::cardinality_type, C>;
    }