-------- Original Message -------- Subject: Re: About PPL Date: Fri, 18 Mar 2005 06:05:50 -0800 (PST) From: gulsah yilmaz gulsahyilmaz20@yahoo.com To: Roberto Bagnara bagnara@cs.unipr.it

Mr. Bagnara,

First of all, thanks for your attention. Since Polylib uses this representation I think you will be familiar with the representation. I will exlplain what I want to do:

I have inequalities like:

x+M+N+5 >= 0 y+z+1 >= 0 x+y >= 0 x+z+1 >= 0 z+M+2>=0

and an inequality which include unknown coefficients like:

(a-b)x+cz+(d+e)M+N >= 0

and by combining these inequalities I want to know the relation between unknowns like:

a+b>1 d-e+c>M ....

Thanks Gulsah Yilmaz

--- Roberto Bagnara bagnara@cs.unipr.it wrote:

Dear Gulsah,

if the file `Makefile' is missing, it is quite likely you did not configure your build directory. Please follow the instructions in the files `README.configure' and `INSTALL' (they are part of the library's documentation).

...

An example to my problem: The numbers are faik.

x y z M N Constant 1 1 0 0 1 1 5 1 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 2

and 1 a-b 0 c d+e 1 0

I want to know the relation between the unknown coefficient a,b,c,d,e. I ask you whether this is possible or not by using PPL.

Sorry, but the table above means nothing to me: I can imagine the columns named `x', `y' and so forth contain coefficients of the variables with the same names; I can imagine the column named `Constant' gives the inhomogeneous term; but I cannot make any sense of the first, unnamed column; then I don't know if that is meant to represent a set of constraints (equalities? non-strict inequalities? <=? >=? something else?) or a set of generators.

Can you please explain your problem in the language of linear algebra? Chances are that we will be able to answer your question then. Cheers,

__________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com