From 45032c47cdc086e30a7d1afae0d0e3b21f856b0b Mon Sep 17 00:00:00 2001
From: sumiya11 <60229118+sumiya11@users.noreply.github.com>
Date: Mon, 14 Oct 2024 12:54:14 +0000
Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=20b9d05?=
 =?UTF-8?q?c16f106c46f14689075485c45509596622b=20=F0=9F=9A=80?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 assets/tutorial/code/output/gcd3.out         |  2 +-
 assets/tutorial/code/output/gcd4.out         |  2 +-
 assets/tutorial/code/output/graph2.svg       | 18 +++++++++---------
 assets/tutorial/code/output/graphcolored.svg | 18 +++++++++---------
 tutorial/index.html                          |  4 ++--
 5 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/assets/tutorial/code/output/gcd3.out b/assets/tutorial/code/output/gcd3.out
index 56d3d2b0..5c1cc2fc 100644
--- a/assets/tutorial/code/output/gcd3.out
+++ b/assets/tutorial/code/output/gcd3.out
@@ -1 +1 @@
-  84.277 μs (1669 allocations: 64.62 KiB)
+  85.219 μs (1669 allocations: 64.62 KiB)
diff --git a/assets/tutorial/code/output/gcd4.out b/assets/tutorial/code/output/gcd4.out
index 3f200f06..f0cc3163 100644
--- a/assets/tutorial/code/output/gcd4.out
+++ b/assets/tutorial/code/output/gcd4.out
@@ -1 +1 @@
-  152.125 μs (2706 allocations: 160.52 KiB)
+  150.671 μs (2706 allocations: 160.52 KiB)
diff --git a/assets/tutorial/code/output/graph2.svg b/assets/tutorial/code/output/graph2.svg
index a7957702..238bda13 100644
--- a/assets/tutorial/code/output/graph2.svg
+++ b/assets/tutorial/code/output/graph2.svg
@@ -13,14 +13,14 @@
     <path d="M0,0 L15,3.5 L0,7 z" stroke="context-stroke" fill="context-stroke"/>
   </marker>
 </defs>
-<g fill="#000000" fill-opacity="0.000" id="img-b3474c06-1">
+<g fill="#000000" fill-opacity="0.000" id="img-1ab7a43e-1">
   <g transform="translate(80,80)">
     <path d="M-80,-80 L80,-80 80,80 -80,80  z" class="primitive"/>
   </g>
 </g>
-<g stroke-width="1.5" stroke="#D3D3D3" id="img-b3474c06-2">
+<g stroke-width="1.5" stroke="#D3D3D3" id="img-1ab7a43e-2">
 </g>
-<g stroke-width="1.5" stroke="#D3D3D3" id="img-b3474c06-3">
+<g stroke-width="1.5" stroke="#D3D3D3" id="img-1ab7a43e-3">
   <g transform="translate(113.33,127.42)">
     <path fill="none" d="M-26.12,-15.08 L26.12,15.08 " class="primitive"/>
   </g>
@@ -37,13 +37,13 @@
     <path fill="none" d="M29.61,-59.21 L-29.61,59.21 " class="primitive"/>
   </g>
 </g>
-<g fill="#D3D3D3" id="img-b3474c06-4">
+<g fill="#D3D3D3" id="img-1ab7a43e-4">
 </g>
-<g fill="#D3D3D3" id="img-b3474c06-5">
+<g fill="#D3D3D3" id="img-1ab7a43e-5">
 </g>
-<g font-size="4" fill="#000000" id="img-b3474c06-6">
+<g font-size="4" fill="#000000" id="img-1ab7a43e-6">
 </g>
-<g stroke-width="0" stroke="#000000" stroke-opacity="0.000" fill="#40E0D0" id="img-b3474c06-7">
+<g stroke-width="0" stroke="#000000" stroke-opacity="0.000" fill="#40E0D0" id="img-1ab7a43e-7">
   <g transform="translate(80,108.18)">
     <circle cx="0" cy="0" r="8" class="primitive"/>
   </g>
@@ -57,7 +57,7 @@
     <circle cx="0" cy="0" r="8" class="primitive"/>
   </g>
 </g>
-<g font-family="Helvetica" font-size="4" fill="#000000" id="img-b3474c06-8">
+<g font-family="Helvetica" font-size="4" fill="#000000" id="img-1ab7a43e-8">
   <g transform="translate(88.84,99.34)">
     <g class="primitive">
       <text text-anchor="middle" dy="0.35em">1</text>
@@ -79,7 +79,7 @@
     </g>
   </g>
 </g>
-<g font-family="Helvetica" font-size="4" fill="#000000" id="img-b3474c06-9">
+<g font-family="Helvetica" font-size="4" fill="#000000" id="img-1ab7a43e-9">
   <g transform="translate(80,0)">
     <g class="primitive">
       <text text-anchor="middle" dy="0.35em"></text>
