Move isl version test in Domain.vertices outside

Cleaner implementation of Domain.__sub__()

Cleaner implementation of Domain.__or__() (seems slower?)

Cleaner implementation of Domain.__and__()

Check argument type in Domain.project()

Return NotImplemented in Domain special methods

Add method Polyhedron.asinequalities()

Add method Polyhedron.convex_union()

Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument

Switch order of Ge() and Gt() declarations

Drop useless slot inheritance in EmptyType and UniverseType

Add warning in widening documentation

Fix implementation of Polyhedron.__new__()

Remove slot Polyhedron._constraints

More robust implementation of isl_version

Simplify implementation of Coordinates.__new__()

Minor improvements in class Vector

Return NotImplemented in Point special methods

Fix docstring of Point.__sub__()

Format comments in linexprs.py

Define Symbol.__slots__ and Rational.__slots__

Make Dummy.__new__() inherit from Symbol.__new__()

Allow leading underscores in symbols in LinExpr.fromstring()

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