Cosmetic changes in documentation
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 20:34:50 +0000 (22:34 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 20:34:50 +0000 (22:34 +0200)
doc/install.rst
doc/reference.rst

index 9b4b97c..339b6c6 100644 (file)
@@ -8,8 +8,8 @@ Dependencies
 LinPy requires Python version 3.4 or above to work.
 
 LinPy's one mandatory dependency is `isl <http://isl.gforge.inria.fr/>`_ version 0.12 or 0.13 (it may work with other versions of isl, but this has not been tested).
-isl can be downloaded `here <http://freshmeat.net/projects/isl/>`_ or preferably, using your favorite distribution's package manager.
-For Ubuntu, the command to run is::
+isl can be downloaded `here <http://freshmeat.net/projects/isl/>`_ or preferably, using your favorite package manager.
+For Debian or Ubuntu, the command to run is::
 
     sudo apt-get install libisl-dev
 
@@ -20,8 +20,8 @@ For Arch Linux, run::
 Apart from isl, there are two optional dependencies that will maximize the use of LinPy's functions: `SymPy <http://sympy.org/en/index.html>`_ and `matplotlib <http://matplotlib.org/>`_.
 Please consult the `SymPy download page <http://sympy.org/en/download.html>`_ and `matplotlib installation instructions <http://matplotlib.org/faq/installing_faq.html#how-to-install>`_ to install these libraries.
 
-pip
----
+Install Using pip
+-----------------
 
 .. warning::
 
@@ -34,8 +34,8 @@ LinPy can be installed using pip with the command::
 
 .. _source:
 
-Source
-------
+Install From Source
+-------------------
 
 Alternatively, LinPy can be installed from the source.
 First, clone the public git repository::
index e649227..8e36056 100644 (file)
@@ -173,7 +173,6 @@ For example, if ``x`` is a :class:`Symbol`, then ``x + 1`` is an instance of :cl
         >>> x < y
         Le(x - y + 1, 0)
 
-
     .. method:: scaleint()
 
         Return the expression multiplied by its lowest common denominator to make all values integer.
@@ -303,6 +302,7 @@ This space can be unbounded.
 
     The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty.
 
+
 Domains
 -------