October 2004 - PPL-devel - BUGSENG Mailman

Re: [SWIPL] Unwanted prompt in the output
by Roberto Bagnara 25 Oct '04

25 Oct '04

Jan Wielemaker wrote: > On Mon, Oct 25, 2004 at 12:52:04PM +0200, Roberto Bagnara wrote: > >>I have question: if I create a file that contains >>only a blank line (i.e., "\n") and I call it `test' >>and I do `pl <test >out', the `out' file contains >>the string "1 ?- | ". Notice that, to avoid >>ambiguities I am using the C syntax for strings, >>so by omitting "\n" I imply that the line above >>is not terminated. However, the problem is the >>presence of "| ", not the absence of the >>end-of-line character. >> >>If I modify the `test' file so that it contains two lines, >>one blank as before followed by one containing "halt.\n" >>and I do the same thing as before, `out' will then >>contain "1 ?- ", i.e., without the vertical bar. >>Is this behavior the intended one? I have tested >>with several other Prolog systems and they do not >>seem to make this kind of distinction between EOF >>on input or an explicit "halt." occurring in it. > > > I'd have to do some tracing and debugging to find the why. Actually I > think there should be no prompt (at least by default) if the input is > not associated to a terminal. Hi Jan, that is exactly what I was thinking: if there is no terminal there should be no prompt. > For the moment, I guess using the > prompt/2 command to kill the prompt is the most sensible thing to > do. Will do as you suggest. Thanks a lot, 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

[Fwd: Re: [SWIPL] Unwanted prompt in the output]
by Roberto Bagnara 25 Oct '04

25 Oct '04

-------- Original Message -------- Subject: Re: [SWIPL] Unwanted prompt in the output Resent-Date: Mon, 25 Oct 2004 18:23:09 +0200 (CEST) Resent-From: prolog(a)swi.psy.uva.nl Date: Mon, 25 Oct 2004 17:50:45 +0200 From: Jan Wielemaker <jan(a)swi.psy.uva.nl> To: SWI Prolog <prolog(a)swi.psy.uva.nl> References: <417CDAD4.3030303(a)cs.unipr.it> Roberto, On Mon, Oct 25, 2004 at 12:52:04PM +0200, Roberto Bagnara wrote: > Hi there, > > I have question: if I create a file that contains > only a blank line (i.e., "\n") and I call it `test' > and I do `pl <test >out', the `out' file contains > the string "1 ?- | ". Notice that, to avoid > ambiguities I am using the C syntax for strings, > so by omitting "\n" I imply that the line above > is not terminated. However, the problem is the > presence of "| ", not the absence of the > end-of-line character. > > If I modify the `test' file so that it contains two lines, > one blank as before followed by one containing "halt.\n" > and I do the same thing as before, `out' will then > contain "1 ?- ", i.e., without the vertical bar. > Is this behavior the intended one? I have tested > with several other Prolog systems and they do not > seem to make this kind of distinction between EOF > on input or an explicit "halt." occurring in it. > Cheers, I'd have to do some tracing and debugging to find the why. Actually I think there should be no prompt (at least by default) if the input is not associated to a terminal. For the moment, I guess using the prompt/2 command to kill the prompt is the most sensible thing to do. Cheers --- Jan ---------------- * To UNSUBSCRIBE, please use the HTML form at http://www.swi-prolog.org/mailinglist.html or send mail to prolog-request(a)swi.psy.uva.nl using the Subject: "unsubscribe" (without the quotes) and *no* message body. ** An ARCHIVE of this list is maintained at http://www.swi.psy.uva.nl/projects/SWI-Prolog/mailinglist/archive/ -- 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/XSB expected3_mpz
by Roberto Bagnara 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-25 17:34:33 Added files: interfaces/Prolog/XSB: expected3_mpz Log message: New and revised expectations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-25 17:26:11 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Pathname fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

[Fwd: Re: A question on powerset operations]
by Roberto Bagnara 25 Oct '04

25 Oct '04

