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

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

#include <matrix_concepts.hpp>

Concept definition

template<class MatA, class MatB>
concept linalg::MatMulCompatible =
MatrixContainer<MatA> && MatrixContainer<MatB> &&
std::same_as<matrix_scalar_t<MatA>, matrix_scalar_t<MatB>> &&
mat_cols_v<MatA> == mat_rows_v<MatB>
linalg::MatMulCompatible
Compile-time compatibility contract for matrix multiplication.
Definition matrix_concepts.hpp:67
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 multiplication.

The scalar fields must match exactly, and the left column count must equal the right row count. For MatA * MatB, the result shape is mat_rows_v<MatA> x mat_cols_v<MatB>.

Definition at line 67 of file matrix_concepts.hpp.