July 2005 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests Makefile.am script ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 23:50:34 Modified files: interfaces/Prolog/tests: Makefile.am Added files: interfaces/Prolog/tests: script_clpq2_int8 Removed files: interfaces/Prolog/tests: check_script2_int8 Log message: Distribution fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/scrip… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check…

1 0

ppl/interfaces/Prolog/YAP Makefile.am
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 23:39:14 Modified files: interfaces/Prolog/YAP: Makefile.am Log message: Link against libYap. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/interfaces/Prolog Prolog_interface.dox XSB ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 23:27:18 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/XSB: Makefile.am xsb_clpq.P xsb_clpq2.P xsb_pl_check.P Log message: Updated to use new versions of XSB (older ones are too problematic). Only XSB versions following 2.7.1 and CVS HEAD versions starting from 2 July 2005 are now supported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_…

1 0

ppl/interfaces/Prolog/YAP Makefile.am
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 23:21:55 Modified files: interfaces/Prolog/YAP: Makefile.am Log message: Make the tests independent from one another. Updated to use the new names of the test files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl TODO
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 16:43:03 Modified files: . : TODO Log message: We should not forget to update those bits of documentation that have proved to be not adequate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.14…

1 0

ppl/interfaces/Prolog/GNU Makefile.am gnu_pl_c ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 16:36:27 Modified files: interfaces/Prolog/GNU: Makefile.am gnu_pl_check.pl Log message: Make the tests independent from one another. Updated to use the new names of the test files. Patches: 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/GNU/gnu_pl_…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am sp_p ...
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 16:26:27 Modified files: interfaces/Prolog/SICStus: Makefile.am sp_pl_check.pl Log message: Make the tests independent from one another. Updated to use the new names of the test files. Patches: 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/SICStus/sp_…

1 0

[Fwd: Re: Question on shrink_bounding_box]
by Roberto Bagnara 03 Jul '05

03 Jul '05

-------- Original Message -------- Subject: Re: Question on shrink_bounding_box Date: Sun, 3 Jul 2005 14:17:55 +0100 From: Pedro Vasconcelos <pbv(a)st-andrews.ac.uk> Organization: University of St Andrews To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <20050702195917.22ba8af3.pbv(a)st-andrews.ac.uk> <42C7DBEA.7040404(a)cs.unipr.it> On Sun, 03 Jul 2005 14:36:58 +0200 Roberto Bagnara <bagnara(a)cs.unipr.it> wrote: > what the shrink_bounding_box() method does is the following: > > 1) the smallest bounding box containing the polyhedron is computed; then > 2) the bounding box provided by the caller is (destructively) intersected > with the one computed in step 1 by using only the methods of `Box' > listed in the documentation. > > Notice that there is no way shrink_bounding_box() can obtain information > from the `box' parameter. This interface and semantics allow for > maximum efficiency, yet minimizing the requirements we impose on the > `box' argument. Any suggestion about how to improve the documentation > is welcome OK, this makes perfect sense to me now! The operation I want can then be obtained by first constructing a polyhedron from the bounding box, intersecting two polyhedra and then using shrink_bounding_box to get the resulting box. I think your explanation above is very clear and should be added to the PPL documentation. Cheers, Pedro -- 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

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 03 Jul '05

03 Jul '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-07-03 14:46:00 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Make the tests independent from one another. Updated to use the new names of the test files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

Question on shrink_bounding_box
by Pedro Vasconcelos 03 Jul '05

03 Jul '05

Hello all, I'd to like to ask what is the exact operation done by the shrink_bounding_box() method. My interpretation of the documentation is that it would 1) intersect the provided bounding box with the polyhedron and 2) compute the bounding box of the result. I've done some tests (with PPL 0.6.1) and this does not appear to be the functionality provided. If initially P = {x0==x1} BB = [0;1]*[-inf;inf] then shrink_bounding_box() leaves BB unchanged (rather [0;1]*[0;1] as I expected). What is the intended operation? Thanks in advance, Pedro

2 1