build based on 9ce0504

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.10.0","generation_timestamp":"2024-01-30T14:57:39","documenter_version":"1.2.1"}}
+{"documenter":{"julia_version":"1.10.0","generation_timestamp":"2024-02-01T13:18:47","documenter_version":"1.2.1"}}

dev/generated/Convex hull and intersection/index.html

@@ -33,7 +33,7 @@
 plot(P1, color="blue", alpha=0.2)
 plot!(P2, color="red", alpha=0.2)
 plot!(Pch, color="green", alpha=0.1)
-scatter!(Pch, color=&quot;green&quot;)</code></pre><img src="820a1814.svg" alt="Example block output"/><h3 id="Intersection"><a class="docs-heading-anchor" href="#Intersection">Intersection</a><a id="Intersection-1"></a><a class="docs-heading-anchor-permalink" href="#Intersection" title="Permalink"></a></h3><p>Intersection of polyhedra is obtained with the <a href="https://juliapolyhedra.github.io/Polyhedra.jl/latest/utilities.html#Base.intersect"><code>intersect</code></a> function.</p><p>Below we compute the intersection of the two polygons from the previous example.</p><pre><code class="language-julia hljs">Pint = intersect(P1, P2)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">Polyhedron DefaultPolyhedron{Float64, MixedMatHRep{Float64, Matrix{Float64}}, MixedMatVRep{Float64, Matrix{Float64}}}:
+scatter!(Pch, color=&quot;green&quot;)</code></pre><img src="a3265c6c.svg" alt="Example block output"/><h3 id="Intersection"><a class="docs-heading-anchor" href="#Intersection">Intersection</a><a id="Intersection-1"></a><a class="docs-heading-anchor-permalink" href="#Intersection" title="Permalink"></a></h3><p>Intersection of polyhedra is obtained with the <a href="https://juliapolyhedra.github.io/Polyhedra.jl/latest/utilities.html#Base.intersect"><code>intersect</code></a> function.</p><p>Below we compute the intersection of the two polygons from the previous example.</p><pre><code class="language-julia hljs">Pint = intersect(P1, P2)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">Polyhedron DefaultPolyhedron{Float64, MixedMatHRep{Float64, Matrix{Float64}}, MixedMatVRep{Float64, Matrix{Float64}}}:
 10-element iterator of HalfSpace{Float64, Vector{Float64}}:
  HalfSpace([0.8000000000000002, -1.0], 1.8200000000000003)
  HalfSpace([0.1076999257241891, -0.5025996533795494], 0.6497895518692746)
@@ -47,4 +47,4 @@
  HalfSpace([-0.004026150808106025, -0.17312448474855732], 0.20050231024367798)</code></pre><p>While <code>P1</code> and <code>P2</code> have been constructed from their V-representation, their H-representation has been computed to build the intersection <code>Pint</code>.</p><pre><code class="language-julia hljs">hrepiscomputed(P1), vrepiscomputed(P1), hrepiscomputed(P2), vrepiscomputed(P2)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">(true, true, true, true)</code></pre><p>On the other hand, <code>Pint</code> is constructed from its H-representation hence its V-representation has not been computed yet.</p><pre><code class="language-julia hljs">hrepiscomputed(Pint), vrepiscomputed(Pint)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">(true, false)</code></pre><p>We can obtain the number of points in the intersection with <code>npoints</code> as follows:</p><pre><code class="language-julia hljs">npoints(Pint)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">8</code></pre><p>Note that this triggers the computation of the V-representation:</p><pre><code class="language-julia hljs">hrepiscomputed(Pint), vrepiscomputed(Pint)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">(true, true)</code></pre><p>We can plot the polygons and their intersection using the <code>plot</code> function.</p><pre><code class="language-julia hljs">using Plots
 plot(P1, color=&quot;blue&quot;, alpha=0.2)
 plot!(P2, color=&quot;red&quot;, alpha=0.2)
-plot!(Pint, color=&quot;yellow&quot;, alpha=0.6)</code></pre><img src="3838921c.svg" alt="Example block output"/><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../internal/">« Internal</a><a class="docs-footer-nextpage" href="../Extended Formulation/">Extended Formulation »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Tuesday 30 January 2024 14:57">Tuesday 30 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+plot!(Pint, color=&quot;yellow&quot;, alpha=0.6)</code></pre><img src="9e0d287f.svg" alt="Example block output"/><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../internal/">« Internal</a><a class="docs-footer-nextpage" href="../Extended Formulation/">Extended Formulation »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Thursday 1 February 2024 13:18">Thursday 1 February 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/generated/Convex hull of a set of points/index.html

@@ -30,4 +30,4 @@
 3-element iterator of Vector{Float64}:
  [0.0, 0.0]
  [0.0, 1.0]
- [1.0, 0.0]</code></pre><p>We can also specify a library. For instance, to use <code>CDDLib</code>, write <code>using CDDLib</code> and then <code>p = polyhedron(v, CDDLib.Library())</code>.</p><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../Minimal Robust Positively Invariant Set/">« Minimal Robust Positively Invariant Set</a><a class="docs-footer-nextpage" href="../Projection of H-representation/">Projection of H-representation »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Tuesday 30 January 2024 14:57">Tuesday 30 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+ [1.0, 0.0]</code></pre><p>We can also specify a library. For instance, to use <code>CDDLib</code>, write <code>using CDDLib</code> and then <code>p = polyhedron(v, CDDLib.Library())</code>.</p><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../Minimal Robust Positively Invariant Set/">« Minimal Robust Positively Invariant Set</a><a class="docs-footer-nextpage" href="../Projection of H-representation/">Projection of H-representation »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Thursday 1 February 2024 13:18">Thursday 1 February 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

dev/generated/Extended Formulation/index.html

@@ -74,4 +74,4 @@
   2.25
   0.75
  -0.25
-  0.75</code></pre><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../Convex hull and intersection/">« Convex hull and intersection</a><a class="docs-footer-nextpage" href="../Minimal Robust Positively Invariant Set/">Minimal Robust Positively Invariant Set »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Tuesday 30 January 2024 14:57">Tuesday 30 January 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+  0.75</code></pre><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../Convex hull and intersection/">« Convex hull and intersection</a><a class="docs-footer-nextpage" href="../Minimal Robust Positively Invariant Set/">Minimal Robust Positively Invariant Set »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="auto">Automatic (OS)</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.2.1 on <span class="colophon-date" title="Thursday 1 February 2024 13:18">Thursday 1 February 2024</span>. Using Julia version 1.10.0.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>