1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 02:15:29 +01:00
This commit is contained in:
kalmarek 2018-09-03 10:23:08 +02:00
parent 92d1d69177
commit 859a751b01

View File

@ -123,7 +123,7 @@ function SOS_problem(X::GroupRingElem, orderunit::GroupRingElem, data::OrbitData
λ = JuMP.@variable(m, λ)
if upper_bound < Inf
JuMP.@constraint(SDP_problem, λ <= upper_bound)
JuMP.@constraint(m, λ <= upper_bound)
end
info("Adding $(length(data.orbits)) constraints... ")