islpy 2023.2.5__cp312-cp312-macosx_11_0_arm64.whl

islpy/version.py

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

islpy-2023.2.5.dist-info/METADATA

@@ -0,0 +1,74 @@
+Metadata-Version: 2.1
+Name: islpy
+Version: 2023.2.5
+Summary: Wrapper around isl, an integer set library
+Home-page: http://documen.tician.de/islpy
+Author: Andreas Kloeckner
+Author-email: inform@tiker.net
+License: MIT
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Other Audience
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Natural Language :: English
+Classifier: Programming Language :: C++
+Classifier: Programming Language :: Python
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Multimedia :: Graphics :: 3D Modeling
+Classifier: Topic :: Scientific/Engineering
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: Topic :: Scientific/Engineering :: Physics
+Classifier: Topic :: Scientific/Engineering :: Visualization
+Classifier: Topic :: Software Development :: Libraries
+Requires-Python: ~=3.8
+License-File: doc/misc.rst
+Provides-Extra: test
+Requires-Dist: pytest >=2 ; extra == 'test'
+
+islpy: Polyhedral Analysis from Python
+======================================
+
+.. image:: https://gitlab.tiker.net/inducer/islpy/badges/main/pipeline.svg
+    :alt: Gitlab Build Status
+    :target: https://gitlab.tiker.net/inducer/islpy/commits/main
+.. image:: https://github.com/inducer/islpy/workflows/CI/badge.svg?branch=main&event=push
+    :alt: Github Build Status
+    :target: https://github.com/inducer/islpy/actions?query=branch%3Amain+workflow%3ACI+event%3Apush
+.. image:: https://badge.fury.io/py/islpy.svg
+    :alt: Python Package Index Release Page
+    :target: https://pypi.org/project/islpy/
+.. image:: https://zenodo.org/badge/2021524.svg
+    :alt: Zenodo DOI for latest release
+    :target: https://zenodo.org/badge/latestdoi/2021524
+
+islpy is a Python wrapper around Sven Verdoolaege's `isl
+<https://libisl.sourceforge.io/>`_, a library for manipulating sets and
+relations of integer points bounded by linear constraints.
+
+Supported operations on sets include
+
+* intersection, union, set difference,
+* emptiness check,
+* convex hull,
+* (integer) affine hull,
+* integer projection,
+* computing the lexicographic minimum using parametric integer programming,
+* coalescing, and
+* parametric vertex enumeration.
+
+It also includes an ILP solver based on generalized basis reduction, transitive
+closures on maps (which may encode infinite graphs), dependence analysis and
+bounds on piecewise step-polynomials.
+
+Islpy comes with comprehensive `documentation <http://documen.tician.de/islpy>`_.
+
+*Requirements:* islpy needs a C++ compiler to build. It can optionally make use
+of GMP for support of large integers.
+
+One important thing to know about islpy is that it exposes every function in isl
+that is visible in the headers, not just what isl's authors consider its
+documented, public API (marked by ``__isl_export``). These (technically)
+undocumented functions are marked in the islpy documentation. Many of them are useful
+and essential for certain operations, but isl's API stability guarantees do not
+apply to them. Use them at your own risk.

islpy-2023.2.5.dist-info/RECORD

@@ -0,0 +1,8 @@
+islpy-2023.2.5.dist-info/RECORD,,
+islpy-2023.2.5.dist-info/WHEEL,sha256=cfKgMoSp-zPJrSoNUeQfajxX7iB5ANGzAzCvv8m61gI,104
+islpy-2023.2.5.dist-info/misc.rst,sha256=3C_u46XayaGn8Uk_gCYM6sRO0XNTNg9fYf4FBiAlaE8,6337
+islpy-2023.2.5.dist-info/top_level.txt,sha256=txVjJJ85Sa3IMOF6WOh_bTkOyRDWiSW2kQOf8vSPb6M,6
+islpy-2023.2.5.dist-info/METADATA,sha256=LC2vLMgDsmZBSBVPmNMRQiS1FkAp3jbMas7ZUT4eEYk,3130
+islpy/_isl.cpython-312-darwin.so,sha256=4bggZfdjwgFK3YzdcZW89oy_n-p9w_xRAJHizPwc5Q4,8174439
+islpy/version.py,sha256=8BXi4fZjCnlQnuRoYEZfbM9C__EJ5sBNVNVsjYmWgzI,72
+islpy/__init__.py,sha256=hWsa1KSQyZCFwaoN0e7jEigogL9Lq3NK87kXg9Tmivk,38007

islpy-2023.2.5.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: skbuild 0.17.6
+Root-Is-Purelib: false
+Tag: cp312-cp312-macosx_11_0_arm64
+

islpy-2023.2.5.dist-info/misc.rst

