X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/3ed20034d218d5d5245353b8de566b5c27dcc727..148dae3a90146e4b1c5a32d1803a0a2ff66f9deb:/doc/index.rst?ds=sidebyside diff --git a/doc/index.rst b/doc/index.rst index 0c5738e..b3a9271 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -1,24 +1,25 @@ -.. pypol documentation master file, created by +.. LinPy 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! ================================= -Since Pythagoras, we know that :math:`c = \sqrt{a^2 + b^2}`. +LinPy is a Python wrapper for the Integer Set Library (isl) by Sven Verdoolaege. Isl ia a C library for manipulating sets and relations of integer points bounded by linear constraints. + +If you are new to LinPy, start with the Examples. + +This is the central page for all of LinPy’s documentation. Contents: .. toctree:: :maxdepth: 2 + install.rst + examples.rst + modules.rst -Indices and tables -================== - -* :ref:`genindex` -* :ref:`modindex` -* :ref:`search`