Skip to content

Commit

Permalink
Fix
Browse files Browse the repository at this point in the history
  • Loading branch information
blegat committed Aug 27, 2019
1 parent 68f001a commit b1de3ad
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion test/extract_domain_polyopt.jl
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,8 @@ using MultivariateMoments
for (maxdeg, found) in [(3, false), (4, true), (5, true)]
m = SOSModel(factory)
@variable m α
@objective m Max α
# TODO Change 1α to α once we have variable bridges
@objective m Max 1α
c = @constraint m p >= α domain = S maxdegree = maxdeg

JuMP.optimize!(m)
Expand Down

0 comments on commit b1de3ad

Please sign in to comment.