January 2004 - PPL-devel - BUGSENG Mailman

Bignums
by Roberto Bagnara 14 May '04

14 May '04

Hi there, I believe the following behavior of the CVS version of YAP witnesses a bug (or, quite possible, a misunderstanding on my part): $ yap [ Restoring file /usr/local/lib/Yap/startup ] [ YAP version Yap-4.3.23 ] ?- current_prolog_flag(bounded,X). X = false ? ?- X is 333333333333333, integer(X). no ?- X is 33333333, integer(X). X = 33333333 ? ?- X is 333333333333333, float(X). no ?- X is 333333333333333, number_chars(X,L). X = 333333333333333, L = [51,51,51,51,51,51,51,51,51,51,51,51,51,51,51] ? In words, the Prolog engine first declares it is employing unbounded integers, then it silently converts an integer numeral to... to what? Is this a bug? Am I missing something? 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

2 5

[Fwd: Re: Asking help using PPL's C interface]
by Roberto Bagnara 30 Jan '04

30 Jan '04

-------- Original Message -------- Subject: Re: Asking help using PPL's C interface Date: Fri, 30 Jan 2004 13:40:52 -0500 From: Hosung Song <hosungs(a)umich.edu> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <4019F848.2010809(a)umich.edu> <4019FF57.8070707(a)cs.unipr.it> Thank you very much for your prompt and kind reply. Shame on me. I knew the existence of the directory, but I just glanced it and I didn't thought it was a C interface example. Yeah, I didn't look into it so far. I just tried that and compilation alone was not easy. After couple of 'gcc lpenum.c', I found I needed GLPK library. Downloaded and installed. Still 'make' or 'make all' or 'make lpenum' didn't work, so I tried 'gcc -o lpenum lpenum.c -l...' and finally it took me to figure out that I need about 5 -l flags like 'gcc -o lpenum lpenum.c -lglpk -lppl_c -lppl -lgmpxx -lgmp'. It compiled and linked well, and I got the same result as in 'expected'. I hope the compilation was easy and GLPK's necessity was stated. Maybe they are all done in some place, and I may be just lazy and impatient... It looks like using the C interface is a little tedious than using the C++ interface. I wish I could use C++ library directly from my C program. I'll look into the lpenum example for a while. Thanks again. Regarding desired features, I'm wondering if you have any plan to support machine integer types as coefficients. I'm just guessing that using GMP can be quite time consuming. Of course, that can give us the ability to describe arbitrarily large polyhedra, but I suppose it can be also desirable to have faster library even with some restrictions. I checked out three libraries (PPL, new Polka, and IRISA one), and it seemed PPL is the only one supporting dimension addition/deletion, and best documented/packaged. The support of flexible dimensions is very important to me because the model checker I'm working on should be able to instantiate new analog variables as hybrid processes are instantiated in the middle of system executions. The necessity of a polyhedron library for my case is that we need to store values of analog variables with polyhedra, which are time-abstracted representation of sets of points in n-dimensional space R^n. Mostly I will just need intersections, time-elapse, and equality check operations. Thanks again and let me email you if I come up with desired features or improvements. Best wishes, Hosung Roberto Bagnara wrote: > Hosung Song wrote: > >> Professor Bagnara, >> >> Greetings. I've got some help request on PPL usage. I'm sorry if I >> should have sent this email to someone else, but I didn't think the >> developer mailing list was appropriate, and there's no contact >> information in the PPL website (other than mailing lists). I'm >> currently working on extending a software model checker (Spin) to >> hybrid settings. This requires extensive polyhedra manipulations and >> naturally I was led to your PPL package. First of all, I'd like to >> thank you for your thorough work on the library. Unfortunately, Spin >> is written in C language and I myself am not a good C++ programmer, so >> I think I have to use C language interface of PPL. While C++ usage >> seems quite intuitive (I could see from the examples in the tests >> directory), there's no example using C interface, and the >> documentation about it seems quite terse. I'm wondering if you could >> provide some very simple example of C interface usage (e.g. C >> interface version of one example in the tests directory). I guess we >> can manipulate constraints, polyhedra and so on, but I don't know how >> to deal with variables. Are variables just indexed as integers as >> ppl_dimension_type? Anyway, a brief example would be greatly helpful. >> Thanks again for your wonderful package, and I look forward to your >> little help. >> >> Best wishes, >> >> Hosung Song > > > Dear Hosung, > > the developer's mailing list is indeed the appropriate place if you want > to get in touch with the PPL's developers. On their behalf, let me thank > you for your nice words. > > Coming to the C interface, what you write makes me suspect you did not > look into the `interfaces/C/lpenum/' directory. It contains a toy > LP solver written in C and using the PPL's C interface. There you can > find examples of how to use several functions provided by that interface. > > You guess right: a variable is represented by its index, and such indices > are of type `ppl_dimension_type'. For example, > > ppl_LinExpression_add_to_coefficient(le, i, k); > > adds `k*x' to the linear expression represented by `le', where x is > the variable corresponding to dimension `i'. > > Your message indicates a number of things we can do to improve the > PPL's web site and documentation. Thank you very much for your > feedback and, please, do not hesitate to come back to us. > All the best, > > Roberto > > P.S. A number of quite exciting new features are in preparation for > the future releases of the PPL. These include support for more > precise domains and for restricted classes of polyhedra for which > very efficient algorithms are available. If you would like to > tell us more about the application you are developing and how > our library could make your life easier, please do so: this may > help us to better direct our development efforts. > -- 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

Re: Asking help using PPL's C interface
by Roberto Bagnara 30 Jan '04

30 Jan '04

Hosung Song wrote: > Professor Bagnara, > > Greetings. I've got some help request on PPL usage. I'm sorry if I > should have sent this email to someone else, but I didn't think the > developer mailing list was appropriate, and there's no contact > information in the PPL website (other than mailing lists). I'm currently > working on extending a software model checker (Spin) to hybrid settings. > This requires extensive polyhedra manipulations and naturally I was led > to your PPL package. First of all, I'd like to thank you for your > thorough work on the library. Unfortunately, Spin is written in C > language and I myself am not a good C++ programmer, so I think I have to > use C language interface of PPL. While C++ usage seems quite intuitive > (I could see from the examples in the tests directory), there's no > example using C interface, and the documentation about it seems quite > terse. I'm wondering if you could provide some very simple example of C > interface usage (e.g. C interface version of one example in the tests > directory). I guess we can manipulate constraints, polyhedra and so on, > but I don't know how to deal with variables. Are variables just indexed > as integers as ppl_dimension_type? Anyway, a brief example would be > greatly helpful. Thanks again for your wonderful package, and I look > forward to your little help. > > Best wishes, > > Hosung Song Dear Hosung, the developer's mailing list is indeed the appropriate place if you want to get in touch with the PPL's developers. On their behalf, let me thank you for your nice words. Coming to the C interface, what you write makes me suspect you did not look into the `interfaces/C/lpenum/' directory. It contains a toy LP solver written in C and using the PPL's C interface. There you can find examples of how to use several functions provided by that interface. You guess right: a variable is represented by its index, and such indices are of type `ppl_dimension_type'. For example, ppl_LinExpression_add_to_coefficient(le, i, k); adds `k*x' to the linear expression represented by `le', where x is the variable corresponding to dimension `i'. Your message indicates a number of things we can do to improve the PPL's web site and documentation. Thank you very much for your feedback and, please, do not hesitate to come back to us. All the best, Roberto P.S. A number of quite exciting new features are in preparation for the future releases of the PPL. These include support for more precise domains and for restricted classes of polyhedra for which very efficient algorithms are available. If you would like to tell us more about the application you are developing and how our library could make your life easier, please do so: this may help us to better direct our development efforts. -- 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/OCaml .cvsignore
by Roberto Bagnara 28 Jan '04

28 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-28 18:02:08 Modified files: interfaces/OCaml: .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/.cvsignore.d…

1 0

ppl/interfaces/OCaml Makefile.am
by Roberto Bagnara 28 Jan '04

28 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-28 18:01:54 Modified files: interfaces/OCaml: Makefile.am Log message: Seriously hacked so that files are created in the right places. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/OCaml gmp.h
by Roberto Bagnara 28 Jan '04

28 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-28 17:58:29 Added files: interfaces/OCaml: gmp.h Log message: Hacked version of the main C header file of GMP 4.1.2. This is to get around some bugs and limitations of SWIG 1.3.21. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/gmp.h?cvsroo…

1 0

ppl Watchdog/Makefile.am Watchdog/README Watch ...
by Roberto Bagnara 28 Jan '04

28 Jan '04

1 0

ppl ./Makefile.am ./README ./configure.ac doc/ ...
by Roberto Bagnara 27 Jan '04

27 Jan '04

1 0

ppl/interfaces/OCaml Makefile.am
by Roberto Bagnara 27 Jan '04

27 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-27 23:06:17 Modified files: interfaces/OCaml: Makefile.am Log message: Some little progress. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.…

1 0

ppl/interfaces/OCaml ppl_ocaml_c.swg ppl_c.swg
by Roberto Bagnara 27 Jan '04

27 Jan '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-01-27 23:05:55 Added files: interfaces/OCaml: ppl_ocaml_c.swg Removed files: interfaces/OCaml: ppl_c.swg Log message: Renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_c.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_c.swg.di…

1 0