A scalar type that can serve as coefficients in a LinearMap. More...

Concept definition

template<typename S>
concept dedekind::geometry::IsMatrixScalar = 
    std::floating_point<S> &&
    (!std::same_as<S, double> || (DEDEKIND_ENABLE_DOUBLE_REAL_PROXY == 1))

Detailed Description

A scalar type that can serve as coefficients in a LinearMap.

The current concrete Vector/LinearMap MVP is restricted to floating-point carriers.

Policy hardening: using double as a proxy for the real line requires explicit build opt-in via DEDEKIND_ENABLE_DOUBLE_REAL_PROXY=1. This keeps the machine-real approximation path explicit rather than ambient.