[PPL-devel] a beginner question

[Prof. Roberto Bagnara]

On 03/08/2011 10:12 AM, Christian Mullon wrote:
> I am considering to use PPL for solving quite simple problems of the
> following type: Given a polyhedron in H-form A.X>=B, find its image
> in H-form by a linear application M. The dimensions are for example
> A(40,15), M(10,15); M is full rank (10). I am new in polyhedron
> programming; maybe the solution is obvious; if no, could you please
> tell me if such a problem is solvable using PPL, if its not too much
> time consuming in terms of computing or development?

Hi Christian,

the problem is colvable with the PPL, and it is easy in terms of
development.  In terms of computational complexity is it not easy
at all, but only testing with your actual data will give you the
answer you are looking for.  I suggest you to read the main page
of the PPL core manual:

   http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-0.11.2-html/

At the very least, search the string "image" inside it.

> Would there be
> any "Starting with PPL" tutorial, including examples, for java
> developpers?

The Java interface of the PPL has a nice manual:

   http://www.cs.unipr.it/ppl/Documentation/user/ppl-user-java-interface-0.11.2-html/

You can find some examples of use in the PPL source distribution.
All the best,

     Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it