Hypatia.jl icon indicating copy to clipboard operation
Hypatia.jl copied to clipboard

Published 20 hours ago • verified publisher icon jump-dev

Add support for SumOfSquares cone

Open blegat opened this issue 7 months ago • 0 comments

With this PR, when the user uses the sampling basis, e.g. with

@constraint(model, p in SOSCone(), zero_basis = BoxSampling(-ones(nvariables(p)), ones(nvariables(p))))

the constraint will be transformed to Hypatia.WSOSInterpNonnegativeCone and not all the way to PSD constraints!

A few things still need to happen before this can be part of a release. To use this, one needs the development version of StarAlgebras, MultivariateMoments and PolyJuMP as well as

  • [ ] https://github.com/JuliaAlgebra/MultivariateBases.jl/pull/47
  • [ ] https://github.com/jump-dev/SumOfSquares.jl/pull/378

blegat avatar Jul 10 '24 12:07 blegat