Built site for gh-pages

hurak · Oct 2, 2024 · be56569 · be56569
1 parent c2047e8
commit be56569
Show file tree

Hide file tree

Showing 68 changed files with 72,555 additions and 2,120 deletions.
diff --git a/.nojekyll b/.nojekyll
@@ -1 +1 @@
-c1384c33
+eb4981a7
diff --git a/classes_PWA 15.html b/classes_PWA 15.html
diff --git a/classes_references 20.html b/classes_references 20.html
diff --git a/classes_reset 20.html b/classes_reset 20.html
diff --git a/classes_reset.html b/classes_reset.html
diff --git a/classes_software 15.html b/classes_software 15.html
diff --git a/classes_switched 19.html b/classes_switched 19.html
diff --git a/classes_switched.html b/classes_switched.html
diff --git a/complementarity_constraints 19.html b/complementarity_constraints 19.html
diff --git a/complementarity_references 23.html b/complementarity_references 23.html
diff --git a/complementarity_simulations 17.html b/complementarity_simulations 17.html
diff --git a/complementarity_simulations.html b/complementarity_simulations.html
diff --git a/complementarity_software 16.html b/complementarity_software 16.html
diff --git a/complementarity_systems 20.html b/complementarity_systems 20.html
diff --git a/des 18.html b/des 18.html
diff --git a/des_automata 20.html b/des_automata 20.html
diff --git a/des_automata.html b/des_automata.html
@@ -2131,16 +2131,16 @@ <h3 class="anchored" data-anchor-id="mealy-machine">Mealy machine</h3>
 <span id="cb3-11"><a href="#cb3-11" aria-hidden="true" tabindex="-1"></a><span class="pp">@show</span> <span class="fu">update!</span>(dtr), <span class="fu">output</span>(dtr)</span></code><button title="Copy to Clipboard" class="code-copy-button"><i class="bi"></i></button></pre></div>
 </details>
 <div class="cell-output cell-output-stdout">
-<pre><code>x_initial = rand(0:k, n) = [0, 1, 0, 4]
-output(dtr) = [0, 1, 1, 1]
-(update!(dtr), output(dtr)) = ([0, 0, 1, 0], [1, 0, 1, 1])
-(update!(dtr), output(dtr)) = ([1, 0, 0, 1], [1, 1, 0, 1])
-(update!(dtr), output(dtr)) = ([2, 1, 0, 0], [0, 1, 1, 0])
-(update!(dtr), output(dtr)) = ([2, 2, 1, 0], [0, 0, 1, 1])
-(update!(dtr), output(dtr)) = ([2, 2, 2, 1], [0, 0, 0, 1])</code></pre>
+<pre><code>x_initial = rand(0:k, n) = [0, 2, 3, 0]
+output(dtr) = [1, 1, 1, 1]
+(update!(dtr), output(dtr)) = ([1, 0, 2, 3], [0, 1, 1, 1])
+(update!(dtr), output(dtr)) = ([1, 1, 0, 2], [0, 0, 1, 1])
+(update!(dtr), output(dtr)) = ([1, 1, 1, 0], [0, 0, 0, 1])
+(update!(dtr), output(dtr)) = ([1, 1, 1, 1], [1, 0, 0, 0])
+(update!(dtr), output(dtr)) = ([2, 1, 1, 1], [0, 1, 0, 0])</code></pre>
 </div>
 <div class="cell-output cell-output-display" data-execution_count="1">
-<pre><code>([2, 2, 2, 1], [0, 0, 0, 1])</code></pre>
+<pre><code>([2, 1, 1, 1], [0, 1, 0, 0])</code></pre>
 </div>
 </div>
 <p>We can see that although initially the there can be more tokens, after a few iterations the algorithm achieves the goal of having just one token in the ring.</p>

diff --git a/des_references 17.html b/des_references 17.html
diff --git a/des_software 15.html b/des_software 15.html
diff --git a/hybrid_automata 18.html b/hybrid_automata 18.html
diff --git a/hybrid_automata_references 16.html b/hybrid_automata_references 16.html
diff --git a/hybrid_automata_software 17.html b/hybrid_automata_software 17.html
diff --git a/hybrid_equations 17.html b/hybrid_equations 17.html
diff --git a/hybrid_equations.html b/hybrid_equations.html
diff --git a/hybrid_equations_references 23.html b/hybrid_equations_references 23.html
diff --git a/hybrid_equations_software 18.html b/hybrid_equations_software 18.html
diff --git a/index 20.html b/index 20.html
diff --git a/intro 20.html b/intro 20.html
diff --git a/intro_outline 23.html b/intro_outline 23.html
diff --git a/intro_references 21.html b/intro_references 21.html
diff --git a/max_plus_algebra 19.html b/max_plus_algebra 19.html
diff --git a/max_plus_algebra.html b/max_plus_algebra.html
@@ -870,7 +870,7 @@ <h2 class="anchored" data-anchor-id="max-polynomials-aka-tropical-polynomials">(
 <p>We can interpret it in the conventional algebra as <span class="math display">
 p(x) = \max\{2x+2,x+3,1\},  
 </span> which is a piecewise linear (actually affine) function.</p>
-<div id="288c7eab" class="cell">
+<div id="61d12fe0" class="cell">
 <details class="code-fold">
 <summary>Code</summary>
 <div class="sourceCode cell-code" id="cb2"><pre class="sourceCode julia code-with-copy"><code class="sourceCode julia"><span id="cb2-1"><a href="#cb2-1" aria-hidden="true" tabindex="-1"></a><span class="im">using</span> <span class="bu">Plots</span></span>
@@ -887,7 +887,7 @@ <h2 class="anchored" data-anchor-id="max-polynomials-aka-tropical-polynomials">(
 <p><span class="theorem-title"><strong>Example 2 (Example of a 2D polynomial)</strong></span> Nothing prevents us from defining a polynomial in two (and more) variables. For example, consider the following (max,+) polynomial <span class="math display">
 p(x,y) = 0 \otimes x \otimes y.
 </span></p>
-<div id="0f55704e" class="cell">
+<div id="7a3b06f2" class="cell">
 <details class="code-fold">
 <summary>Code</summary>
 <div class="sourceCode cell-code" id="cb3"><pre class="sourceCode julia code-with-copy"><code class="sourceCode julia"><span id="cb3-1"><a href="#cb3-1" aria-hidden="true" tabindex="-1"></a><span class="im">using</span> <span class="bu">Plots</span></span>
@@ -906,7 +906,7 @@ <h2 class="anchored" data-anchor-id="max-polynomials-aka-tropical-polynomials">(
 <p><span class="theorem-title"><strong>Example 3 (Another 2D polynomial)</strong></span> Consider another 2D (max,+) polynomial <span class="math display">
 p(x,y) = 0 \otimes x \otimes y \oplus (-1)\otimes x^{\otimes^2} \oplus 1\otimes x\otimes y \oplus (-1)\otimes y^{\otimes^2}.
 </span></p>
-<div id="2e9d9923" class="cell">
+<div id="9e3a4910" class="cell">
 <details class="code-fold">
 <summary>Code</summary>
 <div class="sourceCode cell-code" id="cb4"><pre class="sourceCode julia code-with-copy"><code class="sourceCode julia"><span id="cb4-1"><a href="#cb4-1" aria-hidden="true" tabindex="-1"></a><span class="im">using</span> <span class="bu">Plots</span></span>