vector_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/scalar/scalar_concepts.hpp"
#include "vector_traits.hpp"
 
namespace linalg {
 
template <class Vec>
concept VectorContainer = requires {
  typename vector_traits_t<Vec>::element_type;
  { vector_dim_v<Vec> } -> std::convertible_to<std::size_t>;
};
 
template <class Vec>
concept FieldVector = VectorContainer<Vec> && Field<vector_element_t<Vec>>;
 
template <class Vec>
concept RealVector = FieldVector<Vec> && Real<vector_element_t<Vec>>;
 
template <class Vec>
concept ComplexVector = FieldVector<Vec> && Complex<vector_element_t<Vec>>;
 
template <class VecA, class VecB>
concept CompatibleVectors =
    VectorContainer<VecA> && VectorContainer<VecB> &&
    std::same_as<vector_element_t<VecA>, vector_element_t<VecB>> &&
    vector_dim_v<VecA> == vector_dim_v<VecB>;
 
} // namespace linalg