search

ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
69 stars 51 forks source link

Question about ibexsolve certification #472

Closed gkrait closed 4 years ago

gkrait commented 4 years ago

Dear ibexsolve developer, I would like to anticipate the documentation of under-constrained systems and make sure about the type of certification that ibexsolve provides in the case. Can I assume that the gradients of all constraints are linearly independent for any inner box?.

gchabert commented 4 years ago

You mean "solution" box, right? Yes, the gradients are linearly independent. Note however that a small bug has recently been fixed https://github.com/ibex-team/ibex-lib/issues/470. The next release (2.8.8) will be correct.