@@ -0,0 +1,207 @@
+Installation
+============
+
+This command should install :mod:`islpy`::
+
+    pip install islpy
+
+You may need to run this with :command:`sudo`.
+If you don't already have `pip <https://pypi.python.org/pypi/pip>`_,
+run this beforehand::
+
+    curl -O https://raw.github.com/pypa/pip/master/contrib/get-pip.py
+    python get-pip.py
+
+For a more manual installation, `download the source
+<http://pypi.python.org/pypi/islpy>`_, unpack it, and say::
+
+    python setup.py install
+
+You may also clone its git repository::
+
+    git clone --recursive http://git.tiker.net/trees/islpy.git
+    git clone --recursive git://github.com/inducer/islpy
+
+Wiki and FAQ
+============
+
+A `wiki page <http://wiki.tiker.net/IslPy>`_ is also available, where install
+instructions and an FAQ will grow over time.
+
+For a mailing list, please consider using the `isl list
+<http://groups.google.com/group/isl-development>`_ until they tell us to get
+lost.
+
+License
+=======
+
+islpy is licensed to you under the MIT/X Consortium license:
+
+Copyright (c) 2011 Andreas Klöckner and Contributors.
+
+Permission is hereby granted, free of charge, to any person
+obtaining a copy of this software and associated documentation
+files (the "Software"), to deal in the Software without
+restriction, including without limitation the rights to use,
+copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the
+Software is furnished to do so, subject to the following
+conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
+HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+OTHER DEALINGS IN THE SOFTWARE.
+
+.. note::
+
+    * isl and imath, which islpy depends on, are also licensed under the `MIT
+      license <http://repo.or.cz/w/isl.git/blob/HEAD:/LICENSE>`_.
+
+    * GMP, which used to be a dependency of isl and thus islpy, is no longer
+      required. (but building against it can optionally be requested)
+
+Relation with isl's C interface
+===============================
+
+Nearly all of the bindings to isl are auto-generated, using the following
+rules:
+
+* Follow :pep:`8`.
+* Expose the underlying object-oriented structure.
+* Remove the `isl_` and `ISL_` prefixes from data types, macros and
+  function names, replace them with Python namespaces.
+* A method `isl_printer_print_set` would thus become
+  :meth:`islpy.Printer.print_set`.
+
+See also :ref:`gen-remarks`.
+
+User-visible Changes
+====================
+
+Version 2016.2
+--------------
+.. note::
+
+    This version is currently in development and can be obtained from
+    islpy's version control.
+
+* Update for isl 0.17
+* Add :func:`islpy.make_zero_and_vars`
+
+Version 2016.1.1
+----------------
+
+* Add :func:`islpy.make_zero_and_vars`
+* Do not turn on small-integer optimization by default
+  (to avoid build trouble on old compilers)
+
+Version 2016.1
+--------------
+
+* Update for isl 0.16
+
+Version 2014.2.1
+----------------
+
+* :mod:`islpy` now avoids using 2to3 for Python 3 compatibility.
+
+Version 2014.2
+--------------
+
+* A large number of previously unavailable functions are now exposed.
+
+* Sebastian Pop's `imath <https://github.com/creachadair/imath>`__ support has
+  been merged into the version of isl that ships with :mod:`islpy`. This means
+  that unless a user specifically requests a build against GMP, :mod:`islpy`
+  is (a) entirely self-contained and depends only on a C++ compiler and
+  (b) is entirely MIT-licensed by default.
+
+Version 2014.1
+--------------
+
+* Many classes are now picklable.
+
+* isl's handling of integer's has changed, forcing islpy to make
+  incompatible changes as well.
+
+  Now :class:`islpy.Val` is used to represent all numbers going
+  into and out of :mod:`islpy`. ``gmpy`` is no longer a dependency
+  of :mod:`islpy`. The following rules apply for this interface change:
+
+  * You can pass (up to ``long int``-sized) integers to methods of
+    isl objects without manual conversion to :class:`islpy.Val`.
+    For larger numbers, you need to convert manually for now.
+
+  * All numbers returned from :mod:`islpy` will be of type :class:`islpy.Val`.
+    If they are integers, they can be converted
+
+  * Since upstream made the decision to make ``isl_XXX_do_something_val``
+    not always semantically equivalent to ``isl_XXX_do_something``, the
+    old functions were removed.
+
+    One example of this is ``isl_aff_get_constant``, which returned just
+    the constant, and ``isl_aff_get_constant_val``, which returns the
+    constant divided by the :class:`islpy.Aff`'s denominator as a rational
+    value.
+
+Version 2011.3
+--------------
+
+* Add :meth:`islpy.Set.project_out_except` and friends.
+* Add ``islpy.Set.remove_divs_of_dim_type`` and friends.
+* ``islpy.Dim`` was renamed to :class:`islpy.Space` in isl.
+* ``islpy.Div`` was removed and replaced by :class:`islpy.Aff`
+  wherever it was used previously.
+* ``islpy.BasicSet.as_set`
+  and
+  ``islpy.BasicMap.as_map``
+  were removed.
+* :ref:`automatic-casts` were added.
+* Support for more Python :class:`set`-like behavior was added. In particular,
+  the operators `|`, `&', '-', `<`, `<=`, `>`, `>=`, `==`, `!=` work as expected.
+* Support direct construction from string for objects that have a `read_from_str`
+  method.
+* The constant in a :class:`islpy.Constraint` is now set as the '1'
+  key in a coefficient dictionary in
+  :meth:`islpy.Constraint.eq_from_names`,
+  :meth:`islpy.Constraint.ineq_from_names`, and
+  :meth:`islpy.Constraint.set_coefficients_by_name`.
+
+Version 2011.2
+--------------
+
+* Switch to copy-by-default semantics.
+* A few changes in Python-side functionality.
+* Automatic type promotion in 'self' argument.
+
+Version 2011.1
+--------------
+
+* Initial release.
+
+Documentation Cross-References
+------------------------------
+
+.. class:: unsigned
+
+    See :class:`int`.
+
+.. class:: long
+
+    See :class:`int`.
+
+.. class:: size_t
+
+    See :class:`int`.
+
+.. class:: double
+
+    See :class:`float`.

islpy-2023.2.5.dist-info/top_level.txt

@@ -0,0 +1 @@
+islpy