linalg::Space Concept Reference

Trait-registered finite-dimensional mathematical space. More...

#include <coordinate_concepts.hpp>

Concept definition

template<class Candidate>
concept linalg::Space =  requires {
  typename space_scalar_t<Candidate>;
  typename space_element_t<Candidate>;
  { space_dim_v<Candidate> } -> std::convertible_to<std::size_t>;
}

Detailed Description

Trait-registered finite-dimensional mathematical space.

A candidate space must expose a scalar field, element representation, and compile-time dimension through space_traits. This concept classifies space metadata only; it does not require vector-space arithmetic or a coordinate conversion.

Definition at line 23 of file coordinate_concepts.hpp.