October 2007 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] One more happy user of PPL
by Roberto Bagnara 12 Oct '07

12 Oct '07

Henning Meyer wrote: > Hello! > > I want to give some feedback on the PPL, and I am not sure whether a > mailing list would be the right place for that. > > I am a PhD student in Mathematics and have been using the Parma > Polyhedra Library for about one year now. > I am working on tropical geometry, and in particular have been interested > in tropical polytopes. I used the PPL to compute these objects. > Both to study concrete examples as well as to derive some computational > results on tropical linear algebra in low dimensions which I used in my > master's thesis. (There's a theorem I needed to use but couldn't prove. > I managed to calculate the set of points not satisfying the theorem > for a fixed dimension - it is empty). > > I was looking for a modern, easy-to-use C++ library for ordinary polytopes > with exact arithmetics, and PPL just fits perfectly. > > Regards, > Henning Meyer > > ---------- > Henning Meyer > University of Kaiserslautern > Department of Mathematics > Building 48, Room 417 > Kaiserslautern, Germany > hmeyer(a)mathematik.uni-kl.de > > using ppl-0.9 on IA32 running OpenSuse 10.2 Dear Henning, thank you very much for your message (by the way, the ppl-devel mailing list is perfect recipient for it). Nice to know that you found the library suitable to your purposes. In case you have suggestions on how to improve it, please do not hesitate to let us know. 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

ppl/src Grid.templates.hh
by Enea Zaffanella 11 Oct '07

11 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-11 08:46:08 Modified files: src : Grid.templates.hh Log message: In the constructor of grids from boxes, avoid meaningless implicit conversions in the calls to constructors for Grid_Generator_System. Don't use function `used' to suppress a compiler warning when it is enough to avoid naming an unused parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv…

1 0

ppl/src Coefficient.inlines.hh
by Roberto Bagnara 10 Oct '07

10 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-10 22:09:30 Modified files: src : Coefficient.inlines.hh Log message: Coefficient_zero() and Coefficient_one() temporarily restored to the old definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Coefficient.inlines.hh.di…

1 0

ppl NEWS
by Patricia Hill 10 Oct '07

10 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-10 14:01:40 Modified files: . : NEWS Log message: Added that a bug has been fixed for the grid domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.21…

1 0

ppl/src Grid.defs.hh Polyhedron.defs.hh
by Patricia Hill 10 Oct '07

10 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-10 11:45:43 Modified files: src : Grid.defs.hh Polyhedron.defs.hh Log message: Comments for constraints() and minimized_constraints() in Grid.defs.hh improved; similar improvements for congruences in Polyhedron.defs.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl ./INSTALL ./TODO Watchdog/INSTALL
by Roberto Bagnara 09 Oct '07

09 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-09 21:56:34 Modified files: . : INSTALL TODO Watchdog : INSTALL Log message: The `make uninstall' command is now mentioned in the INSTALL file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/INSTALL.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/INSTALL.diff?cvsroot…

1 0

ppl README.configure
by Roberto Bagnara 09 Oct '07

09 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-09 17:56:24 Modified files: . : README.configure Log message: Example simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 09 Oct '07

09 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-09 17:55:28 Modified files: . : configure.ac Log message: Provide the Intel C/C++ compiler with adequate warning flags. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl configure.ac
by Roberto Bagnara 09 Oct '07

09 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-09 17:47:37 Modified files: . : configure.ac Log message: The Intel C/C++ equivalent of GCC's -frounding-math should be -fp-model strict -fp-speculation off. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl configure.ac
by Roberto Bagnara 09 Oct '07

09 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-09 17:38:31 Modified files: . : configure.ac Log message: Detect the Intel C/C++ compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0