[PPL-devel] [GIT] ppl/ppl(master): Updated with news of the new reduction operator for

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Wed Mar 31 07:30:09 2010 +0100

Updated with news of the new reduction operator for
partially reduced products and the new frequency operator.
Removed a TODO item concerning the interfaces and termination methods.

---

 NEWS |   16 ++++++++++++++++
 TODO |    3 ---
 2 files changed, 16 insertions(+), 3 deletions(-)

diff --git a/NEWS b/NEWS
index eea5229..835744d 100644
--- a/NEWS
+++ b/NEWS
@@ -46,6 +46,22 @@ o  New methods
    return true if and only if `*this' is 0, and if and only if all the
    homogeneous terms of `*this' are 0, respectively.
 
+o  For the PPL semantic objects, other than the Pointset_Powerset and
+   Partially_Reduced Product, there is a new method:
+
+     bool frequency(const Linear_Expression& expr,
+                    Coefficient& freq_n, Coefficient& freq_d,
+                    Coefficient& val_n, Coefficient& val_d)
+
+   This operator computes both the "frequency" (f = freq_n/freq_d)
+   and a value (v = val_n/val_d)  closest to zero so that every point
+   in the object satisfies the congruence (expr %= v) / f.
+
+o  New reduction operator "Shape_Preserving_Reduction" has been added to
+   the Partially_Reduced_Product abstraction.
+   This operator is aimed at the product of a grid and a shape domain;
+   allowing the bounds of the shape to shrink to the touch the points
+   of the grid, such that the new bounds are parallel to the old bounds.
 
 Deprecated and removed methods
 ------------------------------
diff --git a/TODO b/TODO
index db3904f..ddebb7f 100644
--- a/TODO
+++ b/TODO
@@ -2,9 +2,6 @@
 Enhancements for PPL 0.11
 =========================
 
-- Interface Linear_Expression::is_zero()
-  and Linear_Expression::all_homogeneous_terms_are_zero()
-  for the Java and Ocaml interfaces.
 - Handle std::logic_error (now thrown in case watchdogs are not
   available) in all the interfaces.
 - Make all the *affine*image() methods uniform as far as the