update automatically

Author: cpprefjp-autoupdate

reference/linalg.html

@@ -176,8 +176,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-09T06:50:42">
-        2024年07月09日 06時50分42秒
+      <span itemprop="datePublished" content="2024-07-10T05:51:42">
+        2024年07月10日 05時51分42秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -295,7 +295,7 @@ <h2>BLASの要件</h2>
 </tr>
 <tr>
 <td><code>DiagonalStorage</code></td>
-<td><code>implicit_unit_diagonal_t</code>または<code>implicit_unit_diagonal_t</code></td>
+<td><code>implicit_unit_diagonal_t</code>または<code>explicit_diagonal_t</code></td>
 </tr>
 </tbody>
 </table>
@@ -490,7 +490,7 @@ <h2>BLAS 3アルゴリズム</h2>
 <td>C++26</td>
 </tr>
 <tr>
-<td><code>triangular_matrix_product</code></td>
+<td><code><a href="linalg/triangular_matrix_product.html">triangular_matrix_product</a></code></td>
 <td>xTRMM: 三角行列と行列の積を求める (function template)</td>
 <td>C++26</td>
 </tr>

reference/linalg/add.html

@@ -204,8 +204,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-25T03:51:33">
-        2024年06月25日 03時51分33秒
+      <span itemprop="datePublished" content="2024-07-10T06:46:47">
+        2024年07月10日 06時46分47秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -261,9 +261,9 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバー
 </li>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
-<p>行列またはベクトルの<code>x</code>、<code>y</code>、<code>z</code>の各次元の静的要素数が同じであること。</p>
 <ul>
-<li><code><a href="possibly-addable.html">possibly-addable</a>&lt;InObj1, InObj2, OutObj&gt;() == true</code></li>
+<li>(1), (2): <code><a href="possibly-addable.html">possibly-addable</a>&lt;InObj1, InObj2, OutObj&gt;()</code>が<code>true</code> (行列またはベクトルの<code>x</code>、<code>y</code>、<code>z</code>の各次元の静的要素数が同じ)</li>
+<li>(2): <code><a href="../execution/is_execution_policy.html">is_execution_policy</a>&lt;ExecutionPolicy&gt;::value</code>が<code>true</code></li>
 </ul>
 <h2>事前条件</h2>
 <p>行列またはベクトルの<code>x</code>、<code>y</code>、<code>z</code>の各次元が同じであること。</p>

reference/linalg/apply_givens_rotation.html

@@ -204,8 +204,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-25T03:51:33">
-        2024年06月25日 03時51分33秒
+      <span itemprop="datePublished" content="2024-07-10T06:46:47">
+        2024年07月10日 06時46分47秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -291,7 +291,10 @@ <h2>概要</h2>
 $$</p>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
 <ul>
+<li>共通:</li>
+<li><code>Real</code>が<code>complex&lt;Real&gt;</code>を規定できる型であること</li>
 <li><code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;InOutVec1, InOutVec2&gt;(0,0) == true</code></li>
+<li>(2), (4): <code><a href="../execution/is_execution_policy.html">is_execution_policy</a>&lt;ExecutionPolicy&gt;::value</code>が<code>true</code></li>
 </ul>
 <h2>事前条件</h2>
 <ul>

reference/linalg/copy.html

@@ -204,8 +204,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-25T03:51:33">
-        2024年06月25日 03時51分33秒
+      <span itemprop="datePublished" content="2024-07-10T06:46:47">
+        2024年07月10日 06時46分47秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -251,7 +251,8 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバー
 - <code>x.rank() == y.rank()</code></p>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
 <ul>
-<li>0以上<code>x.rank()</code>未満の整数rに対して、<code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;InVec, OutVec&gt;(r,r)</code>が<code>true</code></li>
+<li>(1), (2): 0以上<code>x.rank()</code>未満の整数rに対して、<code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;InVec, OutVec&gt;(r,r)</code>が<code>true</code></li>
+<li>(2): <code><a href="../execution/is_execution_policy.html">is_execution_policy</a>&lt;ExecutionPolicy&gt;::value</code>が<code>true</code></li>
 </ul>
 <h2>事前条件</h2>
 <p><code>x</code>と<code>y</code>の各次元の要素数が等しくなければならない。

reference/linalg/dot.html

@@ -204,8 +204,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-25T04:39:34">
-        2024年06月25日 04時39分34秒
+      <span itemprop="datePublished" content="2024-07-10T06:46:47">
+        2024年07月10日 06時46分47秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -263,9 +263,10 @@
 <h2>概要</h2>
 <p>2つのベクトル<code>v1</code>、<code>v2</code>の内積を計算する。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
-<p>2つのベクトルの静的な要素数が同じであること。</p>
 <ul>
-<li><code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;InVec1, InVec2&gt;(0, 0) == true</code></li>
+<li>共通:</li>
+<li><code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;InVec1, InVec2&gt;(0, 0)</code>が<code>true</code> (2つのベクトルの静的な要素数が同じ)</li>
+<li>(2), (4): <code><a href="../execution/is_execution_policy.html">is_execution_policy</a>&lt;ExecutionPolicy&gt;::value</code>が<code>true</code></li>
 </ul>
 <h2>事前条件</h2>
 <p>2つのベクトルの次元が同じであること。</p>

reference/linalg/dotc.html

@@ -204,8 +204,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-25T04:39:34">
-        2024年06月25日 04時39分34秒
+      <span itemprop="datePublished" content="2024-07-10T06:46:47">
+        2024年07月10日 06時46分47秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -263,9 +263,10 @@
 <h2>概要</h2>
 <p>2つのベクトル<code>v1</code>、<code>v2</code>のエルミート内積を計算する。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
-<p>2つのベクトルの静的な要素数が同じであること。</p>
 <ul>
-<li><code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;InVec1, InVec2&gt;(0, 0) == true</code></li>
+<li>共通:</li>
+<li><code><a href="compatible-static-extents.html">compatible-static-extents</a>&lt;InVec1, InVec2&gt;(0, 0)</code>が<code>true</code> (2つのベクトルの静的な要素数が同じ)</li>
+<li>(2), (4): <code><a href="../execution/is_execution_policy.html">is_execution_policy</a>&lt;ExecutionPolicy&gt;::value</code>が<code>true</code></li>
 </ul>
 <h2>事前条件</h2>
 <p>2つのベクトルの次元が同じであること。</p>