October 2004 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus ppl_sicstus_sd.cc
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 12:09:31 Modified files: interfaces/Prolog/SICStus: ppl_sicstus_sd.cc Log message: Integer_to_integer_term() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/interfaces/Prolog pl_check.pl
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 11:42:08 Modified files: interfaces/Prolog: pl_check.pl Log message: Variable name clash removed: this was causing XSB to crash (due to one of its many bugs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl ./configure.ac interfaces/Prolog/Ciao/Make ...
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 10:10:49 Modified files: . : configure.ac interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/YAP: Makefile.am Added files: interfaces/Prolog: expected2_int8 expected3_int8 expected_int8 Log message: Started adding some infrastructure so as to conditionalize our expectations about the tests outcome on the kind of coefficients used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected3_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/tests Makefile.am geomcovers1.cc
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 10:05:09 Modified files: tests : Makefile.am Added files: tests : geomcovers1.cc Log message: New test for Polyhedra_Powerset<PH>::geometrically_covers(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/geomcovers1.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 09:50:40 Modified files: . : TODO Log message: Added a new item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10…

1 0

Re: A question on powerset operations
by Roberto Bagnara 24 Oct '04

24 Oct '04

Hosung Song wrote: > Would you verify the execution result of the following simple program? > > ---- > #include <ppl.hh> > #include <iostream> > > using namespace Parma_Polyhedra_Library; > using namespace IO_Operators; > using namespace std; > > int > main(void) > { > Variable x(0); > > ConSys cs1, cs2, cs3, cs4; > cs1.insert(x >= 0); > cs1.insert(x <= 4); > cs2.insert(x >= 2); > cs2.insert(x <= 6); > cs3.insert(x >= 1); > cs3.insert(x <= 5); > > NNC_Polyhedron ph1(cs1), ph2(cs2), ph3(cs3); > cout << "ph1 : " << ph1 << endl; > cout << "ph2 : " << ph2 << endl; > cout << "ph3 : " << ph3 << endl; > > Polyhedra_PowerSet<NNC_Polyhedron> ps12(2, > Polyhedron::EMPTY); > ps12.add_disjunct(ph1); > ps12.add_disjunct(ph2); > cout << "ps12 : " << ps12 << endl; > > if (check_containment(ph3, ps12)) > cout << "ph3 is contained in ps12..." << > endl; > else > cout << "ph3 is not contained in ps12..." > << endl; > } > ------- > What I'm interested in is to check whether a polyhedron is contained by > the union of a set of polyhedrons. So I played around with just > Polyhedra_PowerSet class, by converting the single polyhedron to a > set of a single polyhedron. I got some unexpected results, so I looked > into the codes Polyhedra_PowerSet... and it seems like check_containment() > is just the function I needed. I tried that and my result is still a > little unexpected. Well, that's maybe only from my understanding, and that > might be quite wrong. In the above example, ph1 is 0 <= x <= 4, and ph2 is > 2 <= x <= 6. ps12 is the union of ph1 and ph2. ph3 is 1 <= x <= 5. So, it > looks like ph3 is contained in ps12. However, my execution result is the > other way. I used "g++ test.cc -lppl -lgmpxx -lgmp" and the running result > is "ph3 is not contained in ps12..." Am I missing some basic understanding > here? I suppose my understanding of the geometrical inclusion > (containment or covering, whatever) might be seriously flawed. I'd try to > trace the execution to understand the function > completely, but I would greatly appreciate your quick insightful > advice. Thanks always. Dear Hosung, you have indeed been bitten by a bug in PPL 0.6.1. This was fixed on September 15th, 2004, but we forgot to add a mention of it to our bugs page (http://www.cs.unipr.it/ppl/Bugs/). I have done it now, and there you will also find a patch you can apply to PPL 0.6.1. Sorry about that. By the way, with lots of interesting new features and bug fixes, the forthcoming release (0.7) contains several changes to the Polyhedra_PowerSet template class (starting from its name, where the 's' is now lowercase). All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs/Bugs Bugs.raw Makefile archive.ra ...
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 09:34:29 Modified files: htdocs/Bugs : Bugs.raw Makefile archive.raw Added files: htdocs/Bugs : patch_ppl-0-6-1_ppl-20040908 Removed files: htdocs/Bugs : patch_ppl-0-6-1_ppl-20040808 Log message: Several improvements, including fixing a wrong date. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/patch_ppl-0-6-1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Makefile.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/patch_ppl-0-6-1…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 09:25:50 Modified files: htdocs/Bugs : Bugs.raw Log message: Last added entry improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Bugs archive.raw
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 09:22:59 Modified files: htdocs/Bugs : archive.raw Log message: Last added entry improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw patch_p ...
by Roberto Bagnara 24 Oct '04

24 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-24 09:18:27 Modified files: htdocs/Bugs : Bugs.raw archive.raw Added files: htdocs/Bugs : patch_ppl-0-6-1_ppl-20040915 Log message: With too much delay, mention the bug in check_containment() that is present in version 0.6.1 of the PPL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/patch_ppl-0-6-1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0