num::math::inner_product_space

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

template <class V>
concept inner_product_space = vector_space<V> && requires(const V &x, const V &y) {
  { inner(x, y) } -> std::convertible_to<scalar_t<V>>;
  norm(x);
};

Vector space with an inner product and its induced norm, as Krylov methods need.