This command should install
pip install islpy
You may need to run this with 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.
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.
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
See also General Remarks.
This version is currently in development and can be obtained from islpy’s version control.
Update for isl 0.17
Do not turn on small-integer optimization by default (to avoid build trouble on old compilers)
Update for isl 0.16
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
islpy. This means that unless a user specifically requests a build against GMP,
islpyis (a) entirely self-contained and depends only on a C++ compiler and (b) is entirely MIT-licensed by default.
Many classes are now picklable.
isl’s handling of integer’s has changed, forcing islpy to make incompatible changes as well.
You can pass (up to
long int-sized) integers to methods of isl objects without manual conversion to
islpy.Val. For larger numbers, you need to convert manually for now.
Since upstream made the decision to make
isl_XXX_do_something_valnot 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
islpy.Aff’s denominator as a rational value.
islpy.Dimwas renamed to
islpy.Divwas removed and replaced by
islpy.Affwherever it was used previously.
islpy.BasicSet.as_set` and ``islpy.BasicMap.as_mapwere removed.
Automatic Casts were added.
Support for more Python
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
islpy.Constraintis now set as the ‘1’ key in a coefficient dictionary in
Switch to copy-by-default semantics.
A few changes in Python-side functionality.
Automatic type promotion in ‘self’ argument.