num::math::linear_subspace_of

Defined in header <core/math/subspace.hpp>

template <class Subspace, class V>
concept linear_subspace_of =
    vector_space<V> && requires(const Subspace &subspace, const V &constant, V &value) {
      { contains(subspace, constant) } -> std::same_as<bool>;
      project(subspace, value);
    };

A linear subspace of V that can test membership and project onto itself.