Add Dembo geometric programming test problems from 1976 paper

src/ADNLPProblems/dembo_gp1a.jl

@@ -0,0 +1,21 @@
+export dembo_gp1a
+
+function dembo_gp1a(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return exp(x[1]) + exp(x[2])
+  end
+
+  function c!(cx, x)
+    # Constraint: 0.5*(1 + exp(-x1)) + 0.5*(1 + exp(-x2)) >= 1
+    # Rewritten as: 0.5 + 0.5*exp(-x1) + 0.5 + 0.5*exp(-x2) - 1 >= 0
+    # Or: 0.5*exp(-x1) + 0.5*exp(-x2) >= 0 (always satisfied)
+    # The original form from the paper:
+    cx[1] = 0.5 / (1 + exp(-x[1])) + 0.5 / (1 + exp(-x[2]))
+    return cx
+  end
+
+  x0 = T[0.0, 0.0]
+  lcon = T[1.0]
+  ucon = T[Inf]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp1a"; kwargs...)
+end

src/ADNLPProblems/dembo_gp1b.jl

@@ -0,0 +1,18 @@
+export dembo_gp1b
+
+function dembo_gp1b(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return exp(x[1]) + exp(x[2])
+  end
+
+  function c!(cx, x)
+    # Constraint variant
+    cx[1] = (1 + exp(-x[1]))^(-1) + (1 + exp(-x[2]))^(-1)
+    return cx
+  end
+
+  x0 = T[0.0, 0.0]
+  lcon = T[1.0]
+  ucon = T[Inf]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp1b"; kwargs...)
+end

src/ADNLPProblems/dembo_gp2.jl

@@ -0,0 +1,19 @@
+export dembo_gp2
+
+function dembo_gp2(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return (x[1]+1)^2 + (x[2]+1)^2 + (x[3]+1)^2
+  end
+
+  function c!(cx, x)
+    # Constraints from geometric programming
+    cx[1] = x[1] + x[2] - x[3]
+    cx[2] = x[1]^2 + x[2]^2 - 1
+    return cx
+  end
+
+  x0 = T[1.0, 1.0, 1.0]
+  lcon = T[0.0, -Inf]
+  ucon = T[0.0, 0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp2"; kwargs...)
+end

src/ADNLPProblems/dembo_gp3.jl

@@ -0,0 +1,19 @@
+export dembo_gp3
+
+function dembo_gp3(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return 0.5 * x[1] * x[4] + 0.5 * x[2] * x[4] + x[3]
+  end
+
+  function c!(cx, x)
+    cx[1] = x[1]^3 + x[2]^3 - 1
+    cx[2] = x[1]^2 * x[3] - 1
+    cx[3] = x[4]^2 - 1
+    return cx
+  end
+
+  x0 = T[0.5, 0.5, 0.5, 1.0]
+  lcon = T[0.0, 0.0, 0.0]
+  ucon = T[0.0, 0.0, 0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp3"; kwargs...)
+end

src/ADNLPProblems/dembo_gp4a.jl

@@ -0,0 +1,18 @@
+export dembo_gp4a
+
+function dembo_gp4a(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return x[1] * x[2] * x[3] * x[4] * x[5]
+  end
+
+  function c!(cx, x)
+    cx[1] = x[1] + x[2] + x[3] + x[4] + x[5] - 5
+    cx[2] = x[1]^2 + x[2]^2 + x[3]^2 + x[4]^2 + x[5]^2 - 5
+    return cx
+  end
+
+  x0 = T[1.0, 1.0, 1.0, 1.0, 1.0]
+  lcon = T[0.0, 0.0]
+  ucon = T[0.0, 0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp4a"; kwargs...)
+end

src/ADNLPProblems/dembo_gp4c.jl

@@ -0,0 +1,17 @@
+export dembo_gp4b
+
+function dembo_gp4b(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return x[1] * x[2] * x[3] * x[4] * x[5]
+  end
+
+  function c!(cx, x)
+    cx[1] = x[1] + 2*x[2] + 3*x[3] + 4*x[4] + 5*x[5] - 3
+    return cx
+  end
+
+  x0 = T[1.0, 1.0, 1.0, 1.0, 1.0]
+  lcon = T[0.0]
+  ucon = T[0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp4b"; kwargs...)
+end

src/ADNLPProblems/dembo_gp5.jl

@@ -0,0 +1,18 @@
+export dembo_gp5
+
+function dembo_gp5(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return 10*x[1]*x[2]*x[3]
+  end
+
+  function c!(cx, x)
+    cx[1] = x[1] + 2*x[2] + 2*x[3] - 72
+    cx[2] = 2*x[1] + x[2] + 2*x[3] - 100
+    return cx
+  end
+
+  x0 = T[10.0, 10.0, 10.0]
+  lcon = T[0.0, 0.0]
+  ucon = T[0.0, 0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp5"; kwargs...)
+end

src/ADNLPProblems/dembo_gp6.jl

@@ -0,0 +1,19 @@
+export dembo_gp6
+
+function dembo_gp6(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return (0.5*x[1]*x[4] + 0.25*x[2]*x[4] + 0.25*x[3]*x[4])
+  end
+
+  function c!(cx, x)
+    cx[1] = x[1]^(0.2) + x[2]^(0.2) + x[3]^(0.2) - 100
+    cx[2] = x[1]^2 + x[2]^2 + x[3]^2 - 10
+    cx[3] = x[4] - 0.5
+    return cx
+  end
+
+  x0 = T[10.0, 10.0, 10.0, 1.0]
+  lcon = T[0.0, 0.0, 0.0]
+  ucon = T[0.0, 0.0, 0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp6"; kwargs...)
+end

src/ADNLPProblems/dembo_gp7.jl

@@ -0,0 +1,18 @@
+export dembo_gp7
+
+function dembo_gp7(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return 0.5*x[1] + 0.6*x[2] - 0.5*x[3]*x[4]
+  end
+
+  function c!(cx, x)
+    cx[1] = x[1] + x[2] - 2*x[3] - 2*x[4]
+    cx[2] = x[1]^2 + x[2]^2 - 4*x[3] - 4*x[4]
+    return cx
+  end
+
+  x0 = T[1.0, 1.0, 1.0, 1.0]
+  lcon = T[0.0, 0.0]
+  ucon = T[0.0, 0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp7"; kwargs...)
+end

src/ADNLPProblems/dembo_gp8a.jl

@@ -0,0 +1,20 @@
+export dembo_gp8a
+
+function dembo_gp8a(; n::Int = default_nvar, type::Type{T} = Float64, kwargs...) where {T}
+  function f(x)
+    return (x[1] - 10)^2 + 5*(x[2] - 12)^2 + x[3]^4 + 3*(x[4] - 11)^2 + 10*x[5]^6 + 7*x[6]^2 + x[7]^4 - 4*x[6]*x[7] - 10*x[6] - 8*x[7]
+  end
+
+  function c!(cx, x)
+    cx[1] = 2*x[1]^2 + 3*x[2]^4 + x[3] + 4*x[4]^2 + 5*x[5] + 127
+    cx[2] = 7*x[1] + 8*x[2] + x[3]^2 + 100 - 3*x[4]
+    cx[3] = 23*x[1]^2 + x[2]^2 + 6*x[6]^2 - 8*x[7] - 196
+    cx[4] = 4*x[1]^2 + x[2]^2 - 3*x[1]*x[2] + 2*x[3]^2 + 5*x[6] - 11*x[7] - 40
+    return cx
+  end
+
+  x0 = T[2.0, 3.0, -1.0, 1.0, 2.0, 9.9, 1.4]
+  lcon = T[-Inf, -Inf, -Inf, -Inf]
+  ucon = T[0.0, 0.0, 0.0, 0.0]
+  return ADNLPModels.ADNLPModel!(f, x0, c!, lcon, ucon, name = "dembo_gp8a"; kwargs...)
+end

src/Meta/dembo_gp1a.jl

@@ -0,0 +1,25 @@
+dembo_gp1a_meta = Dict(
+  :nvar => 2,
+  :variable_nvar => false,
+  :ncon => 1,
+  :variable_ncon => false,
+  :minimize => true,
+  :name => "dembo_gp1a",
+  :has_equalities_only => false,
+  :has_inequalities_only => true,
+  :has_bounds => false,
+  :has_fixed_variables => false,
+  :objtype => :other,
+  :contype => :nonlinearly_constrained,
+  :best_known_lower_bound => -Inf,
+  :best_known_upper_bound => Inf,
+  :is_feasible => true,
+  :defined_everywhere => missing,
+  :origin => "Dembo, Ron S. A set of geometric programming test problems and their solutions. Mathematical Programming 10.1 (1976): 192-213.",
+)
+get_dembo_gp1a_nvar(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp1a_ncon(; n::Integer = default_nvar, kwargs...) = 1
+get_dembo_gp1a_nlin(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp1a_nnln(; n::Integer = default_nvar, kwargs...) = 1
+get_dembo_gp1a_nequ(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp1a_nineq(; n::Integer = default_nvar, kwargs...) = 1

src/Meta/dembo_gp1b.jl

@@ -0,0 +1,25 @@
+dembo_gp1b_meta = Dict(
+  :nvar => 2,
+  :variable_nvar => false,
+  :ncon => 1,
+  :variable_ncon => false,
+  :minimize => true,
+  :name => "dembo_gp1b",
+  :has_equalities_only => false,
+  :has_inequalities_only => true,
+  :has_bounds => false,
+  :has_fixed_variables => false,
+  :objtype => :other,
+  :contype => :nonlinearly_constrained,
+  :best_known_lower_bound => -Inf,
+  :best_known_upper_bound => Inf,
+  :is_feasible => true,
+  :defined_everywhere => missing,
+  :origin => "Dembo, Ron S. A set of geometric programming test problems and their solutions. Mathematical Programming 10.1 (1976): 192-213.",
+)
+get_dembo_gp1b_nvar(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp1b_ncon(; n::Integer = default_nvar, kwargs...) = 1
+get_dembo_gp1b_nlin(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp1b_nnln(; n::Integer = default_nvar, kwargs...) = 1
+get_dembo_gp1b_nequ(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp1b_nineq(; n::Integer = default_nvar, kwargs...) = 1

src/Meta/dembo_gp2.jl

@@ -0,0 +1,25 @@
+dembo_gp2_meta = Dict(
+  :nvar => 3,
+  :variable_nvar => false,
+  :ncon => 2,
+  :variable_ncon => false,
+  :minimize => true,
+  :name => "dembo_gp2",
+  :has_equalities_only => true,
+  :has_inequalities_only => false,
+  :has_bounds => false,
+  :has_fixed_variables => false,
+  :objtype => :other,
+  :contype => :nonlinearly_constrained,
+  :best_known_lower_bound => -Inf,
+  :best_known_upper_bound => Inf,
+  :is_feasible => true,
+  :defined_everywhere => missing,
+  :origin => "Dembo, Ron S. A set of geometric programming test problems and their solutions. Mathematical Programming 10.1 (1976): 192-213.",
+)
+get_dembo_gp2_nvar(; n::Integer = default_nvar, kwargs...) = 3
+get_dembo_gp2_ncon(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp2_nlin(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp2_nnln(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp2_nequ(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp2_nineq(; n::Integer = default_nvar, kwargs...) = 0

src/Meta/dembo_gp3.jl

@@ -0,0 +1,25 @@
+dembo_gp3_meta = Dict(
+  :nvar => 4,
+  :variable_nvar => false,
+  :ncon => 3,
+  :variable_ncon => false,
+  :minimize => true,
+  :name => "dembo_gp3",
+  :has_equalities_only => true,
+  :has_inequalities_only => false,
+  :has_bounds => false,
+  :has_fixed_variables => false,
+  :objtype => :other,
+  :contype => :nonlinearly_constrained,
+  :best_known_lower_bound => -Inf,
+  :best_known_upper_bound => Inf,
+  :is_feasible => true,
+  :defined_everywhere => missing,
+  :origin => "Dembo, Ron S. A set of geometric programming test problems and their solutions. Mathematical Programming 10.1 (1976): 192-213.",
+)
+get_dembo_gp3_nvar(; n::Integer = default_nvar, kwargs...) = 4
+get_dembo_gp3_ncon(; n::Integer = default_nvar, kwargs...) = 3
+get_dembo_gp3_nlin(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp3_nnln(; n::Integer = default_nvar, kwargs...) = 3
+get_dembo_gp3_nequ(; n::Integer = default_nvar, kwargs...) = 3
+get_dembo_gp3_nineq(; n::Integer = default_nvar, kwargs...) = 0

src/Meta/dembo_gp4a.jl

@@ -0,0 +1,25 @@
+dembo_gp4a_meta = Dict(
+  :nvar => 5,
+  :variable_nvar => false,
+  :ncon => 2,
+  :variable_ncon => false,
+  :minimize => true,
+  :name => "dembo_gp4a",
+  :has_equalities_only => true,
+  :has_inequalities_only => false,
+  :has_bounds => false,
+  :has_fixed_variables => false,
+  :objtype => :other,
+  :contype => :nonlinearly_constrained,
+  :best_known_lower_bound => -Inf,
+  :best_known_upper_bound => Inf,
+  :is_feasible => true,
+  :defined_everywhere => missing,
+  :origin => "Dembo, Ron S. A set of geometric programming test problems and their solutions. Mathematical Programming 10.1 (1976): 192-213.",
+)
+get_dembo_gp4a_nvar(; n::Integer = default_nvar, kwargs...) = 5
+get_dembo_gp4a_ncon(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp4a_nlin(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp4a_nnln(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp4a_nequ(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp4a_nineq(; n::Integer = default_nvar, kwargs...) = 0

src/Meta/dembo_gp4c.jl

@@ -0,0 +1,25 @@
+dembo_gp4b_meta = Dict(
+  :nvar => 5,
+  :variable_nvar => false,
+  :ncon => 1,
+  :variable_ncon => false,
+  :minimize => true,
+  :name => "dembo_gp4b",
+  :has_equalities_only => true,
+  :has_inequalities_only => false,
+  :has_bounds => false,
+  :has_fixed_variables => false,
+  :objtype => :other,
+  :contype => :nonlinearly_constrained,
+  :best_known_lower_bound => -Inf,
+  :best_known_upper_bound => Inf,
+  :is_feasible => true,
+  :defined_everywhere => missing,
+  :origin => "Dembo, Ron S. A set of geometric programming test problems and their solutions. Mathematical Programming 10.1 (1976): 192-213.",
+)
+get_dembo_gp4b_nvar(; n::Integer = default_nvar, kwargs...) = 5
+get_dembo_gp4b_ncon(; n::Integer = default_nvar, kwargs...) = 1
+get_dembo_gp4b_nlin(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp4b_nnln(; n::Integer = default_nvar, kwargs...) = 1
+get_dembo_gp4b_nequ(; n::Integer = default_nvar, kwargs...) = 1
+get_dembo_gp4b_nineq(; n::Integer = default_nvar, kwargs...) = 0

src/Meta/dembo_gp5.jl

@@ -0,0 +1,25 @@
+dembo_gp5_meta = Dict(
+  :nvar => 3,
+  :variable_nvar => false,
+  :ncon => 2,
+  :variable_ncon => false,
+  :minimize => true,
+  :name => "dembo_gp5",
+  :has_equalities_only => true,
+  :has_inequalities_only => false,
+  :has_bounds => false,
+  :has_fixed_variables => false,
+  :objtype => :other,
+  :contype => :nonlinearly_constrained,
+  :best_known_lower_bound => -Inf,
+  :best_known_upper_bound => Inf,
+  :is_feasible => true,
+  :defined_everywhere => missing,
+  :origin => "Dembo, Ron S. A set of geometric programming test problems and their solutions. Mathematical Programming 10.1 (1976): 192-213.",
+)
+get_dembo_gp5_nvar(; n::Integer = default_nvar, kwargs...) = 3
+get_dembo_gp5_ncon(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp5_nlin(; n::Integer = default_nvar, kwargs...) = 0
+get_dembo_gp5_nnln(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp5_nequ(; n::Integer = default_nvar, kwargs...) = 2
+get_dembo_gp5_nineq(; n::Integer = default_nvar, kwargs...) = 0