1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-14 06:10:28 +01:00

@variable(m, ..., SDP) and @SDconstraint(m,... >=0) are equivalent

This commit is contained in:
kalmar 2017-06-05 13:55:24 +02:00
parent ba04aa4f34
commit 54b6fda9e8

View File

@ -50,7 +50,7 @@ function create_SDP_problem(Δ::GroupRingElem, matrix_constraints; upper_bound=I
Δ² = Δ*Δ
@assert length(Δ.coeffs) == length(matrix_constraints)
m = JuMP.Model();
JuMP.@variable(m, P[1:N, 1:N], SDP)
JuMP.@variable(m, P[1:N, 1:N])
JuMP.@SDconstraint(m, P >= 0)
JuMP.@constraint(m, sum(P[i] for i in eachindex(P)) == 0)