[doc] minor update (ctcOut)

README.md

@@ -10,6 +10,7 @@ Functions called *contractors* are available to reduce these sets of trajectorie
 Computations stands on interval analysis and are, therefore, performed in a guaranteed way.
 Tubex is compatible with the [IBEX library](http://www.ibex-lib.org), itself relying on reliable numerical libraries such as [Filib](http://www2.math.uni-wuppertal.de/~xsc/software/filib.html).
 
+
 Documentation
 -------------
 
@@ -22,7 +23,8 @@ Documentation
 Licence
 -------
 
-This software is under [GNU General Public License](https://www.gnu.org/copyleft/gpl.html).
+This software is under [GNU Lesser General Public License](https://www.gnu.org/copyleft/lgpl.html).
+
 
 Python extension
 ----------------

doc/source/how_to.rst

@@ -206,7 +206,7 @@ Differential constraint
 ^^^^^^^^^^^^^^^^^^^^^^^
 
 The contractor :math:`\mathcal{C}_{\frac{d}{dt}}` relies on the differential constraint :math:`\dot{x}=v`, with :math:`x(\cdot)\in[x](\cdot)`, :math:`v(\cdot)\in[v](\cdot)`.
-It is applicable through the method :code:`ctcFwdBwd()`.
+It is applicable by the method :code:`ctcFwdBwd()`.
 This has been the subject of the paper `Guaranteed computation of robot trajectories <http://simon-rohou.fr/research/tubint/tubint_paper.pdf>`_.
 
 *Note:* a contraction cannot be expected for the tube :math:`[v](\cdot)`.
@@ -221,7 +221,7 @@ Observation constraint
 ^^^^^^^^^^^^^^^^^^^^^^
 
 The contractor :math:`\mathcal{C}_{\textrm{obs}}` relies on the observation constraint :math:`y=x(t)`, with :math:`t\in[t]`, :math:`y\in[y]`, :math:`x(\cdot)\in[x](\cdot)`.
-It is applicable through the method :code:`ctcObs()`.
+It is applicable by the method :code:`ctcObs()`.
 This will be the subject of the paper *Reliable non-linear state estimation involving time uncertainties*.
 
 *Note:* the derivative tube :math:`[v](\cdot)` is required.
@@ -238,8 +238,8 @@ This will be the subject of the paper *Reliable non-linear state estimation invo
 Non-observation constraint
 ^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-The contractor :math:`\mathcal{C}_{\textrm{out}}` relies on the observation constraint :math:`y\not=x(t)`, with :math:`t\in[t]`, :math:`y\in[y]`, :math:`x(\cdot)\in[x](\cdot)`.
-It is applicable through the method :code:`ctcOut()`.
+The contractor :math:`\mathcal{C}_{\textrm{out}}` relies on the observation constraint :math:`y\not=x(t)`, :math:`\forall t\in[t],y\in[y]`, :math:`x(\cdot)\in[x](\cdot)`.
+It is applicable by the method :code:`ctcOut()`.
 
 *Note:* a contraction cannot be expected for :math:`[t]` or :math:`[y]`.
 
@@ -255,7 +255,7 @@ Inter-temporal constraint
 ^^^^^^^^^^^^^^^^^^^^^^^^^
 
 The contractor :math:`\mathcal{C}_{t_1,t_2}` relies on the observation constraint :math:`x(t_1)=x(t_2)`, with :math:`t_1\in[t_1]`, :math:`t_2\in[t_2]`, :math:`x(\cdot)\in[x](\cdot)`.
-It is applicable through the method :code:`ctcIntertemporal()`.
+It is applicable by the method :code:`ctcIntertemporal()`.
 This will be the subject of the paper *Loop-based localization method for mobile robots*.
 
 *Note:* in this implementation, a contraction cannot be expected for the tube :math:`[x](\cdot)`.