February 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(pip): Fixed the omissions of ppl_Polyhedron_is_empty/ 1 and ppl_Polyhedron_add_constraints/2.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: pip Commit: 6b04bd57800555128f61996f44fec9b9257dee04 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b04bd578005… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 23:28:55 2010 +0100 Fixed the omissions of ppl_Polyhedron_is_empty/1 and ppl_Polyhedron_add_constraints/2. --- interfaces/Prolog/XSB/xsb_clpq.P | 2 ++ interfaces/Prolog/XSB/xsb_clpq2.P | 2 ++ 2 files changed, 4 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/XSB/xsb_clpq.P b/interfaces/Prolog/XSB/xsb_clpq.P index f789474..374efe4 100644 --- a/interfaces/Prolog/XSB/xsb_clpq.P +++ b/interfaces/Prolog/XSB/xsb_clpq.P @@ -33,7 +33,9 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_new_C_Polyhedron_from_C_Polyhedron/2, ppl_new_NNC_Polyhedron_from_NNC_Polyhedron/2, ppl_delete_Polyhedron/1, + ppl_Polyhedron_is_empty/1, ppl_Polyhedron_space_dimension/2, + ppl_Polyhedron_add_constraints/2, ppl_Polyhedron_get_constraints/2, ppl_Polyhedron_add_space_dimensions_and_embed/2, ppl_Polyhedron_remove_higher_space_dimensions/2 diff --git a/interfaces/Prolog/XSB/xsb_clpq2.P b/interfaces/Prolog/XSB/xsb_clpq2.P index 2cc10d9..1f0d045 100644 --- a/interfaces/Prolog/XSB/xsb_clpq2.P +++ b/interfaces/Prolog/XSB/xsb_clpq2.P @@ -33,7 +33,9 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_new_C_Polyhedron_from_C_Polyhedron/2, ppl_new_NNC_Polyhedron_from_NNC_Polyhedron/2, ppl_delete_Polyhedron/1, + ppl_Polyhedron_is_empty/1, ppl_Polyhedron_space_dimension/2, + ppl_Polyhedron_add_constraints/2, ppl_Polyhedron_get_constraints/2, ppl_Polyhedron_add_space_dimensions_and_embed/2, ppl_Polyhedron_remove_space_dimensions/2,

1 0

[GIT] ppl/ppl(pip): Fixed the omission of ppl_set_irrational_precision/ 1 and ppl_irrational_precision/1.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: pip Commit: df9e55f182cd68b1c64a725b0c2eb361bd83ae61 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df9e55f182cd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 9 23:25:06 2010 +0100 Fixed the omission of ppl_set_irrational_precision/1 and ppl_irrational_precision/1. --- interfaces/Prolog/XSB/xsb_pl_check.P | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P index 56b3fa8..4ae27e9 100644 --- a/interfaces/Prolog/XSB/xsb_pl_check.P +++ b/interfaces/Prolog/XSB/xsb_pl_check.P @@ -38,6 +38,8 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_Coefficient_min/1, ppl_initialize/0, ppl_finalize/0, + ppl_set_irrational_precision/1, + ppl_irrational_precision/1, ppl_set_timeout_exception_atom/1, ppl_timeout_exception_atom/1, ppl_set_timeout/1,

1 0

