Module: ppl/ppl Branch: bounded_arithmetic Commit: 0bacc94a40b5d713d68911f506cfeb7bc53f1e12 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bacc94a40b5d...

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Wed Sep 14 12:32:40 2011 +0200

Corrected definition of approximation for the shift bitwise operators.

---

doc/definitions.dox | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox index e48e010..52b0e23 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2867,11 +2867,11 @@ The interval bitwise operators are defined as follow: \bigl[\bigl(a / 2^{\left|a'\right|}\bigr, \bigl(b / 2^{\left|b'\right|}\bigr)\bigr], & \text{if $a \geq 0$ and $b' < 0$}; \ - \bigl[\bigl(a \times 2^{a'}\bigr), - \bigl(b \times 2^{b'}\bigr)\bigr], + \bigl[\bigl(a \times 2^{b'}\bigr), + \bigl(b \times 2^{a'}\bigr)\bigr], & \text{if $b < 0$ and $a' \geq 0$}; \ - \bigl[\bigl(a / 2^{\left|a'\right|}\bigr), - \bigl(b / 2^{\left|b'\right|}\bigr)\bigr], + \bigl[\bigl(a / 2^{\left|b'\right|}\bigr), + \bigl(b / 2^{\left|a'\right|}\bigr)\bigr], & \text{if $b < 0$ and $b' < 0$}. \ \end{cases} \f] @@ -2879,11 +2879,11 @@ The interval bitwise operators are defined as follow: \f[ [a,b] \ogreaterthan ^{#} [a',b'] \approx \begin{cases} - \bigl[\bigl(a / 2^{a'}\bigr), - \bigl(b / 2^{b'}\bigr)\bigr], + \bigl[\bigl(a / 2^{b'}\bigr), + \bigl(b / 2^{a'}\bigr)\bigr], & \text{if $a \geq 0$ and $a' \geq 0$}; \ - \bigl[\bigl(a \times 2^{\left|a'\right|}\bigr), - \bigl(b \times 2^{\left|b'\right|}\bigr)\bigr], + \bigl[\bigl(a \times 2^{\left|b'\right|}\bigr), + \bigl(b \times 2^{\left|a'\right|}\bigr)\bigr], & \text{if $a \geq 0$ and $b' < 0$}; \ \bigl[\bigl(a / 2^{a'}\bigr), \bigl(b / 2^{b'}\bigr)\bigr],