-------- Original Message -------- Subject: Re: A question on powerset operations Date: Sun, 24 Oct 2004 23:32:36 -0400 From: Hosung Song <hosungs(a)umich.edu> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <402A51EB.60609(a)andrew.cmu.edu> <402AA44B.2010702(a)cs.unipr.it> <402A77E8.2000907(a)andrew.cmu.edu> <41249897.9060800(a)cs.unipr.it> <412CFC0C.7040501(a)ece.cmu.edu> <41339C73.3000003(a)cs.unipr.it> <Pine.LNX.4.58.0410240107150.1142(a)smtp.eecs.umich.edu> <417B5E19.6080202(a)cs.unipr.it> Prof. Bagnara, Thank you very much. Encouraged by your prompt feedback, I decided to try to implement my own C interface for those polyhedra powerset operations. All I need is just three operations: creation of an empty powerset, add a disjunct, and finally check if a polyhedron is contained (geometrically covered) by a powerset. (Maybe I would need more later.) Since my C++ knowledge is very shallow, it took quite a long time to figure out how (after all, most answers I found from the ppl_c.cc), especially how to deal with the compile errors due to differences in Polyhedron and NNC_Polyhedron. Polyhedra_PowerSet is defined as a template class, and I just don't know much how to deal with one effectively. I tried various different ad hoc trials, and it turns out that there's a simple casting operation, which I found in another portion of ppl_c.cc. Anyway, I know my implementation may be too specific for my purpose, but I'd like you to look over it and give me some confirmation. It seems that the integration works well for my project right now, but who knows if my implementation is just completely bogus. I'm attaching the diffs for interfaces/C/ppl_c.cc and interfaces/C/ppl_c.h.in. All diffs are just additions to the original ppl_c.cc and ppl_c.h.in. I know they are really tiny, but it took me a novice C++ user quite a few hours. Any of your comments would be greatly appreciated. I'd be happy if you somehow incorporate this kind of C interface in the new release. In fact, I thought of coding this as a separate source file, maybe under my project directory, because I didn't want to modify the PPL distribution. However, my lack of knowledge on how to compile it and manage as a library prohibited that approach. If you could give me a pointer on general methods of making C interface for library written in C++, I would certainly try that. Thanks always. Hosung Roberto Bagnara wrote: > 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 35a36,39 > /* shpin add begin */ > #include "Polyhedra_PowerSet.defs.hh" > #include "algorithms.hh" > /* shpin add end */ 296a301,305 > /* shpin add begin */ > typedef Polyhedra_PowerSet<NNC_Polyhedron> NNC_Polyhedra_PowerSet; > DECLARE_CONVERSIONS(NNC_Polyhedra_PowerSet) > /* shpin add end */ > 2112a2122,2153 > /* shpin add begin */ > int > ppl_new_NNC_Polyhedra_PowerSet_empty_from_dimension(ppl_NNC_Polyhedra_PowerSet_t* pps, > ppl_dimension_type d) try { > *pps = to_nonconst(new NNC_Polyhedra_PowerSet(d, Polyhedron::EMPTY)); > return 0; > } > CATCH_ALL > > int > ppl_NNC_Polyhedra_PowerSet_add_disjunct(ppl_NNC_Polyhedra_PowerSet_t ps, > ppl_const_Polyhedron_t ph) try { > NNC_Polyhedra_PowerSet& pss = *to_nonconst(ps); > const NNC_Polyhedron& phh > = *static_cast<const NNC_Polyhedron*>(to_const(ph)); > > pss.add_disjunct(phh); > return 0; > } > CATCH_ALL > > int > ppl_NNC_Polyhedron_is_contained_in_NNC_Polyhedra_PowerSet(ppl_const_Polyhedron_t ph, > ppl_const_NNC_Polyhedra_PowerSet_t ps) try { > const NNC_Polyhedron& phh > = *static_cast<const NNC_Polyhedron*>(to_const(ph)); > const NNC_Polyhedra_PowerSet& pss = *to_const(ps); > return check_containment(phh, pss) ? 1 : 0; > } > CATCH_ALL > /* shpin add end */ > 2167a2209,2212 > /* shpin add begin */ > DEFINE_PRINT_FUNCTIONS(NNC_Polyhedra_PowerSet) > /* shpin add end */ > 352a353,356 > /* shpin add begin */ > PPL_TYPE_DECLARATION(NNC_Polyhedra_PowerSet); > /* shpin add end */ > 2218a2223,2236 > /* shpin add begin */ > int > ppl_new_NNC_Polyhedra_PowerSet_empty_from_dimension __P((ppl_NNC_Polyhedra_PowerSet_t* pps, > ppl_dimension_type d)); > > int > ppl_NNC_Polyhedra_PowerSet_add_disjunct __P((ppl_NNC_Polyhedra_PowerSet_t ps, > ppl_const_Polyhedron_t ph)); > > int > ppl_NNC_Polyhedron_is_contained_in_NNC_Polyhedra_PowerSet __P((ppl_const_Polyhedron_t ph, > ppl_const_NNC_Polyhedra_PowerSet_t ps)); > /* shpin add end */ > 2254a2273,2276 > /* shpin add begin */ > PPL_DECLARE_PRINT_FUNCTIONS(NNC_Polyhedra_PowerSet) > /* shpin add end */ >