[GIT] ppl/ppl(master): Improved (devref) documentation for Matrix::add_( recycled_)row methods.
by Enea Zaffanella 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: 05cdf3ade39391ba25dc992cabe93a7758e23dac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05cdf3ade393… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 15 11:18:23 2010 +0100 Improved (devref) documentation for Matrix::add_(recycled_)row methods. --- src/Matrix.defs.hh | 9 +++++---- 1 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/Matrix.defs.hh b/src/Matrix.defs.hh index f521467..e0112b6 100644 --- a/src/Matrix.defs.hh +++ b/src/Matrix.defs.hh @@ -227,7 +227,7 @@ public: Turns the \f$r \times c\f$ matrix \f$M\f$ into the \f$(r+1) \times c\f$ matrix - \f$\genfrac{(}{)}{0pt}{}{M}{0}\f$. + \f$\genfrac{(}{)}{0pt}{}{M}{y}\f$. The matrix is expanded avoiding reallocation whenever possible. */ void add_row(const Row& y); @@ -235,12 +235,13 @@ public: //! Adds the row \p y to the matrix. /*! \param y - The row to be added: it must have the same size and capacity as \p - *this. + The row to be added: it must have the same size and capacity as + \p *this. It is not declared <CODE>const</CODE> because its + data-structures will recycled to build the new matrix row. Turns the \f$r \times c\f$ matrix \f$M\f$ into the \f$(r+1) \times c\f$ matrix - \f$\genfrac{(}{)}{0pt}{}{M}{0}\f$. + \f$\genfrac{(}{)}{0pt}{}{M}{y}\f$. The matrix is expanded avoiding reallocation whenever possible. */ void add_recycled_row(Row& y);

1 0

