islpy 2025.2.4__cp312-cp312-macosx_11_0_arm64.whl → 2025.2.5__cp312-cp312-macosx_11_0_arm64.whl

islpy/_isl.pyi

@@ -1976,6 +1976,8 @@ class MultiVal:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -2558,6 +2560,8 @@ class Aff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -2900,6 +2904,8 @@ class PwAff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -3048,6 +3054,8 @@ class UnionPwAff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -3122,6 +3130,8 @@ class MultiId:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -3506,6 +3516,8 @@ class MultiAff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -3826,6 +3838,8 @@ class PwMultiAff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -3999,6 +4013,8 @@ class UnionPwMultiAff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -4238,6 +4254,8 @@ class MultiPwAff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -4429,6 +4447,8 @@ class MultiUnionPwAff:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -4557,6 +4577,8 @@ class Constraint:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __str__ = islpy._monkeypatch.generic_str
 
     __repr__ = islpy._monkeypatch.generic_repr
@@ -4926,6 +4948,8 @@ class LocalSpace:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __str__ = islpy._monkeypatch.generic_str
 
     __repr__ = islpy._monkeypatch.generic_repr
@@ -5483,6 +5507,8 @@ class BasicSet:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -6242,6 +6268,8 @@ class BasicMap:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -6748,6 +6776,8 @@ class Set:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -7425,6 +7455,8 @@ class Map:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -7624,6 +7656,8 @@ class UnionSet:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -7940,6 +7974,8 @@ class UnionMap:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -7988,6 +8024,8 @@ class Point:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __str__ = islpy._monkeypatch.generic_str
 
     __repr__ = islpy._monkeypatch.generic_repr
@@ -8162,6 +8200,8 @@ class QPolynomial:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __str__ = islpy._monkeypatch.generic_str
 
     __repr__ = islpy._monkeypatch.generic_repr
@@ -8333,6 +8373,8 @@ class PwQPolynomial:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -8391,6 +8433,8 @@ class QPolynomialFold:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __str__ = islpy._monkeypatch.generic_str
 
     __repr__ = islpy._monkeypatch.generic_repr
@@ -8522,6 +8566,8 @@ class PwQPolynomialFold:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str
@@ -8626,6 +8672,8 @@ class UnionPwQPolynomialFold:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __str__ = islpy._monkeypatch.generic_str
 
     __repr__ = islpy._monkeypatch.generic_repr
@@ -8743,6 +8791,8 @@ class UnionPwQPolynomial:
 
     get_var_names = islpy._monkeypatch.obj_get_var_names
 
+    get_var_names_not_none = islpy._monkeypatch.obj_get_var_names_not_none
+
     __reduce__ = islpy._monkeypatch.generic_reduce
 
     __str__ = islpy._monkeypatch.generic_str

islpy/_monkeypatch.py

@@ -616,10 +616,34 @@ def obj_get_var_ids(
 
 
 @_memoize_on_first_arg
-def obj_get_var_names(self: HasSpace, dimtype: _isl.dim_type) -> Sequence[str | None]:
-    """Return a list of dim names (in order) for :class:`dim_type` *dimtype*."""
+def obj_get_var_names_not_none(
+            self: HasSpace,
+            dimtype: _isl.dim_type,
+        ) -> Sequence[str]:
+    """Return a list of dim names (in order) for :class:`dim_type` *dimtype*.
+
+    Raise :exc:`ValueError` if any of the names is *None*.
+
+    .. versionadded:: 2025.2.5
+    """
+    ndim = self.dim(dimtype)
+    res = [n
+        for i in range(ndim)
+        if (n := self.get_dim_name(dimtype, i)) is not None]
+    if len(res) != ndim:
+        raise ValueError("None encountered in dim names")
+    return res
+
+
+@_memoize_on_first_arg
+def obj_get_var_names(
+            self: HasSpace,
+            dimtype: _isl.dim_type,
+        ) -> Sequence[str | None]:
+    """Return a list of dim names (in order) for :class:`dim_type` *dimtype*.
+    """
     return [self.get_dim_name(dimtype, i)
-        for i in range(self.dim(dimtype))]
+            for i in range(self.dim(dimtype))]
 
 
 def pwaff_get_pieces(self: _isl.PwAff | _isl.Aff) -> list[tuple[_isl.Set, _isl.Aff]]:
@@ -1037,6 +1061,7 @@ for cls in ALL_CLASSES:
         cls.get_var_dict = obj_get_var_dict
         cls.get_var_ids = obj_get_var_ids
         cls.get_var_names = obj_get_var_names
+        cls.get_var_names_not_none = obj_get_var_names_not_none
 
     # }}}
 

{islpy-2025.2.4.dist-info → islpy-2025.2.5.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: islpy
-Version: 2025.2.4
+Version: 2025.2.5
 Summary: Wrapper around isl, an integer set library
 Author-Email: Andreas Kloeckner <inform@tiker.net>
 License-Expression: MIT

islpy-2025.2.5.dist-info/RECORD

@@ -0,0 +1,9 @@
+islpy/_isl.cpython-312-darwin.so,sha256=L0xSqcH53ZNJzmqWcHtEk8v1pkO04eskIdH5Zs64Wyo,7927080
+islpy/version.py,sha256=9KVEg7OX9uCaA6ElUMeiAh-zDrxsy3u2H6VQm_-LTUE,301
+islpy/__init__.py,sha256=0AdPhWQMf1DUB5DDisLP39rN0djxueftEWqfX4_R5Hk,13363
+islpy/_isl.pyi,sha256=c9l3pXn3DEtGO0WscxXu6RsfK1WseF0hdE7oFncXUnA,262025
+islpy/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+islpy/_monkeypatch.py,sha256=3ji2nD8gYxY59qwjJiasmeKOI0oSbrxEiXbswjmJXoU,34881
+islpy-2025.2.5.dist-info/RECORD,,
+islpy-2025.2.5.dist-info/WHEEL,sha256=jwI1UV7t8eDr7vFsaDCZqQcuoACnouNl_14QAy0dZhI,141
+islpy-2025.2.5.dist-info/METADATA,sha256=dFfe1_neHbSBhU6nwxnsMoO3bNIt1zonZaKdTbVDIbw,2966

islpy-2025.2.4.dist-info/RECORD

@@ -1,9 +0,0 @@
-islpy/_isl.cpython-312-darwin.so,sha256=L0xSqcH53ZNJzmqWcHtEk8v1pkO04eskIdH5Zs64Wyo,7927080
-islpy/version.py,sha256=9KVEg7OX9uCaA6ElUMeiAh-zDrxsy3u2H6VQm_-LTUE,301
-islpy/__init__.py,sha256=0AdPhWQMf1DUB5DDisLP39rN0djxueftEWqfX4_R5Hk,13363
-islpy/_isl.pyi,sha256=OI3MI4rqq4XZ3CTXTbmS__lClCMynkL9MxERZ-KgWLk,260125
-islpy/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-islpy/_monkeypatch.py,sha256=80xulld5N-jIJbWLGBYSuPnO1CG1N-Z3jVgiNRkkJ9U,34216
-islpy-2025.2.4.dist-info/RECORD,,
-islpy-2025.2.4.dist-info/WHEEL,sha256=jwI1UV7t8eDr7vFsaDCZqQcuoACnouNl_14QAy0dZhI,141
-islpy-2025.2.4.dist-info/METADATA,sha256=bCRATmwgpiAGBbVa21X7Cqg9fPZNkdFDnuXO4_80yn8,2966