From: Vivien Maisonneuve Date: Tue, 19 Aug 2014 20:34:50 +0000 (+0200) Subject: Cosmetic changes in documentation X-Git-Tag: 1.0~20 X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/commitdiff_plain/dbe638f61f1927ee6f3dffaaf2dc34418725f50a Cosmetic changes in documentation --- diff --git a/doc/install.rst b/doc/install.rst index 9b4b97c..339b6c6 100644 --- a/doc/install.rst +++ b/doc/install.rst @@ -8,8 +8,8 @@ Dependencies LinPy requires Python version 3.4 or above to work. LinPy's one mandatory dependency is `isl `_ 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 `_ or preferably, using your favorite distribution's package manager. -For Ubuntu, the command to run is:: +isl can be downloaded `here `_ 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 `_ and `matplotlib `_. Please consult the `SymPy download page `_ and `matplotlib installation instructions `_ 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:: diff --git a/doc/reference.rst b/doc/reference.rst index e649227..8e36056 100644 --- a/doc/reference.rst +++ b/doc/reference.rst @@ -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 -------