X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/d9ce6feb2d36e40e83326744f1d4ff3890d1874f..3ffceb83a27c41c65afe87e4370ad5f07ba0a093:/doc/index.rst diff --git a/doc/index.rst b/doc/index.rst index 97e6157..fee1edf 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -1,25 +1,31 @@ -.. 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 consult the :ref:`tutorial` section. +For a comprehensive description of its functionalities, see the :ref:`reference` section. -Contents: +.. only:: html + + Contents: .. toctree:: - :maxdepth: 2 + :maxdepth: 2 - install.rst - examples.rst - modules.rst + install.rst + tutorial.rst + reference.rst +.. only:: html + Indices and tables + ================== + * :ref:`genindex` + * :ref:`search`