@@ -32,8 +32,8 @@ p(x=>1, y=>0), p(x=>1//2, y=>1//2), p(x=>0, y=>1)
3232
3333import  Ipopt
3434model =  Model (Ipopt. Optimizer)
35- @variable (model, 0   <=  a )
36- @variable (model, 0   <=  b )
35+ @variable (model, a  >=   0 )
36+ @variable (model, b  >=   0 )
3737@constraint (model, a +  b >=  1 )
3838@objective (model, Min, a^ 3  -  a^ 2  +  2 a* b -  b^ 2  +  b^ 3 )
3939optimize! (model)
@@ -99,8 +99,6 @@ import Alpine, HiGHS, Ipopt, Pavito
9999ipopt =  optimizer_with_attributes (
100100    Ipopt. Optimizer,
101101    MOI. Silent () =>  true ,
102-     # "sb" => "yes",
103-     # "max_iter" => 9999,
104102)
105103highs =  optimizer_with_attributes (
106104    HiGHS. Optimizer,
@@ -119,16 +117,12 @@ alpine = optimizer_with_attributes(
119117    " nlp_solver" =>  ipopt,
120118    " mip_solver" =>  pavito,
121119)
122- set_optimizer (model, () ->  PolyJuMP. QCQP. Optimizer (alpine))
120+ set_optimizer (model, () ->  PolyJuMP. QCQP. Optimizer (MOI . instantiate ( alpine) ))
123121optimize! (model)
124122
125- #  We can see the summary here: 
123+ #  We can see that it found  the optimal solution 
126124
127- solution_summary (m)
128- 
129- #  It found the optimal solution
130- 
131- value (a), value (b)
125+ termination_status (model), value (a), value (b)
132126
133127#  ## Sum-of-Squares approach
134128
0 commit comments