X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/d9ce6feb2d36e40e83326744f1d4ff3890d1874f..37902ff90b8bfe94b10bd1a99ddd6e040cede027:/doc/index.rst diff --git a/doc/index.rst b/doc/index.rst index 97e6157..ce346f1 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -1,25 +1,32 @@ -.. 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 Linpy’s documentation! +Welcome to LinPy’s documentation! ================================= -Linpy is a Python library for symbolic mathematics. -If you are new to Linpy, start with the Examples. +LinPy is a polyhedral library for Python based on `isl `_. +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 Linpy’s documentation. +LinPy is a free software, licensed under the `GPLv3 license `_. +Its source code is available `here `_. +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`