catch inconsistent inputs

- checking if u and U are consistent
- solve issue with __init__ making code completionts impossible

Author: alphaville

python/opengen/__init__.py

@@ -1,7 +1,19 @@
-import opengen.definitions
-import opengen.builder
-import opengen.config
-import opengen.functions
-import opengen.constraints
-import opengen.tcp
-import opengen.ocp
+from . import (
+	definitions,
+	builder,
+	config,
+	functions,
+	constraints,
+	tcp,
+	ocp,
+)
+
+__all__ = [
+	"definitions",
+	"builder",
+	"config",
+	"functions",
+	"constraints",
+	"tcp",
+	"ocp",
+]

python/opengen/builder/optimizer_builder.py

@@ -645,6 +645,15 @@ def __initialize(self):
 
     def __check_user_provided_parameters(self):
         self.__logger.info("Checking user parameters")
+        
+        # Check constraints dimensions
+        dim_constraints = self.__problem.constraints.dimension()        
+        dim_decision_variables = self.__problem.dim_decision_variables()
+        if dim_constraints is not None and dim_decision_variables != dim_constraints:
+            raise ValueError(f"Inconsistent dimensions - decision variables: {dim_decision_variables}", 
+                             f"set of constraints: {dim_constraints}")
+        
+        # Preconditioning...
         if self.__solver_config.preconditioning:
             # Preconditioning is not allowed when we have general ALM-type constraints of the form
             # F1(u, p) in C, unless C is {0} or an orthant (special case of rectangle).

python/test/test_constraints.py

@@ -622,7 +622,7 @@ def test_dimension_sphere2(self):
     # Zero
     # -----------------------------------------------------------------------
 
-    def test_zero_dimension(self):
+    def test_zero_dimension(self):        
         z = og.opengen.constraints.Zero()
         self.assertIsNone(z.dimension())