sleipnirgroup-jormungandr 0.0.1.dev475__cp310-cp310-macosx_14_0_universal2.whl → 0.0.1.dev476__cp310-cp310-macosx_14_0_universal2.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=0MOh1_NCDMO8wCiUOsvXRsfdKd5PesipWIi4G9leEV0,154
 jormungandr/__init__.pyi,sha256=pwQ9tOAXG2iEGd6i9QIBnON0ynPHIdcHf9aoNCcmGR0,101
-jormungandr/_jormungandr.cpython-310-darwin.so,sha256=IS4v2UIZHwt_kaVecSHYIKo9Lf-meW-ex7Afit3S5B0,2116048
+jormungandr/_jormungandr.cpython-310-darwin.so,sha256=-5TE-or8_xf9pKZrIsnowFd-GRLiWMUMGiQryFxA6tc,2116064
 jormungandr/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 jormungandr/autodiff/__init__.py,sha256=I2e8ciE5IppQ72nNCepqHz6yIZHUlLXMk54AfvJirwc,1416
 jormungandr/autodiff/__init__.pyi,sha256=vUsbibOahtnNqOuC0rYjRWufZeq-99GeO1bC73E0ozA,62206
 jormungandr/control/__init__.py,sha256=Gd7IGIh8mTsW5cjWwHxHpd1nhcjMIdbOqrAs7cvLUVY,37
 jormungandr/cpp/binders.hpp,sha256=X1_f22P4m-wvT91xO4-iJNWiR1uDxgNAMqC91LN_-AQ,1638
-jormungandr/cpp/docstrings.hpp,sha256=cO1a6gslxYNNXqSP8wjFFenG7VxbKQFj349MbbaKOCI,101436
+jormungandr/cpp/docstrings.hpp,sha256=zT2DLriDaOrPLehIYgdwyT2QwrrriYPxYupvYX_csCs,101595
 jormungandr/cpp/main.cpp,sha256=ctz6_8909dfurpEXifglIooC5NNvj7E6mGbCfBUvYMQ,3333
 jormungandr/cpp/try_cast.hpp,sha256=9fWt3z0NRNIXzBv020sD5ffDvyJomTjnSoS2RwZOdwM,1286
 jormungandr/optimization/__init__.py,sha256=xYtHMhKtD4vQdi_XwGIUek8w8RIaqIA8gBgLYmv1SkE,1281
-jormungandr/optimization/__init__.pyi,sha256=PCH91N8BTFTxp3mlkaBrbnZxzIaxGYNJrgvHqwmxAQI,11666
+jormungandr/optimization/__init__.pyi,sha256=oUjN9eZ-_amOda7ImWjteJ-nFl_AcUzAJM6aXis_nJc,11804
 jormungandr/test/cart_pole_util.py,sha256=zbxlK_pOZRZeEf6NfRiJNH1y-70tTQYQfEiETBpu_qI,2667
 jormungandr/test/differential_drive_util.py,sha256=XSsGMGhA8zC-i74WgqWhycdCGUBGb6iFxEv6grj8lVs,1238
 jormungandr/test/rk4.py,sha256=5VLagmfxpqTGKWgvXOfsoGPFxjt_ppqd9l8GkAl79l4,586
@@ -43,13 +43,13 @@ jormungandr/test/optimization/exit_status_test.py,sha256=LSQfvOZxyGhrjdwz8TMPC8F
 jormungandr/test/optimization/flywheel_problem_test.py,sha256=Cv73kIIcww0LRds2iSu9p1xuGUeAswhtCnoBgbunm9g,3167
 jormungandr/test/optimization/linear_problem_test.py,sha256=zV-2Yi3GCnd7JdvH3L8tsAM9_wWofG5Q-peqMbpwSq4,1459
 jormungandr/test/optimization/multistart_test.py,sha256=aKzetp13hRI77P2hUEbzeVhddFULag9Yl1pNHuZ9BjU,1249
-jormungandr/test/optimization/nonlinear_problem_test.py,sha256=n1dYaTKPuK5-HDogNSL5cUsuEURaFQ1xBqAr6NFUYgI,4893
+jormungandr/test/optimization/nonlinear_problem_test.py,sha256=IY1mvG40E3vYFuD1VZQs-gNnSS1y4OKFRw8Lx91xw_E,5477
 jormungandr/test/optimization/quadratic_problem_test.py,sha256=oF1WIeY1aHrODMN2qmOekjWcisOOiewIRsYgseDs2B8,4394
 jormungandr/test/optimization/trivial_problem_test.py,sha256=Hox6MlGCi0sJwm3dqJGxLtpZODEXclnPVRtDHVnnvqg,1473
-jormungandr/cpp/optimization/solver/bind_exit_status.cpp,sha256=ut9osJieWERaqLM67S1DH5qqRBGCktDa2Lrd9o9svv0,1440
+jormungandr/cpp/optimization/solver/bind_exit_status.cpp,sha256=RdKzfSVJbeDOBxEgbpHu__UM-52HBOBdq0KPVLytQcM,1560
 jormungandr/cpp/optimization/solver/bind_iteration_info.cpp,sha256=o5BvqW6BkZb4FlTx_ZTN6yVOFhEecLfRQeuGqty1DoU,1091
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/LICENSE.txt,sha256=GO2ESyxbSNqb8hIL18kdV__AfVOlBY3CRXgXLxGamp0,1465
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/METADATA,sha256=4OCoMWnd5kXUw7fkOPjekZm7JChwbYcjnRXkeG37Qhw,12470
-sleipnirgroup_jormungandr-0.0.1.dev475.dist-info/WHEEL,sha256=yeInA7i3eJWbKg49RLa1hulOTYE3ZqmV0UqwwtJDbkU,106
-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=GO2ESyxbSNqb8hIL18kdV__AfVOlBY3CRXgXLxGamp0,1465
+sleipnirgroup_jormungandr-0.0.1.dev476.dist-info/METADATA,sha256=ChUq0Ayt4Ts6xK1h4fT6TCHX0cdL5l_goT_wbnuHM9o,12470
+sleipnirgroup_jormungandr-0.0.1.dev476.dist-info/WHEEL,sha256=yeInA7i3eJWbKg49RLa1hulOTYE3ZqmV0UqwwtJDbkU,106
+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,,