diff --git a/assets/tutorial/code/output/graphcolored.svg b/assets/tutorial/code/output/graphcolored.svg
index ef91875f..785007c9 100644
--- a/assets/tutorial/code/output/graphcolored.svg
+++ b/assets/tutorial/code/output/graphcolored.svg
@@ -13,14 +13,14 @@
     <path d="M0,0 L15,3.5 L0,7 z" stroke="context-stroke" fill="context-stroke"/>
   </marker>
 </defs>
-<g fill="#000000" fill-opacity="0.000" id="img-37e3e6b2-1">
+<g fill="#000000" fill-opacity="0.000" id="img-71088e3d-1">
   <g transform="translate(80,80)">
     <path d="M-80,-80 L80,-80 80,80 -80,80  z" class="primitive"/>
   </g>
 </g>
-<g stroke-width="1.5" stroke="#D3D3D3" id="img-37e3e6b2-2">
+<g stroke-width="1.5" stroke="#D3D3D3" id="img-71088e3d-2">
 </g>
-<g stroke-width="1.5" stroke="#D3D3D3" id="img-37e3e6b2-3">
+<g stroke-width="1.5" stroke="#D3D3D3" id="img-71088e3d-3">
   <g transform="translate(113.33,127.42)">
     <path fill="none" d="M-26.12,-15.08 L26.12,15.08 " class="primitive"/>
   </g>
@@ -37,13 +37,13 @@
     <path fill="none" d="M29.61,-59.21 L-29.61,59.21 " class="primitive"/>
   </g>
 </g>
-<g fill="#D3D3D3" id="img-37e3e6b2-4">
+<g fill="#D3D3D3" id="img-71088e3d-4">
 </g>
-<g fill="#D3D3D3" id="img-37e3e6b2-5">
+<g fill="#D3D3D3" id="img-71088e3d-5">
 </g>
-<g font-size="4" fill="#000000" id="img-37e3e6b2-6">
+<g font-size="4" fill="#000000" id="img-71088e3d-6">
 </g>
-<g stroke-width="0" stroke="#000000" stroke-opacity="0.000" id="img-37e3e6b2-7">
+<g stroke-width="0" stroke="#000000" stroke-opacity="0.000" id="img-71088e3d-7">
   <g transform="translate(80,108.18)" fill="#FF0000">
     <circle cx="0" cy="0" r="8" class="primitive"/>
   </g>
@@ -57,7 +57,7 @@
     <circle cx="0" cy="0" r="8" class="primitive"/>
   </g>
 </g>
-<g font-family="Helvetica" font-size="4" fill="#000000" id="img-37e3e6b2-8">
+<g font-family="Helvetica" font-size="4" fill="#000000" id="img-71088e3d-8">
   <g transform="translate(88.84,99.34)">
     <g class="primitive">
       <text text-anchor="middle" dy="0.35em">1</text>
@@ -79,7 +79,7 @@
     </g>
   </g>
 </g>
-<g font-family="Helvetica" font-size="4" fill="#000000" id="img-37e3e6b2-9">
+<g font-family="Helvetica" font-size="4" fill="#000000" id="img-71088e3d-9">
   <g transform="translate(80,0)">
     <g class="primitive">
       <text text-anchor="middle" dy="0.35em"></text>
diff --git a/tutorial/index.html b/tutorial/index.html
index d4aca09d..e054782d 100644
--- a/tutorial/index.html
+++ b/tutorial/index.html
@@ -176,11 +176,11 @@ <h3 id="groebner_basis_is_euclidean_algorithm"><a href="#groebner_basis_is_eucli
 <p>With <code>DynamicPolynomials.jl</code>:</p>
 <pre><code class="julia hljs">h = (x + <span class="hljs-number">3</span>)^<span class="hljs-number">5</span>
 
-<span class="hljs-meta">@btime</span> gcd(gcd($f, $g), $h)</code></pre><pre><code class="plaintext hljs">  84.277 μs (1669 allocations: 64.62 KiB)
+<span class="hljs-meta">@btime</span> gcd(gcd($f, $g), $h)</code></pre><pre><code class="plaintext hljs">  85.219 μs (1669 allocations: 64.62 KiB)
 3 + x</code></pre>
 <p>With Groebner.jl:</p>
 <pre><code class="julia hljs">F = [f, g, h]
-<span class="hljs-meta">@btime</span> groebner($F)</code></pre><pre><code class="plaintext hljs">  152.125 μs (2706 allocations: 160.52 KiB)
+<span class="hljs-meta">@btime</span> groebner($F)</code></pre><pre><code class="plaintext hljs">  150.671 μs (2706 allocations: 160.52 KiB)
 1-element Vector{DynamicPolynomials.Polynomial{DynamicPolynomials.Commutative{DynamicPolynomials.CreationOrder}, MultivariatePolynomials.Graded{MultivariatePolynomials.LexOrder}, Rational{BigInt}}}:
  3//1 + x</code></pre>
 <h2 id="variable_elimination"><a href="#variable_elimination" class="header-anchor">Variable Elimination</a></h2>