islpy 2023.1.2__cp38-cp38-musllinux_1_1_i686.whl → 2023.2.1__cp38-cp38-musllinux_1_1_i686.whl

islpy/__init__.py

@@ -229,6 +229,15 @@ def _read_from_str_wrapper(cls, context, s, dims_with_apostrophes):
 def _add_functionality():
     import islpy._isl as _isl  # noqa
 
+    # {{{ dim_type
+
+    def dim_type_reduce(v):
+        return (dim_type, (int(v),))
+
+    dim_type.__reduce__ = dim_type_reduce
+
+    # }}}
+
     # {{{ Context
 
     def context_reduce(self):
@@ -251,25 +260,6 @@ def _add_functionality():
 
     # {{{ generic initialization, pickling
 
-    def obj_new(cls, s=None, context=None):
-        """Construct a new object from :class:`str` s.
-
-        :arg context: a :class:`islpy.Context` to use. If not supplied, use a
-            global default context.
-        """
-        if not isinstance(s, str):
-            return cls._prev_new(cls)
-
-        if context is None:
-            context = DEFAULT_CONTEXT
-
-        result = cls.read_from_str(context, s)
-        return result
-
-    def obj_bogus_init(self, s, context=None):
-        if not isinstance(s, str) and self._prev_init is not None:
-            self._prev_init(s)
-
     def generic_reduce(self):
         ctx = self.get_ctx()
         prn = Printer.to_str(ctx)
@@ -287,10 +277,6 @@ def _add_functionality():
 
     for cls in ALL_CLASSES:
         if hasattr(cls, "read_from_str"):
-            cls._prev_new = cls.__new__
-            cls.__new__ = obj_new
-            cls._prev_init = getattr(cls, "__init__", None)
-            cls.__init__ = obj_bogus_init
             cls.__reduce__ = generic_reduce
 
     # }}}
@@ -535,20 +521,6 @@ def _add_functionality():
 
     # {{{ Id
 
-    def id_new(cls, name, user=None, context=None):
-        if context is None:
-            context = DEFAULT_CONTEXT
-
-        result = cls.alloc(context, name, user)
-        result._made_from_python = True
-        return result
-
-    def id_bogus_init(self, name, user=None, context=None):
-        assert self._made_from_python
-        del self._made_from_python
-
-    Id.__new__ = staticmethod(id_new)
-    Id.__init__ = id_bogus_init
     Id.user = property(Id.get_user)
     Id.name = property(Id.get_name)
 
@@ -620,6 +592,7 @@ def _add_functionality():
         return result
 
     Set.get_basic_sets = set_get_basic_sets
+    BasicSet.get_basic_sets = set_get_basic_sets
 
     # }}}
 
@@ -716,6 +689,7 @@ def _add_functionality():
         return result
 
     PwAff.get_pieces = pwaff_get_pieces
+    Aff.get_pieces = pwaff_get_pieces
     PwAff.get_aggregate_domain = pw_get_aggregate_domain
 
     PwQPolynomial.get_pieces = pwqpolynomial_get_pieces
@@ -845,24 +819,6 @@ def _add_functionality():
 
     # {{{ Val
 
-    def val_new(cls, src, context=None):
-        if context is None:
-            context = DEFAULT_CONTEXT
-
-        if isinstance(src, str):
-            result = cls.read_from_str(context, src)
-        elif isinstance(src, int):
-            result = cls.int_from_si(context, src)
-        else:
-            raise TypeError("'src' must be int or string")
-
-        result._made_from_python = True
-        return result
-
-    def val_bogus_init(self, src, context=None):
-        assert self._made_from_python
-        del self._made_from_python
-
     def val_rsub(self, other):
         return -self + other
 
@@ -878,8 +834,6 @@ def _add_functionality():
 
         return int(self.to_str())
 
-    Val.__new__ = staticmethod(val_new)
-    Val.__init__ = val_bogus_init
     Val.__add__ = Val.add
     Val.__radd__ = Val.add
     Val.__sub__ = Val.sub
@@ -903,111 +857,6 @@ def _add_functionality():
 
     # }}}
 
