[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Corrected definition of approximation for the shift bitwise operators.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at 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],