Docstrings and simplifications of domains.py

[linpy.git] / doc / index.rst

diff --git a/doc/index.rst b/doc/index.rst
index 97e6157..b3a9271 100644 (file)
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -1,16 +1,16 @@
-.. 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.
 
    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 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. 

 
 

-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:
 
 
 Contents: