Benoît Legat

LMI bridge

3

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...

Add SAGE extension in doc

2

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...

Add MomentSeries to Polynomial Optimization notebook

1

See https://jump.dev/SumOfSquares.jl/previews/PR216 Requires: - [ ] https://github.com/bmourrain/MultivariateSeries.jl/pull/3 - [ ] https://github.com/bmourrain/MultivariateSeries.jl/pull/5 - [ ] https://github.com/bmourrain/MultivariateSeries.jl/pull/6

The following is infeasible: ```julia using DynamicPolynomials using SumOfSquares using MosekTools solver = optimizer_with_attributes(Mosek.Optimizer, MOI.Silent() => false) model = SOSModel(solver); @polyvar x V = 1 + x S = @set...

[WIP] Add support for exact newton polytope #2

3

Closes #2 - [ ] Multipartite - [x] Exact Newton Polytope - [ ] Tests

We have the [docstring](https://jump.dev/SumOfSquares.jl/stable/constraints/#SumOfSquares.sos_decomposition) but not much more. It's pretty cryptic and an example would help.

The keyword would be named `remainder`. See #4

This line is not covered by tests: https://github.com/JuliaOpt/SumOfSquares.jl/blob/b24d88e7e5dc2d848a7ee974b15697f421ee814e/src/copositive_inner_variable_bridge.jl#L45 as evidenced by https://github.com/JuliaOpt/SumOfSquares.jl/pull/96