From d292b5abd7e9fa247591b0ac0c3697e4a902e2ae Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Wed, 8 May 2024 10:47:09 +0200
Subject: Expose ArchimedeanSet with make_set

---
 sumofsquares/__init__.py | 4 ++++
 1 file changed, 4 insertions(+)

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] = (),
-- 
cgit v1.2.1