akreon-linalg
Fixed-size linear algebra and numerical methods in C++26.
Loading...
Searching...
No Matches
linalg::MatVecCompatible Concept Reference

Compile-time compatibility contract for matrix-vector multiplication. More...

#include <matrix_concepts.hpp>

Concept definition

template<class Mat, class Vec>
concept linalg::MatVecCompatible =
MatrixContainer<Mat> && FieldVector<Vec> &&
std::same_as<matrix_scalar_t<Mat>, vector_element_t<Vec>> &&
mat_cols_v<Mat> == vector_dim_v<Vec>
linalg::FieldVector
Registered vector whose element type satisfies Field.
Definition vector_concepts.hpp:30
linalg::MatVecCompatible
Compile-time compatibility contract for matrix-vector multiplication.
Definition matrix_concepts.hpp:54
linalg::MatrixContainer
Trait-registered, fixed-shape matrix over a supported scalar field.
Definition matrix_concepts.hpp:26
linalg::mat_rows_v
constexpr std::size_t mat_rows_v
Registered compile-time row count after cv/ref normalization.
Definition matrix_traits.hpp:91

Detailed Description

Compile-time compatibility contract for matrix-vector multiplication.

The scalar fields must match exactly, and the vector dimension must equal the matrix column count. For Mat * Vec, the resulting vector dimension is the matrix row count.

Definition at line 54 of file matrix_concepts.hpp.