-    # {{{ add automatic 'self' upcasts
-
-    # note: automatic upcasts for method arguments are provided through
-    # 'implicitly_convertible' on the C++ side of the wrapper.
-
-    def make_new_upcast_wrapper(method, upcast):
-        # This function provides a scope in which method and upcast
-        # are not changed from one iteration of the enclosing for
-        # loop to the next.
-
-        def wrapper(basic_instance, *args, **kwargs):
-            special_instance = upcast(basic_instance)
-            return method(special_instance, *args, **kwargs)
-
-        return wrapper
-
-    def make_existing_upcast_wrapper(basic_method, special_method, upcast):
-        # This function provides a scope in which method and upcast
-        # are not changed from one iteration of the enclosing for
-        # loop to the next.
-
-        def wrapper(basic_instance, *args, **kwargs):
-            try:
-                return basic_method(basic_instance, *args, **kwargs)
-            except TypeError:
-                pass
-
-            special_instance = upcast(basic_instance)
-            return special_method(special_instance, *args, **kwargs)
-
-        return wrapper
-
-    def add_upcasts(basic_class, special_class, upcast_method):
-        from functools import update_wrapper
-
-        def my_ismethod(class_, method_name):
-            if method_name.startswith("_"):
-                return False
-
-            method = getattr(class_, method_name)
-
-            if not callable(method):
-                return False
-
-            # Here we're desperately trying to filter out static methods,
-            # based on what seems to be a common feature.
-            if any("builtin_function_or_method" in meth_superclass.__name__
-                    for meth_superclass in type(method).__mro__):
-                return False
-
-            return True
-
-        for method_name in dir(special_class):
-            special_method = getattr(special_class, method_name)
-
-            if not my_ismethod(special_class, method_name):
-                continue
-
-            if hasattr(basic_class, method_name):
-                # method already exists in basic class
-                basic_method = getattr(basic_class, method_name)
-
-                if not my_ismethod(basic_class, method_name):
-                    continue
-
-                wrapper = make_existing_upcast_wrapper(
-                        basic_method, special_method, upcast_method)
-                setattr(
-                        basic_class, method_name,
-                        update_wrapper(wrapper, basic_method))
-            else:
-                # method does not yet exists in basic class
-
-                wrapper = make_new_upcast_wrapper(special_method, upcast_method)
-                setattr(
-                        basic_class, method_name,
-                        update_wrapper(wrapper, special_method))
-
-    for args_triple in [
-            (BasicSet, Set, Set.from_basic_set),
-            (Set, UnionSet, UnionSet.from_set),
-            (BasicSet, UnionSet, lambda x: UnionSet.from_set(Set.from_basic_set(x))),
-
-            (BasicMap, Map, Map.from_basic_map),
-            (Map, UnionMap, UnionMap.from_map),
-            (BasicMap, UnionMap, lambda x: UnionMap.from_map(Map.from_basic_map(x))),
-
-            (Aff, PwAff, PwAff.from_aff),
-            (PwAff, UnionPwAff, UnionPwAff.from_pw_aff),
-            (Aff, UnionPwAff, UnionPwAff.from_aff),
-
-            (MultiAff, PwMultiAff, PwMultiAff.from_multi_aff),
-            (PwMultiAff, UnionPwMultiAff, UnionPwMultiAff.from_pw_multi_aff),
-            (MultiAff, UnionPwMultiAff, UnionPwMultiAff.from_multi_aff),
-
-            (Space, LocalSpace, LocalSpace.from_space),
-            ]:
-        add_upcasts(*args_triple)
-
-    # }}}
-
-    # ORDERING DEPENDENCY: The availability of some of the 'is_equal'
-    # used by rich comparison below depends on the self upcasts created
-    # above.
-
     # {{{ rich comparisons
 
     def obj_eq(self, other):

islpy/version.py

@@ -1,2 +1,2 @@
-VERSION = (2023, 1, 2)
+VERSION = (2023, 2, 1)
 VERSION_TEXT = ".".join(str(i) for i in VERSION)

