search

lanl-ansi / Alpine.jl

A Julia/JuMP-based Global Optimization Solver for Non-convex Programs
https://lanl-ansi.github.io/Alpine.jl/latest/
Other
244 stars 39 forks source link

Compounded expression evaluation #128

Closed harshangrjn closed 5 years ago

harshangrjn commented 5 years ago

Documenting this bug so that we can have appropriate test cases later:

@variable(m, -20 <= x[1:4] <= -20)
@objective(m, Min, x[1] + x[2] + x[3] + x[4])
@NLconstraint(m, (-97 + 12*x[1] + 24*x[2] + 36*x[3])*x[4] >= 50)

Expressions of type shown in the NLconstraint (above) are evaluated wrongly while evaluating bounds on the lifted variables. Here is the warning printed by Alpine: Warning: Warning: VAR5 SOL=-1731.0 out of discretization [-1537.0,-1537.0]. Taking middle point...