linalg::InnerProduct Concept Reference

Callable contract for a trait-registered inner-product operation. More...

#include <inner_product.hpp>

Concept definition

template<class Product>
concept linalg::InnerProduct =  requires(const remove_cvref_t<Product>& product,
                                const inner_product_domain_t<Product>& lhs,
                                const inner_product_domain_t<Product>& rhs) {
  { product(lhs, rhs) } -> std::same_as<inner_product_codomain_t<Product>>;
}

Detailed Description

Callable contract for a trait-registered inner-product operation.

The product must accept two values from its registered domain and return its registered codomain exactly. The concept checks the C++ interface, not the mathematical inner-product axioms; custom products remain responsible for conjugate symmetry, linearity, and positive definiteness.

Definition at line 105 of file inner_product.hpp.