linalg::CoordinatizedSpace Concept Reference

Finite-dimensional space with explicit element-coordinate conversion. More...

#include <coordinate_concepts.hpp>

Concept definition

template<class Candidate>
concept linalg::CoordinatizedSpace = 
    Space<Candidate> &&
    requires(const space_element_t<Candidate>& element,
             const space_coordinate_t<Candidate>& coordinate) {
      {
        coordinates<Candidate>(element)
      } -> std::same_as<space_coordinate_t<Candidate>>;
      {
        from_coordinates<Candidate>(coordinate)
      } -> std::same_as<space_element_t<Candidate>>;
    }

Detailed Description

Finite-dimensional space with explicit element-coordinate conversion.

coordinates<Space>(element) must produce the registered coordinate type, and from_coordinates<Space>(coordinate) must reconstruct the registered element type. The concept checks the exact C++ interface but cannot prove that the two operations are mutual inverses.

Definition at line 38 of file coordinate_concepts.hpp.