Re: [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
by acrux 11 Feb '10

11 Feb '10

from: Robert Washburne rcw15 at turing.hbg.psu.edu date: Tue Feb 9 22:09:27 CET 2010 > I also have this problem. I tried with gmp-5.0.0 and then I > installed > gmp-4.3.2. (Both built from source with --enable-cxx) No change. > > I downloaded the four attachments indicated, but the problem remains. > _cut__ it works but you need to update generated configuration files too: autoreconf -i -f greetings, -- GNU/Linux on Power Architecture CRUX PPC - http://cruxppc.org/

1 0

Re: [PPL-devel] SWI-Prolog test failing (only!) on powerpc
by acrux 11 Feb '10

11 Feb '10

from: Michael Tautschnig mt at debian.org date: Sun Feb 7 15:28:58 CET 2010 >Hi all, > >I recently uploaded a new Debian package of ppl that had some minor >packaging fixes; unfortunately, this time the build of the powerpc >version fails with an error in the SWI-Prolog test suite: > _cut__ here it compiles fine on both ppc and ppc64 greetings, -- GNU/Linux on Power Architecture CRUX PPC - http://cruxppc.org/

1 0

Modified PPL 0.10.2 source distribution for Solaris
by Robert Washburne 11 Feb '10

11 Feb '10

I also have this problem. I tried with gmp-5.0.0 and then I installed gmp-4.3.2. (Both built from source with --enable-cxx) No change. I downloaded the four attachments indicated, but the problem remains. rowsum% ./configure --without-gnu-ld --with-libgmp-prefix=/usr/local --with-libgmpxx-prefix=/usr/local checking build system type... i386-pc-solaris2.10 ... ... ... checking for shared library run path origin... done checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib checking how to link with libgmpxx... /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib -Wl,-rpath -Wl,/usr/local/lib checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. rowsum% rowsum% rowsum% ls -l /usr/local/lib/libgmp* -rw-r--r-- 1 root root 607618 Feb 9 14:36 /usr/local/lib/libgmp.a -rwxr-xr-x 1 root root 800 Feb 9 14:36 /usr/local/lib/libgmp.la lrwxrwxrwx 1 root root 15 Feb 9 14:36 /usr/local/lib/libgmp.so -> libgmp.so.3.5.2 lrwxrwxrwx 1 root root 15 Feb 9 14:36 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.5.2 -rwxr-xr-x 1 root root 327352 Feb 9 14:36 /usr/local/lib/libgmp.so.3.5.2 -rwxr-xr-x 1 root root 414514 Feb 5 15:29 /usr/local/lib/libgmp.so.3.6.0 -rwxr-xr-x 1 root root 28472 Feb 9 14:50 /usr/local/lib/libgmpxx.a -rwxr-xr-x 1 root root 1276 Feb 9 14:50 /usr/local/lib/libgmpxx.la -rwxr-xr-x 1 root root 865 Feb 5 15:42 /usr/local/lib/libgmpxx.lai -rwxr-xr-x 1 root root 21254 Feb 9 14:52 /usr/local/lib/libgmpxx.so -rwxr-xr-x 1 root root 21254 Feb 9 14:52 /usr/local/lib/libgmpxx.so.4 -rwx------ 1 root root 21254 Feb 9 14:50 /usr/local/lib/libgmpxx.so.4.1.2 -rwxr-xr-x 1 root root 21254 Feb 5 15:42 /usr/local/lib/libgmpxx.so.4.2.0 rowsum% Help? Bob Washburne

2 1

Re: [PPL-devel] Modified PPL 0.10.2 source distribution for Solaris
by Dennis Clarke 09 Feb '10

09 Feb '10

> > [Apologies if you are no longer interested. RB] > > Hi there. > > In order to facilitate Solaris users, we have just uploaded > modified PPL 0.10.2 source distributions that, by simply renaming > a few template variables, work around the Solaris bug whereby > <sys/regset.h> is unnecessarily included. > The archives are here: > > ftp://ftp.cs.unipr.it/pub/ppl/releases/0.10.2/solaris/ > > We would appreciate knowing how they go. > All the best, Hello : Thus far I have been unable to get your configure script to accept some reasonable options that indicate where gmp libs are located. Thus : $ ./configure --host=i386-pc-solaris2.8 --build=i386-pc-solaris2.8 \ --prefix=/opt/csw --with-gmp-lib=/opt/csw/lib \ --with-gmp-include=/opt/csw/include \ --with-libgmp-prefix=/opt/csw \ --with-libgmpxx-prefix=/opt/csw The libs exist just fine and work very well but I continuously get this message : checking how to link with libgmp... /opt/csw/lib/libgmp.so -R/opt/csw/lib -R/opt/csw/lib/$ISALIST checking how to link with libgmpxx... /opt/csw/lib/libgmpxx.so /opt/csw/lib/libgmp.so -R/opt/csw/lib -R/opt/csw/lib/$ISALIST -R/opt/csw/lib -R/opt/csw/lib/$ISALIST checking for the GMP library version 4.1.3 or above... no configure: error: Cannot find GMP version 4.1.3 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. When compiling the GMP library, do not forget to enable the C++ interface: add --enable-cxx to the configuration options. $ I have gmp 5.0.1 : $ pkginfo -l CSWlibgmp PKGINST: CSWlibgmp NAME: libgmp - GNU Multiple Precision Arithmetic Library CATEGORY: application ARCH: i386 VERSION: 5.0.1,REV=2010.02.08 BASEDIR: /opt/csw VENDOR: http://gmplib.org/ packaged by Blastwave.org Inc. DESC: CSWlibgmp - GNU Multiple Precision Arithmetic Library PSTAMP: titan20100208031415 INSTDATE: Feb 08 2010 04:12 HOTLINE: http://www.blastwave.org/ EMAIL: support(a)blastwave.org STATUS: completely installed FILES: 59 installed pathnames 7 shared pathnames 8 directories 18 executables 18260 blocks used (approx) Any thoughts ? -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1

[GIT] ppl/ppl(pip): Drafted PIP_Problem methods {total, external}_memory_in_bytes().
by Enea Zaffanella 08 Feb '10

08 Feb '10

Module: ppl/ppl Branch: pip Commit: 849386529a16621be3da132e3da44f8b56fb6d92 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=849386529a16… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 8 00:23:06 2010 +0100 Drafted PIP_Problem methods {total,external}_memory_in_bytes(). --- src/PIP_Problem.cc | 50 ++++++++++++++++------ src/PIP_Problem.defs.hh | 33 +++++++-------- src/PIP_Tree.cc | 75 +++++++++++++++++++++++++++++++++ src/PIP_Tree.defs.hh | 31 ++++++++++++- tests/PIP_Problem/ascii_dump_load1.cc | 5 ++ 5 files changed, 160 insertions(+), 34 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=84938652…

1 0

[GIT] ppl/ppl(pip): PIP_Problem ascii dump&load methods now also dump/ load problem solution.
by Enea Zaffanella 08 Feb '10

08 Feb '10

Module: ppl/ppl Branch: pip Commit: 49d77d21e8dcc4d247a7ba4c257ac0dc88e69414 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49d77d21e8dc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 7 12:15:50 2010 +0100 PIP_Problem ascii dump&load methods now also dump/load problem solution. Fixed error in PIP_Tree_Node::ascii_load(). Added ascii dump&load methods to PIP_Decision_Node. --- src/PIP_Problem.cc | 47 ++++++++++- src/PIP_Problem.defs.hh | 4 +- src/PIP_Tree.cc | 146 ++++++++++++++++++++++++++++----- src/PIP_Tree.defs.hh | 10 ++- src/PIP_Tree.types.hh | 2 +- tests/PIP_Problem/ascii_dump_load1.cc | 39 ++++++++- tests/PIP_Problem/pipproblem1.cc | 9 ++ 7 files changed, 221 insertions(+), 36 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=49d77d21…

1 0

[GIT] ppl/ppl(pip): In ascii dump and load methods, also print pivot row strategy info.
by Enea Zaffanella 07 Feb '10

07 Feb '10

Module: ppl/ppl Branch: pip Commit: 9a962273cf06b0b16d7feb998f7687cd4deb5f2e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a962273cf06… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 6 22:16:08 2010 +0100 In ascii dump and load methods, also print pivot row strategy info. --- src/PIP_Problem.cc | 14 ++++++++++++-- tests/PIP_Problem/ascii_dump_load1.cc | 15 +++++++++++++++ 2 files changed, 27 insertions(+), 2 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index d9853a2..6663f45 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -328,6 +328,12 @@ PPL::PIP_Problem::ascii_dump(std::ostream& s) const { case CUTTING_STRATEGY_ALL: s << "CUTTING_STRATEGY_ALL"; break; + case PIVOT_ROW_STRATEGY_FIRST: + s << "PIVOT_ROW_STRATEGY_FIRST"; + break; + case PIVOT_ROW_STRATEGY_MAX_COLUMN: + s << "PIVOT_ROW_STRATEGY_MAX_COLUMN"; + break; default: s << "Invalid control parameter value"; } @@ -427,10 +433,14 @@ PPL::PIP_Problem::ascii_load(std::istream& s) { Control_Parameter_Value value; if (str == "CUTTING_STRATEGY_FIRST") value = CUTTING_STRATEGY_FIRST; - if (str == "CUTTING_STRATEGY_DEEPEST") + else if (str == "CUTTING_STRATEGY_DEEPEST") value = CUTTING_STRATEGY_DEEPEST; - if (str == "CUTTING_STRATEGY_ALL") + else if (str == "CUTTING_STRATEGY_ALL") value = CUTTING_STRATEGY_ALL; + else if (str == "PIVOT_ROW_STRATEGY_FIRST") + value = PIVOT_ROW_STRATEGY_FIRST; + else if (str == "PIVOT_ROW_STRATEGY_MAX_COLUMN") + value = PIVOT_ROW_STRATEGY_MAX_COLUMN; else return false; control_parameters[i] = value; diff --git a/tests/PIP_Problem/ascii_dump_load1.cc b/tests/PIP_Problem/ascii_dump_load1.cc index a89c8a1..f124a30 100644 --- a/tests/PIP_Problem/ascii_dump_load1.cc +++ b/tests/PIP_Problem/ascii_dump_load1.cc @@ -155,6 +155,7 @@ test05() { PIP_Problem pip1(2, cs.begin(), cs.end(), Variables_Set(P)); pip1.set_control_parameter(PIP_Problem::CUTTING_STRATEGY_ALL); + pip1.set_control_parameter(PIP_Problem::PIVOT_ROW_STRATEGY_MAX_COLUMN); pip1.set_big_parameter_dimension(1); pip1.solve(); @@ -175,6 +176,19 @@ test05() { return ok; } +bool +test06() { + // Testing output functions. + PIP_Problem pip1; + + using namespace IO_Operators; + nout << pip1 << endl; + + pip1.ascii_dump(); + + return true; +} + } // namespace BEGIN_MAIN @@ -183,4 +197,5 @@ BEGIN_MAIN DO_TEST(test03); DO_TEST(test04); DO_TEST(test05); + DO_TEST(test06); END_MAIN

1 0