Implement method Point.aspolyhedron()

Implement methods Polyhedron.__contains__(), Domain.__contains__()

Improve mapping recognition

Remove duplicate methods in coordinates.py, continued

Remove duplicate methods in coordinates.py

Private methods to sort points in a polygon, untested

Derive Point and Vector from Coordinates abstract class

New module coordinates.py

Fix Polyhedron.vertices() for ISL 0.13

Add plot method

fixed vertices pushed before adding plot

Getting vertices when version < 0.13

Add methods Domain.subs(), Polyhedron.subs()

Hacky way to get vertices with ISL 0.13

Raise ValueError when sampling an empty Domain

Make Domain.sample() consistent with Domain.points()

Minor improvements in testing of new expressions

Rename Domain.polyhedral_hull() into Domain.aspolyhedron()

Rename Domain.project_out() into Domain.project()

Minor refactoring of Domain.points()

Reintroduce isl_basic_set_finalize to fix test cases

Add vertices and points, messy!

Add helper function islhelper.isl_vertices_vertices()

Simplify C code

Move isl_basic_set_finalize from C code to Python

Add helper function islhelper.isl_set_points()

Better implementation of Expression.__repr__

Improve tests involving iterators

Swap order of symbols and Dummy

Add methods may be useful for larger polys, change format of printing

Better implementation of NSAD'10 example

Support for dummy symbols

Add a few tests with universe and empty

Fix examples

Implementation of Symbol.sortkey()

Implementation of Domain.fromsympy(), tosympy()

Rename Constant into Rational

Cleaner and faster linear expressions

Drop_dims working for any order!

Update drop_dims, now works with more than 2 dims passed

Add to drop_dims check next value, a little sloppy

New example: basic implementation of ACI'10

Make symbolnames return a tuple

Helper module for sympy in unitary tests

Fix tests for Expression.subs

New method Expression.subs

Helper functions symbolname and symbolnames

Better implementation of symbols and constants

Improve hash functions in linexprs

Add missing classmethod decorator

Overloading for Domains.project_out(), to be improved

Alternative implementation of projection

Let's test complement, not compliment

Fix make test

Add diamond example

Add basic tests for drop_dims

Remove print statement

Project_out working

Commit working basic drop constraints

Remove explicit calls to magic methods in test files

Make test work

Fix C code

pushing recent changes before playing with project

Use OrderedDict to store Expression coefficients

added unbounded test, deleted unused cvariable

added a few tests, might change the format though

Access to ISL version, just in case

Minor improvements to Polyhedra._fromislbasicset(), _toislbasicset()

Improve Expression.fromstring(), Domain.fromstring()

Replace Polyhedron.fromstring() by Domain.fromstring()

Add method Domain.isbounded()

I prefer Rochefort to Le Bardo ;)

Documentation directory

Remove useless definitions in Makefile

Improve make clean

README on how to run examples

New example from French Baccalauréat 2014 (courtesy of Pierre Guillou)

Create example directory

Add demonstration file

Split linear.py and add domains

messy and needs reformatting but returning correct values for now

Rename decorator _with_sympy into _requires_sympy

Change string representations of Expression and Polyhedron

Unitary tests for Polyhedron, very incomplete

Methods Polyhedron.fromsympy(), Polyhedron.tosympy()

Check for SymPy presence in unittary tests

Methods Expression.fromsympy(), Expression.tosympy()

Renaming in _isl.c

Static functions in isl.c

Verbose output for make test

Oops, fix relative imports

Use PyList_SET_ITEM for list initialization in _isl.c

Exception handling in _isl.c

Remove useless header in _isl.c

Include Python.h headers first in _isl.c

Updated Makefile

Implement isl_basic_set_constraints

Improve representation of Constants

Improve Polyhedron.fromstring

Fix Symbol.__slots__