diff --git a/CITATION.bib b/CITATION.bib index f488ee3..ecebc02 100644 --- a/CITATION.bib +++ b/CITATION.bib @@ -39,9 +39,9 @@ @Article{legat2019entropy } @Misc{SwitchOnSafety, author = {Legat, Beno{\^\i}t and Gomes, Cl{\'a}udio}, - title = {blegat/{S}witch{O}n{S}afety.jl: v0.0.1}, - month = may, + title = {blegat/{S}witch{O}n{S}afety.jl: v0.0.4}, + month = oct, year = {2019}, - doi = {10.5281/zenodo.1246104}, - url = {https://doi.org/10.5281/zenodo.1246104}, + doi = {10.5281/zenodo.3234046}, + url = {https://doi.org/10.5281/zenodo.3234046} } diff --git a/examples/AP12e21.ipynb b/examples/AP12e21.ipynb index 8a335bd..888d087 100644 --- a/examples/AP12e21.ipynb +++ b/examples/AP12e21.ipynb @@ -148,7 +148,7 @@ ], "metadata": { "kernelspec": { - "display_name": "Julia 1.0.1", + "display_name": "Julia 1.0.3", "language": "julia", "name": "julia-1.0" }, @@ -156,7 +156,7 @@ "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", - "version": "1.0.1" + "version": "1.1.1" } }, "nbformat": 4, diff --git a/examples/Finiteness_conjecture_counterexample.ipynb b/examples/Finiteness_conjecture_counterexample.ipynb index 51ceab6..6cae6d3 100644 --- a/examples/Finiteness_conjecture_counterexample.ipynb +++ b/examples/Finiteness_conjecture_counterexample.ipynb @@ -113,6 +113,14 @@ "execution_count": 3, "metadata": {}, "outputs": [ + { + "name": "stderr", + "output_type": "stream", + "text": [ + "┌ Info: Recompiling stale cache file /home/blegat/.julia/compiled/v1.1/SwitchOnSafety/EUPLd.ji for SwitchOnSafety [ceb7f16a-07bf-5f4a-9354-b68f01b1610f]\n", + "└ @ Base loading.jl:1184\n" + ] + }, { "data": { "text/plain": [ @@ -562,7 +570,7 @@ }, { "cell_type": "code", - "execution_count": 4, + "execution_count": 5, "metadata": {}, "outputs": [ { @@ -580,7 +588,7 @@ "Hybrid System with automaton OneStateAutomaton(2)" ] }, - "execution_count": 4, + "execution_count": 5, "metadata": {}, "output_type": "execute_result" } @@ -606,7 +614,9 @@ { "cell_type": "code", "execution_count": 5, - "metadata": {}, + "metadata": { + "collapsed": true + }, "outputs": [], "source": [ "using MosekTools\n", @@ -1905,14 +1915,14 @@ } ], "source": [ - "@time smp, ub = gripenberg(s∞, δ=52e-5, max_eval=10_000_000, max_length=1000)\n", + "@time smp, ub = gripenberg(s∞, δ=52e-5, max_eval=10_000_000, max_length=100)\n", "@show ub\n", "show_smp(smp)" ] }, { "cell_type": "code", - "execution_count": 15, + "execution_count": 10, "metadata": {}, "outputs": [ { @@ -1921,8 +1931,8 @@ "text": [ "ρ evaluations : 866588 < 10000000 = max_ρ_eval.\n", "norm evaluations: 866588 < 10000000 = max_norm_eval.\n", - "switch length : 94 < 1000 = max_length.\n", - " 5.389752 seconds (40.26 M allocations: 3.041 GiB, 19.56% gc time)\n", + "switch length : 94 < 100 = max_length.\n", + " 6.508251 seconds (40.26 M allocations: 3.041 GiB, 19.55% gc time)\n", "ub = 1.4097572220583487\n", " SMP: 001001010010010100101\n", "Length: 21\n", @@ -1931,7 +1941,189 @@ } ], "source": [ - "@time smp, ub = gripenberg(s∞, δ=51e-5, max_eval=10_000_000, max_length=1000)\n", + "@time smp, ub = gripenberg(s∞, δ=51e-5, max_eval=10_000_000, max_length=100)\n", + "@show ub\n", + "show_smp(smp)" + ] + }, + { + "cell_type": "code", + "execution_count": 11, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ρ evaluations : 920582 < 10000000 = max_ρ_eval.\n", + "norm evaluations: 920582 < 10000000 = max_norm_eval.\n", + "switch length : 94 < 100 = max_length.\n", + " 7.008577 seconds (42.78 M allocations: 3.232 GiB, 20.75% gc time)\n", + "ub = 1.4097522220583487\n", + " SMP: 001001010010010100101\n", + "Length: 21\n", + "Growth: 1.4092472220583487\n" + ] + } + ], + "source": [ + "@time smp, ub = gripenberg(s∞, δ=50.5e-5, max_eval=10_000_000, max_length=100)\n", + "@show ub\n", + "show_smp(smp)" + ] + }, + { + "cell_type": "code", + "execution_count": 12, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ρ evaluations : 944544 < 10000000 = max_ρ_eval.\n", + "norm evaluations: 944544 < 10000000 = max_norm_eval.\n", + "switch length : 95 < 100 = max_length.\n", + " 6.932779 seconds (43.89 M allocations: 3.317 GiB, 20.64% gc time)\n", + "ub = 1.4097512220583488\n", + " SMP: 001001010010010100101\n", + "Length: 21\n", + "Growth: 1.4092472220583487\n" + ] + } + ], + "source": [ + "@time smp, ub = gripenberg(s∞, δ=50.4e-5, max_eval=10_000_000, max_length=100)\n", + "@show ub\n", + "show_smp(smp)" + ] + }, + { + "cell_type": "code", + "execution_count": 13, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ρ evaluations : 958702 < 10000000 = max_ρ_eval.\n", + "norm evaluations: 958702 < 10000000 = max_norm_eval.\n", + "switch length : 95 < 100 = max_length.\n", + " 6.813786 seconds (44.55 M allocations: 3.368 GiB, 19.13% gc time)\n", + "ub = 1.4097502220583487\n", + " SMP: 001001010010010100101\n", + "Length: 21\n", + "Growth: 1.4092472220583487\n" + ] + } + ], + "source": [ + "@time smp, ub = gripenberg(s∞, δ=50.3e-5, max_eval=10_000_000, max_length=100)\n", + "@show ub\n", + "show_smp(smp)" + ] + }, + { + "cell_type": "code", + "execution_count": 14, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ρ evaluations : 978438 < 10000000 = max_ρ_eval.\n", + "norm evaluations: 978438 < 10000000 = max_norm_eval.\n", + "switch length : 95 < 100 = max_length.\n", + " 7.154747 seconds (45.47 M allocations: 3.438 GiB, 20.01% gc time)\n", + "ub = 1.4097492220583487\n", + " SMP: 001001010010010100101\n", + "Length: 21\n", + "Growth: 1.4092472220583487\n" + ] + } + ], + "source": [ + "@time smp, ub = gripenberg(s∞, δ=50.2e-5, max_eval=10_000_000, max_length=100)\n", + "@show ub\n", + "show_smp(smp)" + ] + }, + { + "cell_type": "code", + "execution_count": 15, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ρ evaluations : 1011488 < 10000000 = max_ρ_eval.\n", + "norm evaluations: 1011488 < 10000000 = max_norm_eval.\n", + "switch length : 95 < 100 = max_length.\n", + " 7.392645 seconds (47.00 M allocations: 3.556 GiB, 19.76% gc time)\n", + "ub = 1.4097472220583487\n", + " SMP: 001001010010010100101\n", + "Length: 21\n", + "Growth: 1.4092472220583487\n" + ] + } + ], + "source": [ + "@time smp, ub = gripenberg(s∞, δ=5e-4, max_eval=10_000_000, max_length=100)\n", + "@show ub\n", + "show_smp(smp)" + ] + }, + { + "cell_type": "code", + "execution_count": 16, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ρ evaluations : 8929584 < 10000000 = max_ρ_eval.\n", + "norm evaluations: 8929584 < 10000000 = max_norm_eval.\n", + "switch length : \u001b[31m\u001b[1m100 ≥ 100\u001b[22m\u001b[39m = max_length.\n", + " 72.191537 seconds (415.26 M allocations: 32.366 GiB, 25.06% gc time)\n", + "ub = 1.4097109895117423\n", + " SMP: 001001010010010100101\n", + "Length: 21\n", + "Growth: 1.4092472220583487\n" + ] + } + ], + "source": [ + "@time smp, ub = gripenberg(s∞, δ=4e-4, max_eval=10_000_000, max_length=100)\n", + "@show ub\n", + "show_smp(smp)" + ] + }, + { + "cell_type": "code", + "execution_count": 7, + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "ρ evaluations : \u001b[31m\u001b[1m10670356 ≥ 10000000\u001b[22m\u001b[39m = max_ρ_eval.\n", + "norm evaluations: \u001b[31m\u001b[1m10670356 ≥ 10000000\u001b[22m\u001b[39m = max_norm_eval.\n", + "switch length : 69 < 1000 = max_length.\n", + "111.142191 seconds (497.84 M allocations: 37.358 GiB, 35.30% gc time)\n", + "ub = 1.4099648749947737\n", + " SMP: 001001010010010100101\n", + "Length: 21\n", + "Growth: 1.4092472220583487\n" + ] + } + ], + "source": [ + "@time smp, ub = gripenberg(s∞, δ=5e-5, max_eval=10_000_000, max_length=1000)\n", "@show ub\n", "show_smp(smp)" ] diff --git a/examples/LPJ17.ipynb b/examples/LPJ17.ipynb index 8b56200..230c07f 100644 --- a/examples/LPJ17.ipynb +++ b/examples/LPJ17.ipynb @@ -2802,7 +2802,7 @@ "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", - "version": "1.1.0" + "version": "1.1.1" } }, "nbformat": 4, diff --git a/examples/LPJ17e43.ipynb b/examples/LPJ17e43.ipynb index 6924263..e9e2aea 100644 --- a/examples/LPJ17e43.ipynb +++ b/examples/LPJ17e43.ipynb @@ -330,7 +330,7 @@ "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", - "version": "1.1.0" + "version": "1.1.1" } }, "nbformat": 4, diff --git a/examples/LPJ18TAC.ipynb b/examples/LPJ18TAC.ipynb index bec9043..f021414 100644 --- a/examples/LPJ18TAC.ipynb +++ b/examples/LPJ18TAC.ipynb @@ -4,9 +4,12 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "Code to reproduce running example of\n", + "Code to reproduce running example of [LPJ19].\n", "\n", - "B. Legat, R. M. Jungers, and P. A. Parrilo **An entropy-based bound for the computational complexity of a switched system**. IEEE Transactions on Automatic Control, https://doi.org/10.1109/TAC.2019.2902625" + "[LPJ19] B. Legat, P. A. Parrilo and R. M. Jungers **An entropy-based bound for the computational complexity of a switched system**. IEEE Transactions on Automatic Control, https://doi.org/10.1109/TAC.2019.2902625\n", + "\n", + "We start by defining the constrained switched system using [HybridSystems](https://github.com/blegat/HybridSystems.jl/).\n", + "As it is one of the examples, we can just include this example. See the `PEDJ16s4.jl` file in the `examples` folder of that package for more details." ] }, { @@ -27,9 +30,15 @@ ], "source": [ "using HybridSystems\n", - "include(joinpath(dirname(dirname(pathof(HybridSystems))), \"examples\", \"PEDJ16s4.jl\"))\n", - "using SwitchOnSafety\n", - "_savefig(name) = Plots.savefig(\"../results/$name.eps\");" + "include(joinpath(dirname(dirname(pathof(HybridSystems))), \"examples\", \"PEDJ16s4.jl\"))" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "The method presented in [LPJ19] solves a Set Program which is reformulated by [SetProg.jl](https://github.com/blegat/SetProg.jl) into Sum-of-Squares Program (SOSP) which is then reformulated by [SumOfSquares.jl](https://github.com/JuliaOpt/SumOfSquares.jl) into a SemiDefinie Program (SDP) which can then be solved through [JuMP](https://github.com/JuliaOpt/JuMP.jl) by any SDP solver implementing the [MathOptInterface](https://github.com/JuliaOpt/MathOptInterface.jl).\n", + "The SDP solver we use in this notebook is [Mosek](https://www.mosek.com/) even if any other SDP solver may be used." ] }, { @@ -57,9 +66,18 @@ } ], "source": [ + "using SwitchOnSafety\n", "using MosekTools\n", - "using JuMP\n", - "solver = with_optimizer(Mosek.Optimizer, QUIET=true)" + "factory = with_optimizer(Mosek.Optimizer, QUIET=true)" + ] + }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "To determine $\\rho_{\\text{SOS-}2d}$, we solve Program 1 using a bisection method on $\\overline{\\gamma}$.\n", + "Around $\\rho_{\\text{SOS-}2d}$, the problem is ill-posed so the solver will have numerical difficulties.\n", + "We use a tolerance of $3 \\times 10^{-7}$. The tolerance needs to be large enough so that the solver does not have numerical issues and small enough so that we see which entries of the infeasibility certificate are numerically zero." ] }, { @@ -83,19 +101,22 @@ "using LightGraphs\n", "using LinearAlgebra\n", "\n", - "function prune_lyap(d, solver; tol=3e-7, threshold=2e-4)\n", - " if length(sosdata(hs).lyaps) ≥ d\n", - " sosdata(hs).lyaps[d] = nothing\n", - " end\n", - " soslb, sosub = soslyapb(hs, d, factory=solver, tol=tol)\n", + "function prune_lyap(d, factory; tol=3e-7, threshold=2e-4)\n", + " # We solve Program 1 by bisection.\n", + " soslb, sosub = soslyapb(hs, d, factory=factory, tol=tol)\n", " G = copy(hs.automaton.G)\n", + " # We obtain here the infeasibility certificate.\n", " dual = getlyap(hs, d).dual\n", + " # We try here to determine which entries of the infeasibility\n", + " # certificate are almost zero.\n", " μs = map(t -> norm(dual[t].Q.Q, Inf), transitions(hs))\n", " maxμs = maximum(μs)\n", " min_kept = Inf\n", " max_left = 0.0\n", " @show sort(μs / maxμs)\n", " for (i, t) in enumerate(transitions(hs))\n", + " # We normalize because an infeasibility certificate\n", + " # is a ray so it could have any scaling.\n", " x = μs[i] / maxμs\n", " if x < threshold\n", " max_left = max(max_left, x)\n", @@ -104,11 +125,19 @@ " min_kept = min(min_kept, x)\n", " end\n", " end\n", + " # This allows to see if the threshold was well chosen\n", " println(max_left, \" < \", threshold, \" < \", min_kept)\n", " return soslb, sosub, ρ(adjacency_matrix(G))\n", "end" ] }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "As we can see below, there is a gap between the entries of the infeasibility certificates with norms around $10^{-6}$ and those with norms around unity. The `threshold` $2 \\times 10^{-4}$ seems to appropriately select the edges with numerically zero infeasibility certificate." + ] + }, { "cell_type": "code", "execution_count": 7, @@ -150,14 +179,14 @@ } ], "source": [ - "sosb = prune_lyap.(1:6, Ref(solver))" + "sosb = prune_lyap.(1:6, Ref(factory))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ - "We can compute several different lower bounds from the upper bound found using Sum-of-Squares." + "We can compute several different lower bounds from the upper bound found above using techniques developed in [LPJ19]." ] }, { @@ -209,6 +238,14 @@ "bi.(1:6)" ] }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "As show in Lemma 2 of [LPJ19], the $2d$-radius provides lower and upper bounds to the CJSR given in equation (12) of [LPJ19].\n", + "We compute the $2d$-radius below with $d$ up to 6." + ] + }, { "cell_type": "code", "execution_count": 23, @@ -236,6 +273,13 @@ "end" ] }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "We display below all the values obtained:" + ] + }, { "cell_type": "code", "execution_count": 24, @@ -270,7 +314,7 @@ "collapsed": true }, "source": [ - "Values computed with Mosek:\n", + "Values computed with Mosek v8.1.0.67 are as follows:\n", "\n", "| d | 1 | 2 | 3 | 4 | 5 | 6 |\n", "|:------:|:--------:|:--------:|:--------:|:--------:|:--------:|:--------:|\n", @@ -288,7 +332,12 @@ "cell_type": "markdown", "metadata": {}, "source": [ - "Computing the $2d$-radius would be a lot slower with Kronecker lifts than with Veronese lifts." + "Computing the $2d$-radius would be a lot slower with Kronecker lifts than with Veronese lifts.\n", + "This is because matrices obtained by veronese lifting are the \"symmetry-reduced version of the $d$-fold Kronecker product\" [PJ08].\n", + "\n", + "[PJ08] P. Parrilo and A. Jadbabaie.\n", + "*Approximation of the joint spectral radius using sum of squares*.\n", + "Linear Algebra and its Applications, Elsevier, **2008**, 428, 2385-2402" ] }, { @@ -320,34 +369,10 @@ ] }, { - "cell_type": "code", - "execution_count": 25, + "cell_type": "markdown", "metadata": {}, - "outputs": [ - { - "name": "stderr", - "output_type": "stream", - "text": [ - "┌ Info: Recompiling stale cache file /home/blegat/.julia/compiled/v1.1/Plots/ld3vC.ji for Plots [91a5bcdd-55d7-5caf-9e0b-520d859cae80]\n", - "└ @ Base loading.jl:1184\n", - "┌ Info: Recompiling stale cache file /home/blegat/.julia/compiled/v1.1/PyPlot/oatAj.ji for PyPlot [d330b81b-6aea-500a-939a-2ce795aea3ee]\n", - "└ @ Base loading.jl:1184\n" - ] - }, - { - "data": { - "text/plain": [ - "Plots.PyPlotBackend()" - ] - }, - "execution_count": 25, - "metadata": {}, - "output_type": "execute_result" - } - ], "source": [ - "using Plots\n", - "pyplot()" + "Using the results obtained above, we can now reproduce the Figure 3 of [LPJ19]." ] }, { @@ -367,6 +392,8 @@ } ], "source": [ + "using Plots\n", + "pyplot()\n", "xlims = (0.9, 6.1)\n", "plot(size=(500, 500), xlims=xlims, ylims=(0.55, 1.15), legend=:bottomright, grid=false)\n", "jsr = 0.9748171979372074\n", @@ -392,6 +419,13 @@ "_plot!(sospru, pur, \"2d-radius x 2^(h(E)/2d)\")" ] }, + { + "cell_type": "markdown", + "metadata": {}, + "source": [ + "We save this figure in the `results` folder on [codeocean](https://help.codeocean.com/getting-started/uploading-code-and-data/saving-files)." + ] + }, { "cell_type": "code", "execution_count": null, @@ -399,7 +433,9 @@ "collapsed": true }, "outputs": [], - "source": [] + "source": [ + "Plots.savefig(\"../results/Figure_3.eps\");" + ] } ], "metadata": { diff --git a/examples/Manifest.toml b/examples/Manifest.toml index fc46d09..9ea9ea4 100644 --- a/examples/Manifest.toml +++ b/examples/Manifest.toml @@ -6,9 +6,21 @@ git-tree-sha1 = "2b6845cea546604fb4dca4e31414a6a59d39ddcd" uuid = "ec485272-7323-5ecc-a04f-4719b315124d" version = "0.0.4" +[[ArrayInterface]] +deps = ["LinearAlgebra", "Requires", "SparseArrays"] +git-tree-sha1 = "981354dab938901c2b607a213e62d9defa50b698" +uuid = "4fba245c-0d91-5ea0-9b3e-6abc04ee57a9" +version = "1.2.1" + [[Base64]] uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" +[[BenchmarkTools]] +deps = ["JSON", "Printf", "Statistics"] +git-tree-sha1 = "90b73db83791c5f83155016dd1cc1f684d4e1361" +uuid = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf" +version = "0.4.3" + [[BinDeps]] deps = ["Compat", "Libdl", "SHA", "URIParser"] git-tree-sha1 = "12093ca6cdd0ee547c39b1870e0c9c3f154d9ca9" @@ -16,22 +28,22 @@ uuid = "9e28174c-4ba2-5203-b857-d8d62c4213ee" version = "0.8.10" [[BinaryProvider]] -deps = ["Libdl", "SHA"] +deps = ["Libdl", "Logging", "SHA"] git-tree-sha1 = "c7361ce8a2129f20b0e05a89f7070820cfed6648" uuid = "b99e7846-7c00-51b0-8f62-c81ae34c0232" -version = "0.5.4" +version = "0.5.6" [[CSTParser]] -deps = ["LibGit2", "Test", "Tokenize"] -git-tree-sha1 = "437c93bc191cd55957b3f8dee7794b6131997c56" +deps = ["Tokenize"] +git-tree-sha1 = "c69698c3d4a7255bc1b4bc2afc09f59db910243b" uuid = "00ebfdb7-1f24-5e51-bd34-a7502290713f" -version = "0.5.2" +version = "0.6.2" [[Calculus]] deps = ["Compat"] -git-tree-sha1 = "f60954495a7afcee4136f78d1d60350abd37a409" +git-tree-sha1 = "bd8bbd105ba583a42385bd6dc4a20dad8ab3dc11" uuid = "49dc2e85-a5d0-5ad3-a950-438e2897f1b9" -version = "0.4.1" +version = "0.5.0" [[ColorTypes]] deps = ["FixedPointNumbers", "Random"] @@ -40,10 +52,10 @@ uuid = "3da002f7-5984-5a60-b8a6-cbb66c0b333f" version = "0.8.0" [[Colors]] -deps = ["ColorTypes", "FixedPointNumbers", "InteractiveUtils", "Printf", "Reexport", "Test"] -git-tree-sha1 = "9f0a0210450acb91c730b730a994f8eef1d3d543" +deps = ["ColorTypes", "FixedPointNumbers", "InteractiveUtils", "Printf", "Reexport"] +git-tree-sha1 = "c9c1845d6bf22e34738bee65c357a69f416ed5d1" uuid = "5ae59095-9a9b-59fe-a467-6f913c188581" -version = "0.9.5" +version = "0.9.6" [[Combinatorics]] deps = ["LinearAlgebra", "Polynomials", "Test"] @@ -69,11 +81,22 @@ git-tree-sha1 = "7d8fe0ad6f73c40ccc4e01f426a700c5a843a1d3" uuid = "a81c6b42-2e10-5240-aca2-a61377ecd94b" version = "0.7.3" +[[Contour]] +deps = ["LinearAlgebra", "StaticArrays", "Test"] +git-tree-sha1 = "b974e164358fea753ef853ce7bad97afec15bb80" +uuid = "d38c429a-6771-53c6-b99e-75d170b6e991" +version = "0.5.1" + +[[DataAPI]] +git-tree-sha1 = "8903f0219d3472543fc4b2f5ebaf675a07f817c0" +uuid = "9a962f9c-6df0-11e9-0e5d-c546b8b5ee8a" +version = "1.0.1" + [[DataStructures]] -deps = ["InteractiveUtils", "OrderedCollections", "Random", "Serialization", "Test"] -git-tree-sha1 = "ca971f03e146cf144a9e2f2ce59674f5bf0e8038" +deps = ["InteractiveUtils", "OrderedCollections"] +git-tree-sha1 = "0809951a1774dc724da22d26e4289bbaab77809a" uuid = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8" -version = "0.15.0" +version = "0.17.0" [[Dates]] deps = ["Printf"] @@ -84,10 +107,10 @@ deps = ["Mmap"] uuid = "8bb1440f-4735-579b-a4ab-409b98df4dab" [[DiffEqDiffTools]] -deps = ["LinearAlgebra"] -git-tree-sha1 = "14c4ec4f8796e71ba034f5089b6186876574a49d" +deps = ["ArrayInterface", "LinearAlgebra", "Requires", "SparseArrays", "StaticArrays"] +git-tree-sha1 = "21b855cb29ec4594f9651e0e9bdc0cdcfdcd52c1" uuid = "01453d9d-ee7c-5054-8395-0335cb756afa" -version = "0.10.1" +version = "1.3.0" [[DiffResults]] deps = ["Compat", "StaticArrays"] @@ -107,9 +130,9 @@ uuid = "8ba89e20-285c-5b6f-9357-94700520ee1b" [[DynamicPolynomials]] deps = ["LinearAlgebra", "MultivariatePolynomials", "Pkg", "Reexport", "Test"] -git-tree-sha1 = "3fd493369bf7f973ffba0411d9983020e925d77f" +git-tree-sha1 = "bf53f41b9d4e67ff0dda203fe5b7abbe23ee7926" uuid = "7c1d4256-1411-5781-91ec-d7bc3513ac07" -version = "0.2.0" +version = "0.3.3" [[Espresso]] deps = ["LinearAlgebra", "Statistics", "Test"] @@ -117,11 +140,17 @@ git-tree-sha1 = "cde61b7c72023d15e2aaae8d4eb3e2c94f5bdb7b" uuid = "6912e4f1-e036-58b0-9138-08d1e6358ea9" version = "0.6.0" +[[FFMPEG]] +deps = ["BinaryProvider", "Libdl"] +git-tree-sha1 = "f65cf703281fb7917beca5ead1c67e6d60ef9597" +uuid = "c87230d0-a227-11e9-1b43-d7ebe4e7570a" +version = "0.2.3" + [[FillArrays]] -deps = ["LinearAlgebra", "Random", "SparseArrays", "Test"] -git-tree-sha1 = "537280935008196578bc24bb056ee1ac016d5530" +deps = ["LinearAlgebra", "Random", "SparseArrays"] +git-tree-sha1 = "bc45e8feb90728a35194f844ef6aadc688e31881" uuid = "1a297f60-69ca-5386-bcde-b61e274b549b" -version = "0.6.2" +version = "0.7.1" [[FixedPointNumbers]] git-tree-sha1 = "d14a6fa5890ea3a7e5dcab6811114f132fec2b4b" @@ -135,16 +164,22 @@ uuid = "f6369f11-7733-5829-9624-2563aa707210" version = "0.10.3" [[GLPK]] -deps = ["BinaryProvider", "Libdl", "LinQuadOptInterface", "SparseArrays"] -git-tree-sha1 = "b12093a67c3007b69d5403625d1920d59c16ac61" +deps = ["BinaryProvider", "Libdl", "MathOptInterface", "SparseArrays"] +git-tree-sha1 = "514692c8ffb0cb4f37afcb0f175573f31551c408" uuid = "60bf3e95-4087-53dc-ae20-288a0d20c6a6" -version = "0.10.0" +version = "0.11.4" + +[[GR]] +deps = ["Base64", "DelimitedFiles", "LinearAlgebra", "Pkg", "Printf", "Random", "Serialization", "Sockets", "Test"] +git-tree-sha1 = "b4c31b6377b6d51b6c69a3a9737d10c34d43974e" +uuid = "28b8d3ca-fb5f-59d9-8090-bfdbd6d07a71" +version = "0.41.0" [[GeometryTypes]] deps = ["ColorTypes", "FixedPointNumbers", "IterTools", "LinearAlgebra", "StaticArrays"] -git-tree-sha1 = "05796e9ac5a8fb8adfdcdf842fb8737d1cb5924e" +git-tree-sha1 = "4bf5706f3b9a2c5adbbc473c8c91582c1fa816a3" uuid = "4d00f742-c7ba-57c2-abde-4428a4b178cb" -version = "0.7.4" +version = "0.7.6" [[GraphPlot]] deps = ["ArnoldiMethod", "ColorTypes", "Colors", "Compose", "DelimitedFiles", "LightGraphs", "LinearAlgebra", "Random", "SparseArrays", "Test"] @@ -169,22 +204,21 @@ deps = ["Markdown"] uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240" [[IterTools]] -deps = ["SparseArrays", "Test"] -git-tree-sha1 = "79246285c43602384e6f1943b3554042a3712056" +git-tree-sha1 = "2ebe60d7343962966d1779a74a760f13217a6901" uuid = "c8e1da08-722c-5040-9ed9-7db0dc04731e" -version = "1.1.1" +version = "1.2.0" [[JSON]] -deps = ["Dates", "Distributed", "Mmap", "Sockets", "Test", "Unicode"] -git-tree-sha1 = "1f7a25b53ec67f5e9422f1f551ee216503f4a0fa" +deps = ["Dates", "Mmap", "Parsers", "Unicode"] +git-tree-sha1 = "b34d7cef7b337321e97d22242c3c2b91f476748e" uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" -version = "0.20.0" +version = "0.21.0" [[JuMP]] deps = ["Calculus", "DataStructures", "ForwardDiff", "LinearAlgebra", "MathOptInterface", "NaNMath", "Random", "SparseArrays", "Statistics"] -git-tree-sha1 = "5df42febdee8ac7db9de66c712e439a6ff06459d" +git-tree-sha1 = "a970a86abc924f2c126cdb4978a5e8923d0e7b22" uuid = "4076af6c-e467-56ae-b986-b466b2749572" -version = "0.19.1" +version = "0.20.0" [[LibGit2]] uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" @@ -193,16 +227,10 @@ uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" [[LightGraphs]] -deps = ["ArnoldiMethod", "Base64", "DataStructures", "DelimitedFiles", "Distributed", "Inflate", "LinearAlgebra", "Markdown", "Random", "SharedArrays", "SimpleTraits", "SparseArrays", "Statistics", "Test"] -git-tree-sha1 = "c7222c370d5cf6d4e08ae40bddd8c0db6852dfb1" +deps = ["ArnoldiMethod", "DataStructures", "Distributed", "Inflate", "LinearAlgebra", "Random", "SharedArrays", "SimpleTraits", "SparseArrays", "Statistics"] +git-tree-sha1 = "a0d4bcea4b9c056da143a5ded3c2b7f7740c2d41" uuid = "093fc24a-ae57-5d10-9952-331d41423f4d" -version = "1.2.0" - -[[LinQuadOptInterface]] -deps = ["Compat", "MathOptInterface"] -git-tree-sha1 = "d6692a09d0424e34c884cd819b8ed47943eefc20" -uuid = "f8899e07-120b-5979-ab1d-7b97bb9e1a48" -version = "0.6.0" +version = "1.3.0" [[LineSearches]] deps = ["LinearAlgebra", "NLSolversBase", "NaNMath", "Parameters", "Printf", "Test"] @@ -218,32 +246,25 @@ uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" [[MacroTools]] -deps = ["CSTParser", "Compat", "DataStructures", "Test"] -git-tree-sha1 = "daecd9e452f38297c686eba90dba2a6d5da52162" +deps = ["CSTParser", "Compat", "DataStructures", "Test", "Tokenize"] +git-tree-sha1 = "d6e9dedb8c92c3465575442da456aec15a89ff76" uuid = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09" -version = "0.5.0" +version = "0.5.1" [[MappedArrays]] -deps = ["Test"] -git-tree-sha1 = "923441c5ac942b60bd3a842d5377d96646bcbf46" +git-tree-sha1 = "e2a02fe7ee86a10c707ff1756ab1650b40b140bb" uuid = "dbb5928d-eab1-5f90-85c2-b9b0edb7c900" -version = "0.2.1" +version = "0.2.2" [[Markdown]] deps = ["Base64"] uuid = "d6f4376e-aef5-505a-96c1-9c027394607a" [[MathOptInterface]] -deps = ["Compat", "Unicode"] -git-tree-sha1 = "5d3de69c9220610d0336ab45d3eb8b6ac7a7c807" +deps = ["BenchmarkTools", "LinearAlgebra", "OrderedCollections", "SparseArrays", "Test", "Unicode"] +git-tree-sha1 = "2880e4eca97edb87ea53e986880de6bc2fbcefb1" uuid = "b8f27783-ece8-5eb3-8dc8-9495eed66fee" -version = "0.8.4" - -[[MathProgBase]] -deps = ["Compat"] -git-tree-sha1 = "3bf2e534e635df810e5f4b4f1a8b6de9004a0d53" -uuid = "fdba3010-5040-5b88-9595-932c9decdf73" -version = "0.7.7" +version = "0.9.3" [[MathematicalSystems]] deps = ["Espresso", "LinearAlgebra", "MultivariatePolynomials", "SparseArrays", "Test"] @@ -258,43 +279,42 @@ uuid = "442fdcdd-2543-5da2-b0f3-8c86c306513e" version = "0.3.0" [[Missings]] -deps = ["SparseArrays", "Test"] -git-tree-sha1 = "f0719736664b4358aa9ec173077d4285775f8007" +git-tree-sha1 = "29858ce6c8ae629cf2d733bffa329619a1c843d0" uuid = "e1d29d7a-bbdc-5cf2-9ac0-f12de2c33e28" -version = "0.4.1" +version = "0.4.2" [[Mmap]] uuid = "a63ad114-7e13-5084-954f-fe012c677804" [[Mosek]] -deps = ["Libdl", "MathProgBase", "Pkg", "Printf", "SparseArrays", "Test"] -git-tree-sha1 = "032bd53d5d2c1a28ca4b684d0bcb43bf50ed1d5f" +deps = ["Libdl", "Pkg", "Printf", "SparseArrays"] +git-tree-sha1 = "aa1f2930edac8305a75b5e03113df6a1467fffe7" uuid = "6405355b-0ac2-5fba-af84-adbd65488c0e" -version = "0.9.11" +version = "1.0.4" [[MosekTools]] deps = ["MathOptInterface", "Mosek", "Printf"] -git-tree-sha1 = "c498c5cf8b1fa6705161dfe6275dfcd6708d6e63" +git-tree-sha1 = "f24a2f9213afe8407f32b8e621a2665986ecaa92" uuid = "1ec41992-ff65-5c91-ac43-2df89e9693a4" -version = "0.7.4" +version = "0.9.0" [[MultivariateMoments]] deps = ["LinearAlgebra", "MultivariatePolynomials", "RowEchelon", "SemialgebraicSets"] -git-tree-sha1 = "ca8b2ece9c815fd32d6be8b73949d91bdb076f17" +git-tree-sha1 = "470520d85d92f67686a496f2092d63cf276dabe3" uuid = "f4abf1af-0426-5881-a0da-e2f168889b5e" -version = "0.2.1" +version = "0.2.2" [[MultivariatePolynomials]] -deps = ["LinearAlgebra", "Test"] -git-tree-sha1 = "b14b7fb661be7724efdbaf2e469cc1b24a805785" +deps = ["LinearAlgebra"] +git-tree-sha1 = "ddc00a66d775fab6ba10ecd9cf87a4cda2782036" uuid = "102ac46a-7ee4-5c85-9060-abc95bfdeaa3" -version = "0.2.8" +version = "0.3.2" [[NLSolversBase]] -deps = ["Calculus", "DiffEqDiffTools", "DiffResults", "Distributed", "ForwardDiff", "LinearAlgebra", "Random", "SparseArrays", "Test"] -git-tree-sha1 = "0c6f0e7f2178f78239cfb75310359eed10f2cacb" +deps = ["Calculus", "DiffEqDiffTools", "DiffResults", "Distributed", "ForwardDiff"] +git-tree-sha1 = "c430bd3f2dfcffc30688cf4a9cb61535e8d85f65" uuid = "d41bc354-129a-5804-8e4c-c37616107c6c" -version = "7.3.1" +version = "7.4.1" [[NaNMath]] deps = ["Compat"] @@ -303,10 +323,10 @@ uuid = "77ba4419-2d1f-58cd-9bb1-8ffee604a2e3" version = "0.3.2" [[Optim]] -deps = ["Calculus", "DiffEqDiffTools", "ForwardDiff", "LineSearches", "LinearAlgebra", "NLSolversBase", "NaNMath", "Parameters", "PositiveFactorizations", "Printf", "Random", "SparseArrays", "StatsBase", "Test"] -git-tree-sha1 = "a626e09c1f7f019b8f3a30a8172c7b82d2f4810b" +deps = ["Calculus", "DiffEqDiffTools", "FillArrays", "ForwardDiff", "LineSearches", "LinearAlgebra", "NLSolversBase", "NaNMath", "Parameters", "PositiveFactorizations", "Printf", "Random", "SparseArrays", "StatsBase"] +git-tree-sha1 = "2bda07c4b28036258d76729f06ef845a7d1d9daf" uuid = "429524aa-4258-5aef-a3af-852621145aeb" -version = "0.18.1" +version = "0.19.3" [[OrderedCollections]] deps = ["Random", "Serialization", "Test"] @@ -316,31 +336,55 @@ version = "1.1.0" [[ParameterJuMP]] deps = ["JuMP", "MathOptInterface", "SparseArrays"] -git-tree-sha1 = "e61350b76ed526e1311a74d0aee7338ea73aacfa" +git-tree-sha1 = "061bbb1cfaed57f3a65c5e688285f8da9bef0178" uuid = "774612a8-9878-5177-865a-ca53ae2495f9" -version = "0.1.0" +version = "0.1.2" [[Parameters]] -deps = ["Markdown", "OrderedCollections", "REPL", "Test"] -git-tree-sha1 = "70bdbfb2bceabb15345c0b54be4544813b3444e4" +deps = ["OrderedCollections"] +git-tree-sha1 = "b62b2558efb1eef1fa44e4be5ff58a515c287e38" uuid = "d96e819e-fc66-5662-9728-84c9c7592b0a" -version = "0.10.3" +version = "0.12.0" + +[[Parsers]] +deps = ["Dates", "Test"] +git-tree-sha1 = "ef0af6c8601db18c282d092ccbd2f01f3f0cd70b" +uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" +version = "0.3.7" [[Pkg]] deps = ["Dates", "LibGit2", "Markdown", "Printf", "REPL", "Random", "SHA", "UUIDs"] uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" +[[PlotThemes]] +deps = ["PlotUtils", "Requires", "Test"] +git-tree-sha1 = "f3afd2d58e1f6ac9be2cea46e4a9083ccc1d990b" +uuid = "ccf2f8ad-2431-5c83-bf29-c5338b663b6a" +version = "0.3.0" + +[[PlotUtils]] +deps = ["Colors", "Dates", "Printf", "Random", "Reexport", "Test"] +git-tree-sha1 = "8e87bbb778c26f575fbe47fd7a49c7b5ca37c0c6" +uuid = "995b91a9-d308-5afd-9ec6-746e21dbc043" +version = "0.5.8" + +[[Plots]] +deps = ["Base64", "Contour", "Dates", "FFMPEG", "FixedPointNumbers", "GR", "GeometryTypes", "JSON", "LinearAlgebra", "Measures", "NaNMath", "Pkg", "PlotThemes", "PlotUtils", "Printf", "REPL", "Random", "RecipesBase", "Reexport", "Requires", "Showoff", "SparseArrays", "Statistics", "StatsBase", "UUIDs"] +git-tree-sha1 = "59bcea95a16912abb229209c9f6e9e218df44b7c" +uuid = "91a5bcdd-55d7-5caf-9e0b-520d859cae80" +version = "0.26.3" + [[PolyJuMP]] -deps = ["JuMP", "LinearAlgebra", "MathOptInterface", "MultivariateMoments", "MultivariatePolynomials", "SemialgebraicSets", "Test"] -git-tree-sha1 = "436f2f071e4aa9e085081f4eac0badb8d05b76a0" +deps = ["JuMP", "LinearAlgebra", "MathOptInterface", "MultivariateMoments", "MultivariatePolynomials", "SemialgebraicSets"] +git-tree-sha1 = "481e3278c66511ef7e384e0dabde379966091a71" uuid = "ddf597a6-d67e-5340-b84c-e37d84115374" -version = "0.3.0" +version = "0.3.3" [[Polyhedra]] -deps = ["GeometryTypes", "JuMP", "LinearAlgebra", "RecipesBase", "SparseArrays", "StaticArrays"] -git-tree-sha1 = "5797eb3fc29ca0bb822a3cedc52c81cc97072d8f" +deps = ["GeometryTypes", "JuMP", "LinearAlgebra", "ParameterJuMP", "RecipesBase", "SparseArrays", "StaticArrays"] +git-tree-sha1 = "cc6e3b2e436f227d89b440c7cc01b2fd47a39269" uuid = "67491407-f73d-577b-9b50-8179a7c68029" -version = "0.5.1" +version = "0.5.6" [[Polynomials]] deps = ["LinearAlgebra", "SparseArrays", "Test"] @@ -367,10 +411,9 @@ deps = ["Serialization"] uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" [[RecipesBase]] -deps = ["Random", "Test"] -git-tree-sha1 = "0b3cb370ee4dc00f47f1193101600949f3dcf884" +git-tree-sha1 = "7bdce29bc9b2f5660a6e5e64d64d91ec941f6aa2" uuid = "3cdcf5f2-1ef4-517c-9805-6587b60abb01" -version = "0.6.0" +version = "0.7.0" [[Reexport]] deps = ["Pkg"] @@ -394,29 +437,35 @@ version = "0.1.1" uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" [[SemialgebraicSets]] -deps = ["Compat", "MultivariatePolynomials"] -git-tree-sha1 = "6ad555a2facdba4634cf23176e8a9d4903412df6" +deps = ["LinearAlgebra", "MultivariatePolynomials", "Random"] +git-tree-sha1 = "8cc4a0ee2a4d616bfb5116b43f7e032b0dccddc9" uuid = "8e049039-38e8-557d-ae3a-bc521ccf6204" -version = "0.1.0" +version = "0.2.0" [[Serialization]] uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b" [[SetProg]] -deps = ["DataStructures", "DynamicPolynomials", "JuMP", "LinearAlgebra", "MultivariateMoments", "MultivariatePolynomials", "Pkg", "Polyhedra", "RecipesBase", "Reexport", "SumOfSquares"] -git-tree-sha1 = "8cba7fe0cdd879685fa9bd295f0c610aefc12dc2" +deps = ["DataStructures", "DynamicPolynomials", "JuMP", "LinearAlgebra", "MathOptInterface", "MultivariateMoments", "MultivariatePolynomials", "Pkg", "Polyhedra", "RecipesBase", "Reexport", "SumOfSquares"] +git-tree-sha1 = "ad9014a1b8b885e51b8158542eba09a1b329f856" uuid = "39881422-4b75-5582-a5c7-0feb14562a65" -version = "0.0.1" +version = "0.0.4" [[SharedArrays]] deps = ["Distributed", "Mmap", "Random", "Serialization"] uuid = "1a1011a3-84de-559e-8e89-a11a2f7dc383" +[[Showoff]] +deps = ["Dates"] +git-tree-sha1 = "e032c9df551fb23c9f98ae1064de074111b7bc39" +uuid = "992d4aef-0814-514b-bc4d-f2e9a6c4116f" +version = "0.3.1" + [[SimpleTraits]] -deps = ["InteractiveUtils", "MacroTools", "Test"] -git-tree-sha1 = "c0a542b8d5e369b179ccd296b2ca987f6da5da0a" +deps = ["InteractiveUtils", "MacroTools"] +git-tree-sha1 = "05bbf4484b975782e5e54bb0750f21f7f2f66171" uuid = "699a6c99-e7fa-54fc-8d76-47d257e15c1d" -version = "0.8.0" +version = "0.9.0" [[Sockets]] uuid = "6462fe0b-24de-5631-8697-dd941f90decc" @@ -432,48 +481,47 @@ deps = ["LinearAlgebra", "Random"] uuid = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" [[SpecialFunctions]] -deps = ["BinDeps", "BinaryProvider", "Libdl", "Test"] -git-tree-sha1 = "0b45dc2e45ed77f445617b99ff2adf0f5b0f23ea" +deps = ["BinDeps", "BinaryProvider", "Libdl"] +git-tree-sha1 = "3bdd374b6fd78faf0119b8c5d538788dbf910c6e" uuid = "276daf66-3868-5448-9aa4-cd146d93841b" -version = "0.7.2" +version = "0.8.0" [[StaticArrays]] -deps = ["InteractiveUtils", "LinearAlgebra", "Random", "Statistics", "Test"] -git-tree-sha1 = "3841b39ed5f047db1162627bf5f80a9cd3e39ae2" +deps = ["LinearAlgebra", "Random", "Statistics"] +git-tree-sha1 = "db23bbf50064c582b6f2b9b043c8e7e98ea8c0c6" uuid = "90137ffa-7385-5640-81b9-e52037218182" -version = "0.10.3" +version = "0.11.0" [[Statistics]] deps = ["LinearAlgebra", "SparseArrays"] uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" [[StatsBase]] -deps = ["DataStructures", "LinearAlgebra", "Missings", "Printf", "Random", "SortingAlgorithms", "SparseArrays", "Statistics"] -git-tree-sha1 = "8a0f4b09c7426478ab677245ab2b0b68552143c7" +deps = ["DataAPI", "DataStructures", "LinearAlgebra", "Missings", "Printf", "Random", "SortingAlgorithms", "SparseArrays", "Statistics"] +git-tree-sha1 = "c53e809e63fe5cf5de13632090bc3520649c9950" uuid = "2913bbd2-ae8a-5f71-8c99-4fb6c76f3a91" -version = "0.30.0" +version = "0.32.0" [[SumOfSquares]] deps = ["JuMP", "LinearAlgebra", "MathOptInterface", "MultivariateMoments", "MultivariatePolynomials", "Pkg", "PolyJuMP", "Reexport", "SemialgebraicSets", "SparseArrays"] -git-tree-sha1 = "153b6aa62a5712644ae0786417fc249ea5794580" +git-tree-sha1 = "80c5eb20b01698f545333479df62f8c1ddc3976a" uuid = "4b9e565b-77fc-50a5-a571-1244f986bda1" -version = "0.3.2" +version = "0.3.5" [[SwitchOnSafety]] -deps = ["Combinatorics", "DynamicPolynomials", "FillArrays", "GLPK", "GraphPlot", "HybridSystems", "JuMP", "LightGraphs", "LinearAlgebra", "MathOptInterface", "MathematicalSystems", "MultivariateMoments", "MultivariatePolynomials", "Optim", "ParameterJuMP", "Polyhedra", "RecipesBase", "Reexport", "SemialgebraicSets", "SetProg", "SparseArrays", "StaticArrays", "Statistics", "SumOfSquares"] -git-tree-sha1 = "2025b181b0338afd194419194c4460a35f2cad4c" +deps = ["Combinatorics", "DynamicPolynomials", "FillArrays", "GraphPlot", "HybridSystems", "JuMP", "LightGraphs", "LinearAlgebra", "MathOptInterface", "MathematicalSystems", "MultivariateMoments", "MultivariatePolynomials", "Optim", "ParameterJuMP", "Polyhedra", "RecipesBase", "Reexport", "SemialgebraicSets", "SetProg", "SparseArrays", "StaticArrays", "Statistics", "SumOfSquares"] +path = ".." uuid = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f" -version = "0.0.1" +version = "0.0.2" [[Test]] deps = ["Distributed", "InteractiveUtils", "Logging", "Random"] uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40" [[Tokenize]] -deps = ["Printf", "Test"] -git-tree-sha1 = "3e83f60b74911d3042d3550884ca2776386a02b8" +git-tree-sha1 = "dfcdbbfb2d0370716c815cbd6f8a364efb6f42cf" uuid = "0796e94c-ce3b-5d07-9a54-7f471281c624" -version = "0.5.3" +version = "0.5.6" [[URIParser]] deps = ["Test", "Unicode"] diff --git a/examples/PJ08e54.ipynb b/examples/PJ08e54.ipynb index 41bf053..e07fd3f 100644 --- a/examples/PJ08e54.ipynb +++ b/examples/PJ08e54.ipynb @@ -306,7 +306,7 @@ "file_extension": ".jl", "mimetype": "application/julia", "name": "julia", - "version": "1.1.0" + "version": "1.1.1" } }, "nbformat": 4, diff --git a/examples/Project.toml b/examples/Project.toml index 0f12c27..1bca645 100644 --- a/examples/Project.toml +++ b/examples/Project.toml @@ -2,6 +2,11 @@ GLPK = "60bf3e95-4087-53dc-ae20-288a0d20c6a6" HybridSystems = "2207ec0c-686c-5054-b4d2-543502888820" LightGraphs = "093fc24a-ae57-5d10-9952-331d41423f4d" +MathematicalSystems = "d14a8603-c872-5ed3-9ece-53e0e82e39da" MosekTools = "1ec41992-ff65-5c91-ac43-2df89e9693a4" +Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80" +Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029" +SemialgebraicSets = "8e049039-38e8-557d-ae3a-bc521ccf6204" +SetProg = "39881422-4b75-5582-a5c7-0feb14562a65" StaticArrays = "90137ffa-7385-5640-81b9-e52037218182" SwitchOnSafety = "ceb7f16a-07bf-5f4a-9354-b68f01b1610f"