-.. pypol documentation master file, created by
- sphinx-quickstart on Wed Jun 25 20:34:21 2014.
- You can adapt this file completely to your liking, but it should at least
- contain the root `toctree` directive.
-Welcome to pypol's documentation!
+Welcome to LinPy’s documentation!
=================================
-Pypol is a Python library for symbolic mathematics.
-If you are new to Pypol, start with the Tutorial.
+LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_.
+Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
-This is the central page for all of SymPy's documentation.
+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 read the :ref:`tutorial`.
+For a comprehensive description of its functionalities, please consult the :ref:`reference`.
-Contents:
+.. only:: html
+
+ Contents:
.. toctree::
- :maxdepth: 2
+ :maxdepth: 2
+
+ install.rst
+ tutorial.rst
+ reference.rst
- install.rst
- examples.rst
- modules.rst
+.. only:: html
+ Indices and tables
+ ==================
+ * :ref:`genindex`
+ * :ref:`search`