projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Format comments in linexprs.py
[linpy.git]
/
doc
/
index.rst
diff --git
a/doc/index.rst
b/doc/index.rst
index
12f6f4e
..
a1809d6
100644
(file)
--- a/
doc/index.rst
+++ b/
doc/index.rst
@@
-1,25
+1,30
@@
-.. 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
.
-I
f you are new to Pypol, start with the Tutorial
.
+
LinPy is a polyhedral library for Python based on `isl <http://isl.gforge.inria.fr/>`_
.
+I
nteger 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.ensmp.fr/git/linpy.git>`_.
+To have an overview of LinPy's functionalities, you may wish to consult the :ref:`examples` section.
-Contents:
+.. only:: html
+
+ Contents:
.. toctree::
.. toctree::
- :maxdepth: 2
+
:maxdepth: 2
- install.rst
- examples.rst
-
modules
.rst
+
install.rst
+
examples.rst
+
reference
.rst
+.. only:: html
+ Indices and tables
+ ==================
+ * :ref:`genindex`
+ * :ref:`search`