1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-24 18:10:29 +01:00

length(::GroupRing) is the size of support, not of coeffs

This commit is contained in:
kalmar 2017-05-28 20:01:52 +02:00
parent 347c09c598
commit d1fb62cb8c

View File

@ -56,7 +56,7 @@ end
function create_SDP_problem(matrix_constraints, Δ::GroupRingElem; upper_bound=Inf)
N = size(parent(Δ).pm, 1)
Δ² = Δ*Δ
@assert length(Δ) == length(matrix_constraints)
@assert length(Δ.coeffs) == length(matrix_constraints)
m = JuMP.Model();
JuMP.@variable(m, P[1:N, 1:N], SDP)
JuMP.@SDconstraint(m, P >= 0)