1 0

ppl ./NEWS ./TODO src/C_Polyhedron.defs.hh src ...
by Roberto Bagnara 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-25 14:42:34 Modified files: . : NEWS TODO src : C_Polyhedron.defs.hh ConSys.defs.hh GenSys.defs.hh NNC_Polyhedron.defs.hh tests : bhrz03widening9.cc Log message: Avoid implicit constructors (except in very special cases). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc.diff…

1 0

New development monitoring system to help with the development of the PPL
by Roberto Bagnara 25 Oct '04

25 Oct '04

Hi there, after a few days of full-time work and with the help of Abramo we have a development monitoring system called tinderbox2 (http://www.mozilla.org/projects/tinderbox/) basically up and running at http://www.cs.unipr.it/~tinderbox/ This now monitors only the HEAD branch of the PPL and takes advantage of two build machines: igor.cs.unipr.it runs the production builds (i.e., where --enable-coefficients is the only option that is used in the configuration); gandalf.cs.unipr.it runs the maximum-debugging builds (i.e., with the options --enable-assertions, --enable-more-assertions and --disable-optimization are used in addition to --enable-coefficients). For the time being, they only test the versions with mpz_class and checked-int32 coefficients, but they will also test int8, int16 and int64. In addition, I plan to use sandbox.cs.unipr.it to conduct, once every night, a complete documentation build and a test with maximum optimizations for the PentiumPro CPU family. And crystal.cs.unipr.it, once every night, will test maximum optimizations for the AMD Athlon CPU. Please, familiarize with the system and report to me any problems you may observe. Notice, e.g., that, if you go quickly at the URL above and click on "PPL-HEAD" you will see that the builds of cint32 on igor were broken until around 10 this morning and that afterwards one of my patches fixed it. Notice also that clicking on "panel" is a quick way to check if any of the builds is broken or not: if you do this now, you will see that all the 4 builds are green, so everything is OK. Enjoy and try not to break the builds :-) Ciao, 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

ppl TODO
by Enea Zaffanella 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-25 13:01:57 Modified files: . : TODO Log message: Added another item related to non-explicit constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10…

1 0

Unwanted prompt in the output
by Roberto Bagnara 25 Oct '04

25 Oct '04

Hi there, I have question: if I create a file that contains only a blank line (i.e., "\n") and I call it `test' and I do `pl <test >out', the `out' file contains the string "1 ?- | ". Notice that, to avoid ambiguities I am using the C syntax for strings, so by omitting "\n" I imply that the line above is not terminated. However, the problem is the presence of "| ", not the absence of the end-of-line character. If I modify the `test' file so that it contains two lines, one blank as before followed by one containing "halt.\n" and I do the same thing as before, `out' will then contain "1 ?- ", i.e., without the vertical bar. Is this behavior the intended one? I have tested with several other Prolog systems and they do not seem to make this kind of distinction between EOF on input or an explicit "halt." occurring in it. Cheers, Roberto P.S. This question arose during the investigation of a more complex problem that is much more difficult to reproduce (and explain :-) -- 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/XSB/expected2_int16 inte ...
by Roberto Bagnara 25 Oct '04

25 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-25 10:59:10 Modified files: interfaces/Prolog/XSB: expected2_int16 interfaces/Prolog/tests: expected2_int16 Added files: demos/ppl_lcdd : expected_int16 interfaces/Prolog/XSB: expected3_int16 Log message: New and revised expectations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected_int16… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0