Update with PolyJuMP v0.5.1

jump-dev · Nov 25, 2021 · edde736 · edde736
1 parent 3c9d500
commit edde736
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -31,7 +31,7 @@ MultivariateBases = "0.1.2"
 MultivariateMoments = "0.3"
 MultivariatePolynomials = "0.4"
 MutableArithmetics = "0.3"
-PolyJuMP = "0.5"
+PolyJuMP = "0.5.1"
 Reexport = "0.2, 1.0"
 SemialgebraicSets = "0.2"
 SymbolicWedderburn = "0.2"

diff --git a/test/Tests/sosdemo10.jl b/test/Tests/sosdemo10.jl
@@ -26,8 +26,7 @@ function sosdemo10_test(optimizer, config::MOIT.Config)
     Sc = [θ^2 - s * (γ - p) g0 + g1
           g0 + g1           1]
 
-    #@constraint(model, Matrix(ε * I, 2, 2) <= Sc, PSDCone()) # TODO Use that when PolyJuMP v0.5.1 is released
-    @constraint(model, (Sc - Matrix(ε * I, 2, 2)) in PSDCone())
+    @constraint(model, Matrix(ε * I, 2, 2) <= Sc, PSDCone())
 
     JuMP.optimize!(model)