@@ -124,21 +124,21 @@ namespace std::linalg {
124124
125125## 適格要件
126126- 共通
127- + `Triangle`は[`upper_triangle_t`](upper_triangle_t.md)または[`lower_triangle_t`](lower_triangle_t.md)
128- + [`possibly-multipliable`](possibly-multipliable.md)`<decltype(A), decltype(B), decltype(C)>()`が`true`
129- - (1), (2), (5), (6):
130- + `InMat1`(`A`の型)が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型
131- + [`compatible-static-extents`](compatible-static-extents.md)`<decltype(A), decltype(A)>(0, 1)`が`true` (つまり`A`が正方行列であること)
132- - (3), (4), (7), (8):
133- + `InMat2`(`B`の型)が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型
134- + [`compatible-static-extents`](compatible-static-extents.md)`<decltype(B), decltype(B)>(0, 1)`が`true` (つまり`B`が正方行列であること)
127+ + `Triangle`は[`upper_triangle_t`](upper_triangle_t.md)または[`lower_triangle_t`](lower_triangle_t.md)
128+ + [`possibly-multipliable`](possibly-multipliable.md)`<decltype(A), decltype(B), decltype(C)>()`が`true`
129+ - (1), (2), (5), (6):
130+ + `InMat1`(`A`の型)が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型
131+ + [`compatible-static-extents`](compatible-static-extents.md)`<decltype(A), decltype(A)>(0, 1)`が`true` (つまり`A`が正方行列であること)
132+ - (3), (4), (7), (8):
133+ + `InMat2`(`B`の型)が[`layout_blas_packed`](layout_blas_packed.md)を持つなら、レイアウトの`Triangle`テンプレート引数とこの関数の`Triangle`テンプレート引数が同じ型
134+ + [`compatible-static-extents`](compatible-static-extents.md)`<decltype(B), decltype(B)>(0, 1)`が`true` (つまり`B`が正方行列であること)
135135- (5), (6), (7), (8): [`possibly-addable`](possibly-addable.md)`<decltype(E),decltype(E),decltype(C)>()`が`true`
136136- (2), (4), (6), (8): [`is_execution_policy`](/reference/execution/is_execution_policy.md)`<ExecutionPolicy>::value`が`true`
137137
138138
139139## 事前条件
140140- 共通
141- + [`multipliable`](multipliable.md)`(A, B, C) == true`
141+ + [`multipliable`](multipliable.md)`(A, B, C) == true`
142142- (1), (2), (5), (6): `A.extent(0) == A.extent(1)`
143143- (3), (4), (7), (8): `B.extent(0) == B.extent(1)`
144144- (5), (6), (7), (8): [`addable`](addable.md)`(E, E, C) == true`
@@ -302,7 +302,7 @@ int main()
302302 return 0;
303303}
304304```
305- * .extent[ link /reference/mdspan/extents/extent.md]
305+ * A .extent[ link /reference/mdspan/extents/extent.md]
306306* std::mdspan[ link /reference/mdspan/mdspan.md]
307307* std::extents[ link /reference/mdspan/extents.md]
308308* std::linalg::layout_blas_packed[ link /reference/linalg/layout_blas_packed.md]
0 commit comments