{islpy-2023.1.2.dist-info → islpy-2023.2.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: islpy
-Version: 2023.1.2
+Version: 2023.2.1
 Summary: Wrapper around isl, an integer set library
 Home-page: http://documen.tician.de/islpy
 Author: Andreas Kloeckner
@@ -24,7 +24,7 @@ Classifier: Topic :: Software Development :: Libraries
 Requires-Python: ~=3.8
 License-File: doc/misc.rst
 Provides-Extra: test
-Requires-Dist: pytest (>=2) ; extra == 'test'
+Requires-Dist: pytest >=2 ; extra == 'test'
 
 islpy: Polyhedral Analysis from Python
 ======================================

islpy-2023.2.1.dist-info/RECORD

@@ -0,0 +1,8 @@
+islpy/_isl.cpython-38-i386-linux-gnu.so,sha256=pkS2q79nrkUJt2JzeO4wU_ALZgQWBY0ZcZPKODSvFeY,7681224
+islpy/__init__.py,sha256=hWsa1KSQyZCFwaoN0e7jEigogL9Lq3NK87kXg9Tmivk,38007
+islpy/version.py,sha256=iIydLYaVSqS5L_LrIcNTSoqzVax-xO-GYJSL3pFtcpU,72
+islpy-2023.2.1.dist-info/METADATA,sha256=WqcylEYSA9pcXhNQyzn0BoGyg7t1bxWWYrGsw4-tN2E,3130
+islpy-2023.2.1.dist-info/misc.rst,sha256=3C_u46XayaGn8Uk_gCYM6sRO0XNTNg9fYf4FBiAlaE8,6337
+islpy-2023.2.1.dist-info/WHEEL,sha256=ofBeWCDG1bJ0ZAX0ZtTYjxX9XMFjk3ZqX6JzRYVtnzg,103
+islpy-2023.2.1.dist-info/RECORD,,
+islpy-2023.2.1.dist-info/top_level.txt,sha256=txVjJJ85Sa3IMOF6WOh_bTkOyRDWiSW2kQOf8vSPb6M,6

{islpy-2023.1.2.dist-info → islpy-2023.2.1.dist-info}/WHEEL

@@ -1,5 +1,5 @@
 Wheel-Version: 1.0
-Generator: bdist_wheel (0.40.0)
+Generator: skbuild 0.17.6
 Root-Is-Purelib: false
 Tag: cp38-cp38-musllinux_1_1_i686
 

islpy-2023.1.2.dist-info/RECORD

@@ -1,10 +0,0 @@
-islpy.libs/libstdc++-8baf04f9.so.6.0.28,sha256=yrzOxg1heyJ9Y-43YCLLn04Cpl_A68FN0D2Q1iBTMcY,2428961
-islpy.libs/libgcc_s-8b50eaaa.so.1,sha256=WXj_FYQE1MDIyb-nN8siUALdxit6NHma0p9UxemQV8o,101649
-islpy-2023.1.2.dist-info/top_level.txt,sha256=txVjJJ85Sa3IMOF6WOh_bTkOyRDWiSW2kQOf8vSPb6M,6
-islpy-2023.1.2.dist-info/misc.rst,sha256=3C_u46XayaGn8Uk_gCYM6sRO0XNTNg9fYf4FBiAlaE8,6337
-islpy-2023.1.2.dist-info/WHEEL,sha256=AzTfZhUr1bOZGZXMYskJq79E2A5aHofIOnA44h3KiKU,109
-islpy-2023.1.2.dist-info/RECORD,,
-islpy-2023.1.2.dist-info/METADATA,sha256=QBHQGw1tqTWkDJ7KhEgoLayr2kJc7Gq8xyizH5EDsSM,3132
-islpy/_isl.cpython-38-i386-linux-gnu.so,sha256=I1X6qRbIZ1iy0B5ap6BD8JXG08aDWukOH6adD9LK1T4,168640185
-islpy/__init__.py,sha256=DyutaAZO72ip5WALAQuYuHN24Tmqu_AC28MUe7BfXYQ,43484
-islpy/version.py,sha256=j6Ue1vP71a-YXx4X8z8J-8391u1jagJteI2OhXF2qqs,72