Non-empty inner set for `y == log(x)`

JuliaIntervals / IntervalConstraintProgramming.jl

Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

Other

63 stars 16 forks source link

Closed dpsanders closed 5 months ago

dpsanders commented 5 months ago

julia> C = Separator(y == log(x), vars)
Separator(in(y - log(x), [0, 0]), vars=x, y)

julia> inner, boundary = pave(X, C, 0.01)

gives a non-empty inner set, whereas it should be empty since this is a 1-dimensional curve.

dpsanders commented 5 months ago