Fix LinExpr.subs() implementation

Variable renaming in LinExpr.scaleint()

Fix Symbol == LinExpr comparisons

Simplify LinExpr.values()

Simplify LinExpr.coefficients()

Make LinExpr.coefficient() always return a Fraction

Do not cast values returned by LinExpr accessors to Rational

Symplify class verification in LinExpr.fromsympy()

Reorder functions in linexprs.py

Check symbol names

Simplify class verification in LinExpr.fromstring()

Docstrings

Fix typo in doc/reference.rst

Rename Expression class into LinExpr

Fix unitary tests

Last-minute changes in the documentation

Fix small grammar mistakes in doc

Cleanup in doc/install.rst

Reformat documentation.

Remove license and add to doc examples

Add license to examples

Doc updates (not complete)

Fix typo in __init__.py docstring

Add url to setup.py

Docstrings and simplifications of domains.py

Update Docs

Fix warnings in documentation generation

Small changes to docs as recommended

Update plot examples

Update docs

Rename pypol into LinPy

Fix unitary tests

Fix license headers

Add GPL License

Change pypol to linpy

Change name of method

Remove and edit method

Need to merge

Better initialization of Rational

Fix indentation of docstrings

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