Mention that we use Z-polyhedra

Update docstrings to reflect documentation changes

In documentation, say that LinExpr.__eq__() does not return a Polyhedron

Update reference examples to match the tutorial

Update documentation to match __repr__() changes

Improve readability of Polyhedron.__repr__()

Remove an unused import

Centralize version information

Fix unitary tests

Reformat examples

Reformat examples/README.rst

Add labels to documentation sections

ensmp -> mines-paristech

Filler texts in documentation

Replace examples by tutorial in documentation

Cosmetic changes in documentation

isl url in documentation

Improve comparison methods in LinExpr

Improve functions Lt, Le, Eq, Ne, Ge, Gt

Format comments in domains.py

Fix docstrings of And(), Or(), Not()

Document function And() before Or()

ISL -> isl

Change the order of elements in __init__.py

sympy -> SymPy in docstrings

Fix error message in Domain.plot()

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