Docstrings and simplifications of domains.py
[linpy.git] / doc / index.rst
index c5fe0b4..b3a9271 100644 (file)
@@ -6,12 +6,12 @@
 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.
 
-
 Contents:
 
 .. toctree::