space_concepts.hpp

Go to the documentation of this file.

/*
 * Copyright © 2025-2026 Akreon LLC
 * SPDX-License-Identifier: Apache-2.0
 */
 
#pragma once
 
#include <concepts>
 
#include "akreon/linalg/matrix/matrix_concepts.hpp"
#include "akreon/linalg/scalar/scalar_concepts.hpp"
#include "akreon/linalg/vector/vector_concepts.hpp"
#include "coordinate_concepts.hpp"
#include "space_traits.hpp"
 
namespace linalg {
 
template <class Space>
concept VectorSpace =
    requires(const space_point_t<Space>& x, const space_point_t<Space>& y,
             const space_type_t<Space>& alpha) {
      { x + y } -> std::convertible_to<space_point_t<Space>>;
      { x - y } -> std::convertible_to<space_point_t<Space>>;
      { alpha * x } -> std::convertible_to<space_point_t<Space>>;
      { alpha * (x + y) } -> std::convertible_to<space_point_t<Space>>;
      { alpha * x + alpha * y } -> std::convertible_to<space_point_t<Space>>;
      {
        space_type_t<Space>(1) * x
      } -> std::convertible_to<space_point_t<Space>>;
    };
 
template <class Space>
concept RnSpace = VectorSpace<Space> && CoordinatizedSpace<Space> &&
                  Real<space_type_t<Space>>;
 
} // namespace linalg