LinPy is a free software, licensed under the `GPLv3 license <http://www.gnu.org/licenses/gpl-3.0.txt>`_.
Its source code is available `here <https://scm.cri.mines-paristech.fr/git/linpy.git>`_.
-To have an overview of LinPy's features, you may wish to consult the :ref:`tutorial` section.
-For a comprehensive description of its functionalities, see the :ref:`reference` section.
+To have an overview of LinPy's features, you may wish to read the :ref:`tutorial`.
+For a comprehensive description of its functionalities, please consult the :ref:`reference`.
.. only:: html
tutorial.rst
reference.rst
+
.. only:: html
Indices and tables
Installation
============
+
+.. _install_dep:
+
Dependencies
------------
Apart from isl, there are two optional dependencies that will maximize the use of LinPy's functions: `SymPy <http://sympy.org/en/index.html>`_ and `matplotlib <http://matplotlib.org/>`_.
Please consult the `SymPy download page <http://sympy.org/en/download.html>`_ and `matplotlib installation instructions <http://matplotlib.org/faq/installing_faq.html#how-to-install>`_ to install these libraries.
+
+.. _install_pip:
+
Install Using pip
-----------------
sudo pip install linpy
+
.. _install_source:
Install From Source
================
+.. _reference_symbols:
+
Symbols
-------
True
+.. _reference_linexprs:
+
Linear Expressions
------------------
See the documentation of :class:`fractions.Fraction` for more information and examples.
+.. _reference_polyhedra:
+
Polyhedra
---------
The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty.
+.. _reference_domains:
+
Domains
-------
Convert the domain to a sympy expression.
+.. _reference_operators:
+
Comparison and Logic Operators
------------------------------
Create the complementary domain of the domain given in argument.
+.. _reference_geometry:
+
Geometric Objects
-----------------
========
This section a short introduction to some of LinPy's features.
-For a comprehensive description of its functionalities, please consult the :ref:`reference` section.
+For a comprehensive description of its functionalities, please consult the :ref:`reference`.
+.. _tutorial_polyhedra:
+
Polyhedra
---------
False
+.. _tutorial_domains:
+
Domains
-------
Or(Ge(-x - 1, 0), Ge(x - 3, 0), And(Ge(x, 0), Ge(-x + 2, 0), Ge(-y - 1, 0)), And(Ge(x, 0), Ge(-x + 2, 0), Ge(y - 3, 0)))
+.. _tutorial_plot:
+
Plotting
--------