Docstrings and simplifications of domains.py

[linpy.git] / doc / index.rst

diff --git a/doc/index.rst b/doc/index.rst
index c5fe0b4..b3a9271 100644 (file)
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -6,12 +6,12 @@
 Welcome to LinPy’s documentation!
 =================================
 
 Welcome to LinPy’s documentation!
 =================================
 

-LinPy is a Python library for symbolic mathematics.
+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.
 
 If you are new to LinPy, start with the Examples.
 
 This is the central page for all of LinPy’s documentation.
 

-

 Contents:
 
 .. toctree::
 Contents:
 
 .. toctree::