gulsah yilmaz wrote:

I want to use PPL im my thesis, and ask you some questions about how can I use PPL for my purpose. My thesis is about loop restructuring. I have some inequalities from the dependencies and some inequalities from my mappings which includes unknown coefficients. I want to find relations of these coefficients which provides the inequalities comming from dependencies. Can you guide me.

Dear Gulsah,

if you want guidance about how to program with the PPL, you should first consult the library's documentation and the demos and test programs distributed with it. If this does not answer all your question, please come back to us.

If, instead, you want advice on whether/how your specific problem can be solved by using convex polyhedra (and with the PPL in particular) you need to be much more specific in the problem description. All the best,

Roberto