dedekind::algebra::HasVectorSpaceOperators Concept Reference

Pragmatic vector-space check used by first reified vector carriers. More...

Concept definition

template<typename V, typename F, typename Act std::multiplies<>>
concept dedekind::algebra::HasVectorSpaceOperators = 
    HasFieldOperators<F> && HasGroupOperatorsAdd<V> && requires(F a, V v) {
      { Act{}(a, v) } -> std::same_as<V>;
    }

Detailed Description

Pragmatic vector-space check used by first reified vector carriers.

Uses the operational HasFieldOperators witness and does not depend on the stronger IsField proof machinery.

Note

Design choice (audit #393): paired with HasFieldOperators in the operational tower, intentionally distinct from the strict category::IsVectorSpace. The paired pragmatism admits IEEE-backed carriers (e.g. a LinearMap<double, R, C> witness over double) that deliberately do not carry the strict categorical proof. Where a callsite depends only on the operator surface compiling (and not on vector-space axioms holding under the policy in force), see dedekind::algebra::HasRingOperators and siblings.