Module: ppl/ppl Branch: prova Commit: 71893349245baa11c7fa1dd9b0a793606b4bce4c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71893349245ba...

Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Jan 5 13:54:39 2009 +0000

Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction.

Several "FIXME"s dealt with.

---

src/Partially_Reduced_Product.defs.hh | 140 ++++++------ src/Partially_Reduced_Product.inlines.hh | 149 ++++-------- src/Partially_Reduced_Product.templates.hh | 172 +++++++++++---- src/Partially_Reduced_Product.types.hh | 3 + tests/Partially_Reduced_Product/Makefile.am | 5 +- tests/Partially_Reduced_Product/directproduct6.cc | 31 +++- .../partiallyreducedproduct2.cc | 51 ++++- .../partiallyreducedproduct3.cc | 6 +- .../shrinkusingcongruences1.cc | 239 ++++++++++++++++++++ 9 files changed, 566 insertions(+), 230 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=718933492...