Remove backup files

Changes that need to be merged

Added some docs

Implement standard widening

Improved example menger.py

Minor changes in plot functions

Add EmptyType and UniverseType

Plot domain added

Use displaystyle in _repr_latex_

Minor improvements in diamonds.py example

Always set xlim, ylim, zlim in plot functions

Improved example diamonds.py

More fun with plots

New example: Menger sponge, to be plotted

Small implementation improvement in linexprs.py

3d Plot working

Simplify Expression.__mul__(), Expression.__truediv__()

Add tesseract example

Add _repr_latex_ methods for IPython prettyprint

Improve error messages in linexprs.py

Cleaner implementation of Rational

Symplify TypeError messages in Expression.__new__

Fix methods Domain._sort_polygon_2d(), Domain._sort_polygon_3d()

Implement method Polyhedron.faces()

Implement methods Point.__hash__(), Vector.__hash__()

Rename coordinates.py into geometry.py

Remove empty lines at top of files

Clean up an import in domains.py

Add abstract class GeometricObject

Remove Vector.__slots__, useless

Make Coordinate instantiable

Make coordinates mandatory in Point constructor

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()