[PPL-devel] One more happy user of PPL

[Roberto Bagnara]

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 at 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 at cs.unipr.it