Change pypol to linpy

diff --git a/doc/domain.rst b/doc/domain.rst
index e45b0fb4ff19d9237cb7c691d5aa6f6daee2d622..7098c32e32c3f868039b5c5b88c456478b082f95 100644 (file)
--- a/doc/domain.rst
+++ b/doc/domain.rst
@@ -17,10 +17,13 @@ Domains Module
     
         Returns a domain as disjoint.
         
     
         Returns a domain as disjoint.
         

-    .. py:method:: involves_vars(self, vars)
-    
-       Returns ``True`` if a domain depends on the given variables.
+    .. py:method:: num_parameters   
+        
+        Returns the total number of parameters, input, output or dimensions in a domain.

         
         

+    .. py:method:: involves_dims(self, dims)
+    
+       Returns ``True`` if a domain depends on the given dimensions. 

         
     The unary properties of a domain can be inspected using the following methods. 
     
         
     The unary properties of a domain can be inspected using the following methods. 
     

diff --git a/doc/examples.rst b/doc/examples.rst
index f3fbfb3ffe54bc429af8f89fb507da6ed77e0b4f..7a390d39a494eac20446074f318f3ce4b1c60112 100644 (file)
--- a/doc/examples.rst
+++ b/doc/examples.rst
@@ -1,4 +1,4 @@
-Pypol Examples
+Linpy Examples

 ==============
 
 Creating a Polyhedron
 ==============
 
 Creating a Polyhedron

diff --git a/doc/index.rst b/doc/index.rst
index b75e85e890d878c4fb12076c9c8169895874e164..97e6157b4c3609f4c97891fb794cef2e5d6624c0 100644 (file)
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -3,13 +3,13 @@
    You can adapt this file completely to your liking, but it should at least
    contain the root `toctree` directive.
 
    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.
-If you are new to Pypol, start with the Tutorial.
+Linpy is a Python library for symbolic mathematics.
+If you are new to Linpy, start with the Examples.

 
 

-This is the central page for all of Pypol's documentation.
+This is the central page for all of Linpy’s documentation.

 
 
 Contents:
 
 
 Contents:

diff --git a/doc/install.rst b/doc/install.rst
index 545e773796c3d5d23801d1152e529da443a9d0bf..a19f9bab33af58102d2849adbde4e107706ceb95 100644 (file)
--- a/doc/install.rst
+++ b/doc/install.rst
@@ -3,21 +3,27 @@
 Installation
 ------------
 
 Installation
 ------------
 

-Dependencies
-============
+Source
+======

 
 

-Pypol requires at least Python3.4. Users will first need to install Integer Set Library (isl). The source files of isl are available as a tarball or a git repository. Both are available `here`_ .  
+Users can install Linpy by cloning the git repository::

 
 

+       git clone https://scm.cri.ensmp.fr/git/pypol.git

 
 

-Source
-======
+Install
+=======

 
 

-add link to pypi pypol documentation.
+…execute `setup.py` 

 
 

-Git
-===
+Dependencies
+============
+
+Linpy has several dependencies. Users will first need to install Integer Set Library (isl). The source files of isl are available as a tarball or a git repository. Both are available `here`_ .  
+
+To use the Linpy plotting function, users need to install matplotlib using instructions in the following `link`_.

 
 

-add link to git repo

 
 
 .. _here: http://freshmeat.net/projects/isl/
 
 
 .. _here: http://freshmeat.net/projects/isl/

+
+.. _link: http://matplotlib.org/faq/installing_faq.html
\ No newline at end of file

diff --git a/doc/modules.rst b/doc/modules.rst
index 2ecf37193c3b19515869c5042918de4c9960b608..0645c7a27b7e87d31133abc6b701ebbb7530ab5e 100644 (file)
--- a/doc/modules.rst
+++ b/doc/modules.rst
@@ -1,9 +1,9 @@
 .. module-docs:
 
 .. module-docs:
 

-Pypol Module Reference
+Linpy Module Reference

 ======================
 
 ======================
 

-There are four main Pypol modules:
+There are four main Linpy modules:

 
 .. toctree::
    :maxdepth: 2
 
 .. toctree::
    :maxdepth: 2