Florent Bouchy wrote:

...

In which application are you using the PPL?

I am trying to represent larger sets of real vectors, by combining PPL with arithmetically-defined integer sets. I'm working on a paper with Alain Finkel and Jerome Leroux, so I'll be able to give you some feedback about this work in a few weeks if you wish.

Yes, please! 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