summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2024-05-08 10:47:09 +0200
committerNao Pross <np@0hm.ch>2024-05-08 10:47:09 +0200
commitd292b5abd7e9fa247591b0ac0c3697e4a902e2ae (patch)
treea202da6f330a6458fde45af854e5ec3b37a85aba
parentRewrite and rename solve_cone to solve_sos_cone with new structure (diff)
downloadsumofsquares-d292b5abd7e9fa247591b0ac0c3697e4a902e2ae.tar.gz
sumofsquares-d292b5abd7e9fa247591b0ac0c3697e4a902e2ae.zip
Expose ArchimedeanSet with make_set
-rw-r--r--sumofsquares/__init__.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/sumofsquares/__init__.py b/sumofsquares/__init__.py
index 27f5e87..71aafde 100644
--- a/sumofsquares/__init__.py
+++ b/sumofsquares/__init__.py
@@ -61,6 +61,10 @@ def make_sos_constraint(expr: Expression, domain: Set | None = None) -> NonNegat
return NonNegative(expr, domain)
+def make_set(*polynomials: Iterable[Expression]):
+ return ArchimedeanSet(polynomials)
+
+
def make_problem(
cost: Expression,
constraints: Iterable[Constraint] = (),