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

Author: Patricia Hill p.m.hill@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