[doc] updated CtcInverse manual page for contraction on boxes (minor update, Matlab)

Author: SimonRohou

doc/manual/manual/contractors/analytic/ctcinverse.rst

@@ -94,7 +94,7 @@ To represent the vectors :math:`\mathbf{x}\in\mathbb{R}^n` consistent with the c
 
 The contractor can be used as an operator to contract a :math:`n`-d box :math:`[\mathbf{x}]`.
 
-Note that the contraction may be fast but not minimal, depending on your analytic expression. Therefore, you can also combine a ``CtcInverse`` with a ``CtcFixpoint`` to apply the contraction procedure repeatedly until a fixpoint is reached on the same box. The following code corresponds to the next figure, which shows contraction cases in blue and their fixpoint counterparts in red.
+Note that the contraction may be fast but not minimal, depending on your analytic expression. Therefore, you can also combine a ``CtcInverse`` with a ``CtcFixpoint`` to apply the contraction procedure repeatedly until a fixpoint is reached on the same box. The following code corresponds to a contraction revealed in the next figure, which shows contraction cases in blue and their fixpoint counterparts in red.
 
 .. tabs::
 

doc/manual/manual/contractors/analytic/src.m

@@ -18,9 +18,9 @@
 
 % [ctcinv-2-beg]
 z = IntervalVector({{0.0,3.5},{0.0,1.0}});
-DefaultFigure().draw_box(z, {Color().blue(),Color().blue(.1)}); % prior to contraction
+DefaultFigure().draw_box(z, StyleProperties({Color().blue(),Color().blue(.1)})); % prior to contraction
 z = c.contract(z);
-DefaultFigure().draw_box(z, {Color().blue(),Color().white()}); % after one CtcInverse contraction
+DefaultFigure().draw_box(z, StyleProperties({Color().blue(),Color().white()})); % after one CtcInverse contraction
 % z == [ [1.84, 3.5] ; [0, 1] ]
 
 % Combining CtcInverse with a CtcFixpoint: