SumOfSquares.jl
SumOfSquares.jl copied to clipboard
jump-dev
Sum of Squares Programming for Julia
Taken from [Joey Huchette at SIAM Opt 2017](https://docs.google.com/presentation/d/1ASfjB1TdLJmYxT0b6rnyGh9eLbMc-66bTOt3_3yvc90/edit?usp=sharing) @joehuchette do you still have the code?
In [the documentation in the section with an example on Lyapunov function search](https://jump.dev/SumOfSquares.jl/latest/generated/Systems%20and%20Control/lyapunov_function_search/) (but perhaps also elsewhere) I encountered a possibly confusing LaTeX-based math rendering. Namely, when an underscore is...
I am trying to reproduce the [example on Lyapunov function search](https://jump.dev/SumOfSquares.jl/latest/generated/Systems%20and%20Control/lyapunov_function_search/) from the documentation. The example uses DynamicPolynomials. Since the degree of the polynomials is fixed here, my understanding was...
Add example on how to get a bound on a QCQP as done in https://github.com/Shuvomoy/BnB-PEP-code/ cc @Shuvomoy
Let's check if https://github.com/JuliaAlgebra/SemialgebraicSets.jl/pull/28 didn't break anything
This breaks the support for non-`VectorAffineFunction` so I'd rather wait for a some generic support for conversion like https://github.com/jump-dev/MathOptInterface.jl/issues/1785
We could have two SOS bridges for bridging a SOS constraint `poly in SOSCone()`: 1) A bridge from SOS constraints to a PSD variable and linear equality constraints: this is...
This illustrate how PolyJuMP can be extended using SAGE certificate as example. The possibility to do this was the reason we split SumOfSquares and PolyJuMP as separate packages.
We have: https://jump.dev/SumOfSquares.jl/latest/constraints/?fbclid=IwAR1LPQSwkr7viXNkAmXhyUDnSY9k0y0awFD5FukoOMEFa3_4OCBVbrPhiQ#Changing-the-polynomial-basis but also having a tutorial would be helpful.
It was rightly reported to me by email as confusing behavior: ```julia julia> model = SOSModel(CSDP.Optimizer); julia> using DynamicPolynomials julia> @polyvar x y (x, y) julia> S = @set x^2...