[PPL-devel] [GIT] ppl/ppl(floating_point): Other small corrections to the documentation .

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 14:33:20 2009 +0200

Other small corrections to the documentation.

---

 src/Floating_Point_Expression.defs.hh          |    2 +-
 src/Opposite_Floating_Point_Expression.defs.hh |    2 ++
 2 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh
index d0aa016..71b77ad 100644
--- a/src/Floating_Point_Expression.defs.hh
+++ b/src/Floating_Point_Expression.defs.hh
@@ -191,7 +191,7 @@ public:
     \f[
     \iota\left(i + \sum_{v \in \cV}i_{v}v\right)\rho^{\#}
     \defeq
-    i \asifp \left(\bigoplus_{v \in \cV}^{\#}i_{v} \amifp
+    i \asifp \left(\bigoplus_{v \in \cV}{}^{\#}i_{v} \amifp
     \rho^{\#}(v)\right)
     \f]
   */
diff --git a/src/Opposite_Floating_Point_Expression.defs.hh b/src/Opposite_Floating_Point_Expression.defs.hh
index 67dde22..486ed4a 100644
--- a/src/Opposite_Floating_Point_Expression.defs.hh
+++ b/src/Opposite_Floating_Point_Expression.defs.hh
@@ -77,7 +77,9 @@ namespace Parma_Polyhedra_Library {
   \linexpr{\ominus e} \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle
   =
   \adlf
+  \left(
   \linexpr{e} \left \langle \rho^{\#}, \rho^{\#}_l \right \rangle.
+  \right)
   \f]
 */
 template <typename FP_Interval_Type, typename FP_Format>