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>,