From 2dc1e5aaf161efb922a3105116b3d74b9e9e3a40 Mon Sep 17 00:00:00 2001 From: Yuya Asano <64895419+sukeya@users.noreply.github.com> Date: Thu, 27 Jun 2024 14:13:41 +0900 Subject: [PATCH] =?UTF-8?q?linalg=20:=20=E8=A6=81=E4=BB=B6=E3=81=A8?= =?UTF-8?q?=E9=96=A2=E9=80=A3=E9=A0=85=E7=9B=AE=E3=82=92=E4=BF=AE=E6=AD=A3?= =?UTF-8?q?=20(#1233)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Yuya Asano <64895419+sukeya@users.noreply.github.com> --- .../linalg/hermitian_matrix_vector_product.md | 15 ++++++++++----- .../linalg/symmetric_matrix_vector_product.md | 10 +++++++--- 2 files changed, 17 insertions(+), 8 deletions(-) diff --git a/reference/linalg/hermitian_matrix_vector_product.md b/reference/linalg/hermitian_matrix_vector_product.md index 99b1c1044..650923eef 100644 --- a/reference/linalg/hermitian_matrix_vector_product.md +++ b/reference/linalg/hermitian_matrix_vector_product.md @@ -70,15 +70,18 @@ namespace std::linalg { ## 適格要件 -- (1), (2), (3), (4): `InMat`が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型 -- (1), (2), (3), (4): [`compatible-static-extents`](compatible-static-extents.md)`(0, 1)`が`true` (つまり`A`が正方行列であること) -- (1), (2), (3), (4): [`possibly-multipliable`](possibly-multipliable.md)`()`が`true` +- 共通: + + `Triangle`は[`upper_triangle_t`](upper_triangle_t.md)または[`lower_triangle_t`](lower_triangle_t.md) + + `InMat`が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型 + + [`compatible-static-extents`](compatible-static-extents.md)`(0, 1)`が`true` (つまり`A`が正方行列であること) + + [`possibly-multipliable`](possibly-multipliable.md)`()`が`true` - (3), (4): [`possibly-addable`](possibly-addable.md)`()`が`true` ## 事前条件 -- (1), (2), (3), (4): `A.extent(0) == A.extent(1)` -- (1), (2), (3), (4): [`multipliable`](multipliable.md)`(A, x, y) == true` +- 共通: + + `A.extent(0) == A.extent(1)` + + [`multipliable`](multipliable.md)`(A, x, y) == true` - (3), (4): [`addable`](addable.md)`(x, y, z) == true` @@ -218,6 +221,8 @@ z[3] = (11,-9) ## 関連項目 - [`execution`](/reference/execution.md) - [`mdspan`](/reference/mdspan.md) +- [`upper_triangle_t`](upper_triangle_t.md) +- [`lower_triangle_t`](lower_triangle_t.md) ## 参照 diff --git a/reference/linalg/symmetric_matrix_vector_product.md b/reference/linalg/symmetric_matrix_vector_product.md index 3a6c5317c..aa39fc328 100644 --- a/reference/linalg/symmetric_matrix_vector_product.md +++ b/reference/linalg/symmetric_matrix_vector_product.md @@ -70,9 +70,11 @@ namespace std::linalg { ## 適格要件 -- (1), (2), (3), (4): `InMat`が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型 -- (1), (2), (3), (4): [`compatible-static-extents`](compatible-static-extents.md)`(0, 1)`が`true` (つまり`A`が正方行列であること) -- (1), (2), (3), (4): [`possibly-multipliable`](possibly-multipliable.md)`()`が`true` +- 共通: + + `Triangle`は[`upper_triangle_t`](upper_triangle_t.md)または[`lower_triangle_t`](lower_triangle_t.md) + + `InMat`が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型 + + [`compatible-static-extents`](compatible-static-extents.md)`(0, 1)`が`true` (つまり`A`が正方行列であること) + + [`possibly-multipliable`](possibly-multipliable.md)`()`が`true` - (3), (4): [`possibly-addable`](possibly-addable.md)`()`が`true` @@ -216,6 +218,8 @@ z[3] = 71 ## 関連項目 - [`execution`](/reference/execution.md) - [`mdspan`](/reference/mdspan.md) +- [`upper_triangle_t`](upper_triangle_t.md) +- [`lower_triangle_t`](lower_triangle_t.md) ## 参照