sleipnirgroup-jormungandr 0.0.1.dev475__cp312-cp312-win_amd64.whl → 0.0.1.dev476__cp312-cp312-win_amd64.whl

jormungandr/cpp/docstrings.hpp

@@ -78,6 +78,10 @@ up.)doc";
 
 static const char *__doc_slp_ExitStatus_FACTORIZATION_FAILED = R"doc(The linear system factorization failed.)doc";
 
+static const char *__doc_slp_ExitStatus_GLOBALLY_INFEASIBLE =
+R"doc(The problem setup frontend determined the problem to have an empty
+feasible region.)doc";
+
 static const char *__doc_slp_ExitStatus_LINE_SEARCH_FAILED =
 R"doc(The backtracking line search failed, and the problem isn't locally
 infeasible.)doc";

jormungandr/cpp/optimization/solver/bind_exit_status.cpp

@@ -17,6 +17,8 @@ void bind_exit_status(nb::enum_<ExitStatus>& e) {
           DOC(slp, ExitStatus, TOO_FEW_DOFS));
   e.value("LOCALLY_INFEASIBLE", ExitStatus::LOCALLY_INFEASIBLE,
           DOC(slp, ExitStatus, LOCALLY_INFEASIBLE));
+  e.value("GLOBALLY_INFEASIBLE", ExitStatus::GLOBALLY_INFEASIBLE,
+          DOC(slp, ExitStatus, GLOBALLY_INFEASIBLE));
   e.value("FACTORIZATION_FAILED", ExitStatus::FACTORIZATION_FAILED,
           DOC(slp, ExitStatus, FACTORIZATION_FAILED));
   e.value("LINE_SEARCH_FAILED", ExitStatus::LINE_SEARCH_FAILED,

jormungandr/optimization/__init__.pyi

@@ -45,34 +45,40 @@ class ExitStatus(enum.Enum):
     up.
     """
 
-    FACTORIZATION_FAILED = -3
+    GLOBALLY_INFEASIBLE = -3
+    """
+    The problem setup frontend determined the problem to have an empty
+    feasible region.
+    """
+
+    FACTORIZATION_FAILED = -4
     """The linear system factorization failed."""
 
-    LINE_SEARCH_FAILED = -4
+    LINE_SEARCH_FAILED = -5
     """
     The backtracking line search failed, and the problem isn't locally
     infeasible.
     """
 
-    NONFINITE_INITIAL_COST_OR_CONSTRAINTS = -5
+    NONFINITE_INITIAL_COST_OR_CONSTRAINTS = -6
     """
     The solver encountered nonfinite initial cost or constraints and gave
     up.
     """
 
-    DIVERGING_ITERATES = -6
+    DIVERGING_ITERATES = -7
     """
     The solver encountered diverging primal iterates xₖ and/or sₖ and gave
     up.
     """
 
-    MAX_ITERATIONS_EXCEEDED = -7
+    MAX_ITERATIONS_EXCEEDED = -8
     """
     The solver returned its solution so far after exceeding the maximum
     number of iterations.
     """
 
-    TIMEOUT = -8
+    TIMEOUT = -9
     """
     The solver returned its solution so far after exceeding the maximum
     elapsed wall clock time.

jormungandr/test/optimization/nonlinear_problem_test.py

@@ -116,6 +116,25 @@ def test_minimum_2d_distance_with_linear_constraint():
     assert y.value() == pytest.approx(2.5, abs=1e-2)
 
 
+def test_conflicting_bounds():
+    problem = Problem()
+
+    x = problem.decision_variable()
+    y = problem.decision_variable()
+
+    problem.minimize(autodiff.hypot(x, y))
+
+    problem.subject_to(autodiff.hypot(x, y) <= 1)
+    problem.subject_to(x >= 0.5)
+    problem.subject_to(x <= -0.5)
+
+    assert problem.cost_function_type() == ExpressionType.NONLINEAR
+    assert problem.equality_constraint_type() == ExpressionType.NONE
+    assert problem.inequality_constraint_type() == ExpressionType.NONLINEAR
+
+    assert problem.solve(diagnostics=True) == ExitStatus.GLOBALLY_INFEASIBLE
+
+
 def test_wachter_and_biegler_line_search_failure():
     # See example 19.2 of [1]
 

{sleipnirgroup_jormungandr-0.0.1.dev475.dist-info → sleipnirgroup_jormungandr-0.0.1.dev476.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: sleipnirgroup-jormungandr
-Version: 0.0.1.dev475
+Version: 0.0.1.dev476
 Summary: A linearity-exploiting sparse nonlinear constrained optimization problem solver that uses the interior-point method.
 License: Copyright (c) Sleipnir contributors
         

{sleipnirgroup_jormungandr-0.0.1.dev475.dist-info → sleipnirgroup_jormungandr-0.0.1.dev476.dist-info}/RECORD

@@ -1,16 +1,16 @@
 jormungandr/__init__.py,sha256=nIqhLHGx0a-3v5s7YOWR85BlvEH9MDLJkpoY5pn16lk,160
 jormungandr/__init__.pyi,sha256=emqcIBqJMpxEAJ-ql0o54KWlC2eYLqCAeKhzgdcxI2k,106
-jormungandr/_jormungandr.cp312-win_amd64.pyd,sha256=SGecqnDZJ-sKTEKvyDmyq6X05Xd_WqaVUs4SAJl8310,1250304
+jormungandr/_jormungandr.cp312-win_amd64.pyd,sha256=A0dOVHpOcMK966YrtIdnnH7w-XtWL1GX1m9s8r44jOU,1256448
 jormungandr/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 jormungandr/autodiff/__init__.py,sha256=KjtAsCEanXWohdJh2QvSjxXUosRoIrnf0Bn8IZ5CRSk,1474
 jormungandr/autodiff/__init__.pyi,sha256=Fb5xVh6NSQoEiQpdcAKd2aX424WLVrNWK7vbywwxkMI,64651
 jormungandr/control/__init__.py,sha256=jj_nLjcfpzTZG6PmamM8fSOyMBFEgQvkXfZToG4TWDg,38
 jormungandr/cpp/binders.hpp,sha256=VdZiZmF3MYnb09FOeDQwg0Qgkl3SrBU_pq5T6vYKAaU,1684
-jormungandr/cpp/docstrings.hpp,sha256=OOp4hImEC9wZJWAamCV7_HnGL1dUDCeCowC_euzsmxo,104770
+jormungandr/cpp/docstrings.hpp,sha256=OzRK5mYdXv5OGmpMH5XFJ12lsBIt7JFM7lUF0zs1098,104933
 jormungandr/cpp/main.cpp,sha256=LLjWMUIpKsSXxk9nJSQmAOpkwulqhoePFc2OZqfqK90,3419
 jormungandr/cpp/try_cast.hpp,sha256=cOWtz7uLnLotGklGSsPE6UG9lvRq5rn-Mh4eyEf6xes,1335
 jormungandr/optimization/__init__.py,sha256=ppi_-zEMxOdHw15R7TfI0kx5iHVA5cg70ezQIqcEdP0,1320
-jormungandr/optimization/__init__.pyi,sha256=RUSuDgFUJ7wcCdZhSkkmRaegHfsEpOk3Sbdg1Jnun1Q,12040
+jormungandr/optimization/__init__.pyi,sha256=yqZ-a0WYw0zVuY-yYdvXc8qAhbz7GsgkUIne0sfeOuk,12184
 jormungandr/test/cart_pole_util.py,sha256=aSb9yqQlIcWcuAo-njtb_WM9EjLy6Y0okG6tSBwgxlo,2775
 jormungandr/test/differential_drive_util.py,sha256=GAxUxvjSh_91zVCCv5kogkPa_vYWT3Q7YGzT_jkqzZY,1283
 jormungandr/test/rk4.py,sha256=lvrwddRDj9hepEGUVdwhX1crv4KC-ehDRyD8q37PhIU,610
@@ -43,13 +43,13 @@ jormungandr/test/optimization/exit_status_test.py,sha256=a2ZPDToi6zbtBkGhW5fIWnZ
 jormungandr/test/optimization/flywheel_problem_test.py,sha256=kGVKHEXeETgFngW9qiogL1q6zTKLKk2nJE0M4U1w7KE,3282
 jormungandr/test/optimization/linear_problem_test.py,sha256=72tTcoXgaIRBuiFS7GC9xUFKBFtt8I1HOXjg6O0wdNs,1509
 jormungandr/test/optimization/multistart_test.py,sha256=uZhtvnNiabb4padxLtHO3vFO28dYsXlVXL5pr5Cs2cc,1292
-jormungandr/test/optimization/nonlinear_problem_test.py,sha256=dBVbwXs0bkkjo9QL4jfMp3PWxsJC3gv9tdFi5LTEmU4,5042
+jormungandr/test/optimization/nonlinear_problem_test.py,sha256=QI3qvU_J_puZJcQWZc_J3xIrwhLV6wZajkXO7YBIz8o,5645
 jormungandr/test/optimization/quadratic_problem_test.py,sha256=PLRxn4py61Cxi02V1_x6vPYPP5KeljwHj8OKhkRuSsA,4555
 jormungandr/test/optimization/trivial_problem_test.py,sha256=I6lgUa1LQPAi4Ig1PSW0vUuOIvWgczvxPJt6DJ5feBA,1520
-jormungandr/cpp/optimization/solver/bind_exit_status.cpp,sha256=65ASStJ1Ri15TSULF6jp4Z1OYPTj-GrdtIVbhoB6WAc,1474
+jormungandr/cpp/optimization/solver/bind_exit_status.cpp,sha256=WgEOE8jpJEKoM8xRhIn8P5eaEUUrvCEWPh6oyYQtHMo,1596
 jormungandr/cpp/optimization/solver/bind_iteration_info.cpp,sha256=ZInsEYYVeUELXU1zw06b8T47AWR5lGHqSm5QUN8e1eA,1128
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/LICENSE.txt,sha256=nwxb5LL2JfGlD5R530eZ7dm2aEepy57PDyhMunTgahU,1476
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/METADATA,sha256=8LweHMafWpH4n2IWGCnVQnR29EU0gkZidF8KHLIzpJk,12773
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/WHEEL,sha256=fngxx-5BTFmd1JNw7KG2qCOQzyJvOBfE0V1DQWvjZmE,96
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/entry_points.txt,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/RECORD,,
+sleipnirgroup_jormungandr-0.0.1.dev476.dist-info/LICENSE.txt,sha256=nwxb5LL2JfGlD5R530eZ7dm2aEepy57PDyhMunTgahU,1476
+sleipnirgroup_jormungandr-0.0.1.dev476.dist-info/METADATA,sha256=NTV7X1QQ4xc28r7Ri3eEIEsicvX3KAxYOfHx8lU4QkM,12773
+sleipnirgroup_jormungandr-0.0.1.dev476.dist-info/WHEEL,sha256=fngxx-5BTFmd1JNw7KG2qCOQzyJvOBfE0V1DQWvjZmE,96
+sleipnirgroup_jormungandr-0.0.1.dev476.dist-info/entry_points.txt,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+sleipnirgroup_jormungandr-0.0.1.dev476.dist-info/RECORD,,