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

Author: Fabio Biselli fabio.biselli@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>,