Module: ppl/ppl Branch: floating_point Commit: c5642e6135052d17a6588f221f528a331f3542cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5642e6135052...
Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 10 14:29:35 2009 +0200
Fixed one small typo.
---
...ultiplication_Floating_Point_Expression.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh index 0b6aa3e..7509d3f 100644 --- a/src/Multiplication_Floating_Point_Expression.defs.hh +++ b/src/Multiplication_Floating_Point_Expression.defs.hh @@ -98,7 +98,7 @@ namespace Parma_Polyhedra_Library { \varepsilon_{\mathbf{f}}\left(\linexpr{e_{2}} \left \langle \rho^{#}, \rho^{#}_l \right \rangle \right)\right) \aslf - mf_{\mathbf{f}}[-1;1], + mf_{\mathbf{f}}[-1;1]. \f].
Given an expression \f$e_{1} \otimes [a;b]\f$ and a composite