[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed few typo

[Fabio Biselli]

Module: ppl/ppl
Branch: floating_point
Commit: 19b136f854184406ad4ce422922dd816f6f4dc41
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19b136f854184406ad4ce422922dd816f6f4dc41

Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date:   Wed Sep  9 19:39:19 2009 +0200

Fixed few typo

---

 doc/ppl.sty                                        |    1 +
 src/Difference_Floating_Point_Expression.defs.hh   |    8 ++++----
 src/Division_Floating_Point_Expression.defs.hh     |    4 ++--
 ...ultiplication_Floating_Point_Expression.defs.hh |    5 +++--
 4 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/doc/ppl.sty b/doc/ppl.sty
index 27055c5..7b3a550 100644
--- a/doc/ppl.sty
+++ b/doc/ppl.sty
@@ -24,6 +24,7 @@
 \ProvidesPackage{ppl}
 \RequirePackage{amsmath}
 \RequirePackage{amssymb}
+\RequirePackage{stmaryrd}
 
 %% Calligraphic alphabet
 \newcommand*{\cA}{\ensuremath{\mathcal{A}}}
diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh
index cea8ac3..ae56a81 100644
--- a/src/Difference_Floating_Point_Expression.defs.hh
+++ b/src/Difference_Floating_Point_Expression.defs.hh
@@ -85,13 +85,13 @@ namespace Parma_Polyhedra_Library {
   \f[
   \linexpr{e_{1} \ominus e_{2}}\rho^{\#} =
   \linexpr{e_{1}}\rho^{\#}
-  \adifp
+  \adlf
   \linexpr{e_{2}}\rho^{\#}
-  \asifp
+  \aslf
   \varepsilon_{\mathbf{f}}\left(\linexpr{e_{1}}\rho^{\#}\right)
-  \asifp
+  \aslf
   \varepsilon_{\mathbf{f}}\left(\linexpr{e_{2}}\rho^{\#}\right)
-  \asifp
+  \aslf
   mf_{\mathbf{f}}[-1;1]
   \f]
   where \f$\varepsilon_{\mathbf{f}}(l)\f$ is the linear form obtained
diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh
index ed32977..1f16247 100644
--- a/src/Division_Floating_Point_Expression.defs.hh
+++ b/src/Division_Floating_Point_Expression.defs.hh
@@ -83,7 +83,7 @@ namespace Parma_Polyhedra_Library {
   \f[
   \linexpr{e_{1} \oslash [a;b]}\rho^{\#}
   =
-  \left(\linexpr{e_{2}}\rho^{\#}
+  \left(\linexpr{e_{1}}\rho^{\#}
   \adivlf
   [a;b]\right)
   \aslf
@@ -100,7 +100,7 @@ namespace Parma_Polyhedra_Library {
   \f[
   \linexpr{e_{1} \oslash e_{2}}\rho^{\#}
   =
-  \linexpr{e_{1} \oslash \iota\left(\linexpr{e_{2}\rho^{\#}}\right)}\rho^{\#}.
+  \linexpr{e_{1} \oslash \iota\left(\linexpr{e_{2}}\rho^{\#}\right)\rho^{\#}}.
   \f]
   where \f$\varepsilon_{\mathbf{f}}(l)\f$ is the linear form obtained
   by the method <CODE>Floating_Point_Expression::relative_error()</CODE>,
diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh
index 2265ca7..7da5238 100644
--- a/src/Multiplication_Floating_Point_Expression.defs.hh
+++ b/src/Multiplication_Floating_Point_Expression.defs.hh
@@ -63,7 +63,7 @@ namespace Parma_Polyhedra_Library {
   Let \f$i + \sum_{v \in \cV}i_{v}v \f$ and
   \f$i' + \sum_{v \in \cV}i'_{v}v \f$
   be two linear forms, \f$\aslf\f$ and \f$\amlf\f$ two sound abstract
-  operator on linear forms such that:
+  operators on linear forms such that:
   \f[
   \left(i + \sum_{v \in \cV}i_{v}v\right)
   \aslf
@@ -112,7 +112,8 @@ namespace Parma_Polyhedra_Library {
   \f[
   \linexpr{e_{1} \otimes e_{2}}\rho^{\#}
   =
-  \linexpr{\iota\left(\linexpr{e_{1}\rho^{\#}}\right) \otimes e_{2}}\rho^{\#}.
+  \linexpr{\iota\left(\linexpr{e_{1}}\rho^{\#}\right)\rho^{\#}
+  \otimes e_{2}}\rho^{\#}.
   \f]
   where \f$\varepsilon_{\mathbf{f}}(l)\f$ is the linear form obtained
   by the method <CODE>Floating_Point_Expression::relative_error()</CODE>,