Skip to content

Commit

Permalink
build based on 40ce2a4
Browse files Browse the repository at this point in the history
  • Loading branch information
Documenter.jl committed May 7, 2024
1 parent b5af618 commit 266a049
Show file tree
Hide file tree
Showing 68 changed files with 92,437 additions and 92,437 deletions.
2 changes: 1 addition & 1 deletion dev/.documenter-siteinfo.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-07T08:14:51","documenter_version":"1.4.1"}}
{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-07T13:05:55","documenter_version":"1.4.1"}}
2 changes: 1 addition & 1 deletion dev/bibliography/index.html
View file

Large diffs are not rendered by default.

16 changes: 8 additions & 8 deletions dev/constraints/index.html
View file

Large diffs are not rendered by default.

18 changes: 9 additions & 9 deletions dev/generated/Extension/certificate.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -130,12 +130,12 @@
"------------------------------------------------------------------\n",
" iter | pri res | dua res | gap | obj | scale | time (s)\n",
"------------------------------------------------------------------\n",
" 0| 2.57e+01 1.01e+00 2.00e+06 -1.00e+06 1.00e-01 1.42e-04 \n",
" 25| 1.30e+11 4.45e+10 8.00e+18 -4.00e+18 1.00e-01 3.12e-04 \n",
" 0| 2.57e+01 1.01e+00 2.00e+06 -1.00e+06 1.00e-01 6.09e-04 \n",
" 25| 1.30e+11 4.45e+10 8.00e+18 -4.00e+18 1.00e-01 7.80e-04 \n",
"------------------------------------------------------------------\n",
"status: unbounded\n",
"timings: total: 3.13e-04s = setup: 5.64e-05s + solve: 2.57e-04s\n",
"\t lin-sys: 1.45e-05s, cones: 1.59e-04s, accel: 1.58e-06s\n",
"timings: total: 7.82e-04s = setup: 6.42e-05s + solve: 7.18e-04s\n",
"\t lin-sys: 1.54e-05s, cones: 5.56e-04s, accel: 5.93e-06s\n",
"------------------------------------------------------------------\n",
"objective = -inf\n",
"------------------------------------------------------------------\n"
Expand Down Expand Up @@ -165,7 +165,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "* Solver : Dual model with SCS attached\n\n* Status\n Result count : 1\n Termination status : INFEASIBLE\n Message from the solver:\n \"unbounded\"\n\n* Candidate solution (result #1)\n Primal status : INFEASIBLE_POINT\n Dual status : INFEASIBILITY_CERTIFICATE\n Objective value : NaN\n Dual objective value : -1.00000e+00\n\n* Work counters\n Solve time (sec) : 3.13063e-04\n"
"text/plain": "* Solver : Dual model with SCS attached\n\n* Status\n Result count : 1\n Termination status : INFEASIBLE\n Message from the solver:\n \"unbounded\"\n\n* Candidate solution (result #1)\n Primal status : INFEASIBLE_POINT\n Dual status : INFEASIBILITY_CERTIFICATE\n Objective value : NaN\n Dual objective value : -1.00000e+00\n\n* Work counters\n Solve time (sec) : 7.81811e-04\n"
},
"metadata": {},
"execution_count": 4
Expand Down Expand Up @@ -265,12 +265,12 @@
"------------------------------------------------------------------\n",
" iter | pri res | dua res | gap | obj | scale | time (s)\n",
"------------------------------------------------------------------\n",
" 0| 8.53e+00 5.66e-01 3.99e+01 -2.00e+01 1.00e-01 1.85e-04 \n",
" 0| 8.53e+00 5.66e-01 3.99e+01 -2.00e+01 1.00e-01 1.84e-04 \n",
" 250| 1.40e-03 5.14e-05 7.85e-06 8.28e-01 1.00e-01 3.96e-03 \n",
"------------------------------------------------------------------\n",
"status: solved\n",
"timings: total: 3.96e-03s = setup: 8.12e-05s + solve: 3.88e-03s\n",
"\t lin-sys: 2.45e-04s, cones: 3.37e-03s, accel: 3.87e-05s\n",
"timings: total: 3.96e-03s = setup: 8.10e-05s + solve: 3.88e-03s\n",
"\t lin-sys: 2.49e-04s, cones: 3.36e-03s, accel: 3.90e-05s\n",
"------------------------------------------------------------------\n",
"objective = 0.828440\n",
"------------------------------------------------------------------\n"
Expand All @@ -279,7 +279,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "* Solver : Dual model with SCS attached\n\n* Status\n Result count : 1\n Termination status : OPTIMAL\n Message from the solver:\n \"solved\"\n\n* Candidate solution (result #1)\n Primal status : FEASIBLE_POINT\n Dual status : FEASIBLE_POINT\n Objective value : 8.28436e-01\n Dual objective value : 8.28444e-01\n\n* Work counters\n Solve time (sec) : 3.96277e-03\n"
"text/plain": "* Solver : Dual model with SCS attached\n\n* Status\n Result count : 1\n Termination status : OPTIMAL\n Message from the solver:\n \"solved\"\n\n* Candidate solution (result #1)\n Primal status : FEASIBLE_POINT\n Dual status : FEASIBLE_POINT\n Objective value : 8.28436e-01\n Dual objective value : 8.28444e-01\n\n* Work counters\n Solve time (sec) : 3.95843e-03\n"
},
"metadata": {},
"execution_count": 6
Expand Down
14 changes: 7 additions & 7 deletions dev/generated/Extension/certificate/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,12 +40,12 @@
------------------------------------------------------------------
iter | pri res | dua res | gap | obj | scale | time (s)
------------------------------------------------------------------
0| 2.57e+01 1.01e+00 2.00e+06 -1.00e+06 1.00e-01 1.37e-04
25| 1.30e+11 4.45e+10 8.00e+18 -4.00e+18 1.00e-01 3.24e-04
0| 2.57e+01 1.01e+00 2.00e+06 -1.00e+06 1.00e-01 1.64e-04
25| 1.30e+11 4.45e+10 8.00e+18 -4.00e+18 1.00e-01 3.33e-04
------------------------------------------------------------------
status: unbounded
timings: total: 3.26e-04s = setup: 5.69e-05s + solve: 2.69e-04s
lin-sys: 1.43e-05s, cones: 1.76e-04s, accel: 1.63e-06s
timings: total: 3.35e-04s = setup: 5.62e-05s + solve: 2.78e-04s
lin-sys: 1.45e-05s, cones: 1.59e-04s, accel: 1.49e-06s
------------------------------------------------------------------
objective = -inf
------------------------------------------------------------------</code></pre><p>We can see that the problem is infeasible, meaning that no lower bound was found.</p><pre><code class="language-julia hljs">solution_summary(model)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">* Solver : Dual model with SCS attached
Expand All @@ -63,7 +63,7 @@
Dual objective value : -1.00000e+00

* Work counters
Solve time (sec) : 3.25697e-04
Solve time (sec) : 3.34615e-04
</code></pre><p>We now define the Schmüdgen&#39;s certificate:</p><pre><code class="language-julia hljs">import MultivariateBases as MB
const SOS = SumOfSquares
const SOSC = SOS.Certificate
Expand Down Expand Up @@ -126,5 +126,5 @@
Dual objective value : 8.28444e-01

* Work counters
Solve time (sec) : 4.01555e-03
</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="../../Symmetry/permutation_symmetry/">« Symmetry reduction</a><a class="docs-footer-nextpage" href="../hypercube/">Hypercube »</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="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.1 on <span class="colophon-date" title="Tuesday 7 May 2024 08:14">Tuesday 7 May 2024</span>. Using Julia version 1.10.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
Solve time (sec) : 3.97054e-03
</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="../../Symmetry/permutation_symmetry/">« Symmetry reduction</a><a class="docs-footer-nextpage" href="../hypercube/">Hypercube »</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="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.1 on <span class="colophon-date" title="Tuesday 7 May 2024 13:05">Tuesday 7 May 2024</span>. Using Julia version 1.10.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
2 changes: 1 addition & 1 deletion dev/generated/Extension/hypercube/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,4 +56,4 @@
@constraint(model, c, deno * p &gt;= deno, domain = S)
optimize!(model)
@show termination_status(model)
end</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">min_algebraic_rational (generic function with 1 method)</code></pre><p>With <code>d = 0</code>, it&#39;s the same as previously</p><pre><code class="language-julia hljs">min_algebraic_rational(H, 0)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">INFEASIBLE::TerminationStatusCode = 2</code></pre><p>But with <code>d = 1</code>, we can find the correct lower bound</p><pre><code class="language-julia hljs">min_algebraic_rational(H, 1)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">OPTIMAL::TerminationStatusCode = 1</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="../certificate/">« Certificate</a><a class="docs-footer-nextpage" href="../typed/">Multivariate polynomials implementations »</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="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.1 on <span class="colophon-date" title="Tuesday 7 May 2024 08:14">Tuesday 7 May 2024</span>. Using Julia version 1.10.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
end</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">min_algebraic_rational (generic function with 1 method)</code></pre><p>With <code>d = 0</code>, it&#39;s the same as previously</p><pre><code class="language-julia hljs">min_algebraic_rational(H, 0)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">INFEASIBLE::TerminationStatusCode = 2</code></pre><p>But with <code>d = 1</code>, we can find the correct lower bound</p><pre><code class="language-julia hljs">min_algebraic_rational(H, 1)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">OPTIMAL::TerminationStatusCode = 1</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="../certificate/">« Certificate</a><a class="docs-footer-nextpage" href="../typed/">Multivariate polynomials implementations »</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="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.4.1 on <span class="colophon-date" title="Tuesday 7 May 2024 13:05">Tuesday 7 May 2024</span>. Using Julia version 1.10.3.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
8 changes: 4 additions & 4 deletions dev/generated/Extension/typed.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "* Solver : CSDP\n\n* Status\n Result count : 1\n Termination status : OPTIMAL\n Message from the solver:\n \"Problem solved to optimality.\"\n\n* Candidate solution (result #1)\n Primal status : FEASIBLE_POINT\n Dual status : FEASIBLE_POINT\n Objective value : 0.00000e+00\n Dual objective value : 0.00000e+00\n\n* Work counters\n Solve time (sec) : 5.07116e-04\n"
"text/plain": "* Solver : CSDP\n\n* Status\n Result count : 1\n Termination status : OPTIMAL\n Message from the solver:\n \"Problem solved to optimality.\"\n\n* Candidate solution (result #1)\n Primal status : FEASIBLE_POINT\n Dual status : FEASIBLE_POINT\n Objective value : 0.00000e+00\n Dual objective value : 0.00000e+00\n\n* Work counters\n Solve time (sec) : 4.58002e-04\n"
},
"metadata": {},
"execution_count": 1
Expand Down Expand Up @@ -141,7 +141,7 @@
"name": "stdout",
"output_type": "stream",
"text": [
" 292.345 μs (6275 allocations: 1.33 MiB)\n"
" 292.747 μs (6275 allocations: 1.33 MiB)\n"
]
},
{
Expand Down Expand Up @@ -178,7 +178,7 @@
"name": "stdout",
"output_type": "stream",
"text": [
" 417.227 μs (8486 allocations: 1.21 MiB)\n"
" 415.225 μs (8486 allocations: 1.21 MiB)\n"
]
},
{
Expand Down Expand Up @@ -250,7 +250,7 @@
{
"output_type": "execute_result",
"data": {
"text/plain": "* Solver : CSDP\n\n* Status\n Result count : 1\n Termination status : OPTIMAL\n Message from the solver:\n \"Problem solved to optimality.\"\n\n* Candidate solution (result #1)\n Primal status : FEASIBLE_POINT\n Dual status : FEASIBLE_POINT\n Objective value : 0.00000e+00\n Dual objective value : 0.00000e+00\n\n* Work counters\n Solve time (sec) : 2.41113e-03\n"
"text/plain": "* Solver : CSDP\n\n* Status\n Result count : 1\n Termination status : OPTIMAL\n Message from the solver:\n \"Problem solved to optimality.\"\n\n* Candidate solution (result #1)\n Primal status : FEASIBLE_POINT\n Dual status : FEASIBLE_POINT\n Objective value : 0.00000e+00\n Dual objective value : 0.00000e+00\n\n* Work counters\n Solve time (sec) : 2.41399e-03\n"
},
"metadata": {},
"execution_count": 5
Expand Down
Loading

0 comments on commit 266a049

Please sign in to comment.