Module: ppl/ppl Branch: floating_point Commit: e535e5b530fb13cadf33897a31c12c1500e65938 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e535e5b530fb1...
Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 10 14:41:11 2009 +0200
Fixed another small error in the documentation.
---
src/Division_Floating_Point_Expression.defs.hh | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index ee50408..c251add 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -110,7 +110,8 @@ namespace Parma_Polyhedra_Library { \left \langle \rho^{#}, \rho^{#}_l \right \rangle = \linexpr{e_{1} \oslash \iota\left(\linexpr{e_{2}} - \left \langle \rho^{#}, \rho^{#}_l \right \rangle \right)\rho^{#}}, + \left \langle \rho^{#}, \rho^{#}_l \right \rangle \right)\rho^{#}} + \left \langle \rho^{#}, \rho^{#}_l \right \rangle, \f] where \f$\varepsilon_{\mathbf{f}}(l)\f$ is the linear form computed by calling method <CODE>Floating_Point_Expression::relative_error</CODE>