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