- [meta exposition-only]
- [mathjax enable]
- linalg[meta header]
- function template[meta id-type]
- std::linalg[meta namespace]
- cpp26[meta cpp]
namespace std::linalg {
template<in-matrix InMat, in-vector InVec, in-vector OutVec>
constexpr bool possibly-multipliable()
{
return compatible-static-extents<OutVec, InMat>(0, 0) &&
compatible-static-extents<InMat, InVec>(1, 0);
} // (1)
template<in-vector InVec, in-matrix InMat, in-vector OutVec>
constexpr bool possibly-multipliable()
{
return compatible-static-extents<OutVec, InMat>(0, 1) &&
compatible-static-extents<InMat, InVec>(0, 0);
} // (2)
template<in-matrix InMat1, in-matrix InMat2, in-matrix OutMat>
constexpr bool possibly-multipliable()
{
return compatible-static-extents<OutMat, InMat1>(0, 0) &&
compatible-static-extents<OutMat, InMat2>(1, 1) &&
compatible-static-extents<InMat1, InMat2>(1, 0);
} // (3)
}- in-vector[link inout-vector.md]
- in-matrix[link inout-matrix.md]
テンプレートパラメータに指定されたベクトルや行列が掛けられるかを静的要素数で判定する、説明専用の関数である。
InMat型の変数をA, InVec型の変数をx, OutVec型の変数をyとする。
- (1):
$y \leftarrow Ax$ が可能ならtrue、そうでないならfalse - (2):
$y^t \leftarrow x^t A$ が可能ならtrue、そうでないならfalse - (3):
InMat1型の変数をA,InMat2型の変数をB,OutMat型の変数Cとすると、$C \leftarrow AB$ が可能ならtrue、そうでないならfalse
- C++26