[PPL-devel] Re: About PPL

[Roberto Bagnara]

gulsah yilmaz wrote:
> Mr. Bagnara
> 
> I read library's documentation, but I could not run
> the test programs since compilation failure. I
> download the source codes from ftp site and execute
> make command. It fails since the MakeFile document is
> missing.

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,

     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