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__

Add __slots__ declarations

Implement Polyhedron.fromstring

Implement Expression.fromstring

Coding style in _toisl()

Expression.symbol moved to Symbol.name

Constant names Empty and Universe, pretty printing

Remove useless imports

values used for toisl(some expressions not correct)

Working test suite

Fix symbols() function

Fix Expression.__bool__

Fix Expression.__hash__

Fix Symbol creation

Classes Symbol and Constant, rather than functions (à la SymPy)

Fix Polyhedron.isempty()

Remove misplaced methods

Rename Expression._canonify() into _toint()

Improvements in decorators, data types, caches

Initialize isl.Context using super's initializer

Get rid of weird comment

Implement BasicSet.__del__

Simplify BasicSet.__str__

Rename islhelper into _isl

Global context

Implement IslObjects, delete Value

Code cleanup

recent update to isl no errors!!

Makefile for virtualenv

Add islhelper.c library to handle isl constants

no errors: dim type and id value updated