update automatically

Author: cpprefjp-autoupdate

reference/linalg.html

@@ -176,8 +176,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-26T02:41:39">
-        2024年06月26日 02時41分39秒
+      <span itemprop="datePublished" content="2024-06-27T05:12:35">
+        2024年06月27日 05時12分35秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -423,7 +423,7 @@ <h2>BLAS 2アルゴリズム</h2>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code>triangular_matrix_vector_product</code></td>
+<td><code><a href="linalg/triangular_matrix_vector_product.html">triangular_matrix_vector_product</a></code></td>
 <td>xTRMV: 三角行列とベクトルの積を求める (function template)</td>
 <td>C++26</td>
 </tr>

reference/linalg/hermitian_matrix_vector_product.html

@@ -204,8 +204,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-26T03:41:50">
-        2024年06月26日 03時41分50秒
+      <span itemprop="datePublished" content="2024-06-27T05:13:41">
+        2024年06月27日 05時13分41秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -289,15 +289,18 @@ <h2>概要</h2>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
 <ul>
-<li>(1), (2), (3), (4): <code>InMat</code>が<code><a href="layout_blas_packed.html">layout_blas_packed</a></code>を持つなら、レイアウトの<code>Triangle</code>テンプレート引数とこの関数の<code>Triangle</code>テンプレート引数が同じ型</li>
-<li>(1), (2), (3), (4): <code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;decltype(A), decltype(A)&gt;(0, 1)</code>が<code>true</code> (つまり<code>A</code>が正方行列であること)</li>
-<li>(1), (2), (3), (4): <code><a href="possibly-multipliable.html">possibly-multipliable</a>&lt;decltype(A), decltype(x), decltype(y)&gt;()</code>が<code>true</code></li>
+<li>共通:</li>
+<li><code>Triangle</code>は<code><a href="upper_triangle_t.html">upper_triangle_t</a></code>または<code><a href="lower_triangle_t.html">lower_triangle_t</a></code></li>
+<li><code>InMat</code>が<code><a href="layout_blas_packed.html">layout_blas_packed</a></code>を持つなら、レイアウトの<code>Triangle</code>テンプレート引数とこの関数の<code>Triangle</code>テンプレート引数が同じ型</li>
+<li><code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;decltype(A), decltype(A)&gt;(0, 1)</code>が<code>true</code> (つまり<code>A</code>が正方行列であること)</li>
+<li><code><a href="possibly-multipliable.html">possibly-multipliable</a>&lt;decltype(A), decltype(x), decltype(y)&gt;()</code>が<code>true</code></li>
 <li>(3), (4): <code><a href="possibly-addable.html">possibly-addable</a>&lt;decltype(x),decltype(y),decltype(z)&gt;()</code>が<code>true</code></li>
 </ul>
 <h2>事前条件</h2>
 <ul>
-<li>(1), (2), (3), (4): <code>A.extent(0) == A.extent(1)</code></li>
-<li>(1), (2), (3), (4): <code><a href="multipliable.html">multipliable</a>(A, x, y) == true</code></li>
+<li>共通:</li>
+<li><code>A.extent(0) == A.extent(1)</code></li>
+<li><code><a href="multipliable.html">multipliable</a>(A, x, y) == true</code></li>
 <li>(3), (4): <code><a href="addable.html">addable</a>(x, y, z) == true</code></li>
 </ul>
 <h2>効果</h2>
@@ -427,6 +430,8 @@ <h2>関連項目</h2>
 <ul>
 <li><code><a href="../execution.html">execution</a></code></li>
 <li><code><a href="../mdspan.html">mdspan</a></code></li>
+<li><code><a href="upper_triangle_t.html">upper_triangle_t</a></code></li>
+<li><code><a href="lower_triangle_t.html">lower_triangle_t</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>

reference/linalg/symmetric_matrix_vector_product.html

@@ -204,8 +204,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-26T02:42:24">
-        2024年06月26日 02時42分24秒
+      <span itemprop="datePublished" content="2024-06-27T05:13:41">
+        2024年06月27日 05時13分41秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -289,9 +289,11 @@ <h2>概要</h2>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
 <ul>
-<li>(1), (2), (3), (4): <code>InMat</code>が<code><a href="layout_blas_packed.html">layout_blas_packed</a></code>を持つなら、レイアウトの<code>Triangle</code>テンプレート引数とこの関数の<code>Triangle</code>テンプレート引数が同じ型</li>
-<li>(1), (2), (3), (4): <code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;decltype(A), decltype(A)&gt;(0, 1)</code>が<code>true</code> (つまり<code>A</code>が正方行列であること)</li>
-<li>(1), (2), (3), (4): <code><a href="possibly-multipliable.html">possibly-multipliable</a>&lt;decltype(A), decltype(x), decltype(y)&gt;()</code>が<code>true</code></li>
+<li>共通:</li>
+<li><code>Triangle</code>は<code><a href="upper_triangle_t.html">upper_triangle_t</a></code>または<code><a href="lower_triangle_t.html">lower_triangle_t</a></code></li>
+<li><code>InMat</code>が<code><a href="layout_blas_packed.html">layout_blas_packed</a></code>を持つなら、レイアウトの<code>Triangle</code>テンプレート引数とこの関数の<code>Triangle</code>テンプレート引数が同じ型</li>
+<li><code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;decltype(A), decltype(A)&gt;(0, 1)</code>が<code>true</code> (つまり<code>A</code>が正方行列であること)</li>
+<li><code><a href="possibly-multipliable.html">possibly-multipliable</a>&lt;decltype(A), decltype(x), decltype(y)&gt;()</code>が<code>true</code></li>
 <li>(3), (4): <code><a href="possibly-addable.html">possibly-addable</a>&lt;decltype(x),decltype(y),decltype(z)&gt;()</code>が<code>true</code></li>
 </ul>
 <h2>事前条件</h2>
@@ -425,6 +427,8 @@ <h2>関連項目</h2>
 <ul>
 <li><code><a href="../execution.html">execution</a></code></li>
 <li><code><a href="../mdspan.html">mdspan</a></code></li>
+<li><code><a href="upper_triangle_t.html">upper_triangle_t</a></code></li>
+<li><code><a href="lower_triangle_t.html">lower_triangle_t</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>