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 `_, 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 `_, 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 `_ is also available, where install instructions and an FAQ will grow over time. For a mailing list, please consider using the `isl list `_ 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 `_. * 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:`make_zero_and_vars` Version 2016.1.1 ---------------- * Add :func:`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 `_ 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`. :mod:`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 :meth:`islpy.Set.remove_divs_of_dim_type` and friends. * :class:`islpy.Dim` was renamed to :class:`islpy.Space` in isl. * :class:`islpy.Div` was removed and replaced by :class:`islpy.Aff` wherever it was used previously. * :meth:`islpy.BasicSet.as_set` and :meth:`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.