On Sun, 28 Jan 2007, Manoj Rajagopalan wrote:

Hi all

In my experiments, I find myself unable to assign float or double coefficients to linear expressions that form my constraints. In attempting to rebuild the library on my intel FC6 machine, I find that the choices i have for the coefficients are all integer types (as told to me by the --enable-coefficients configure option).

Does this mean that PPL is good only with constraints that have integer coefficients? Can i not work with linear expressions like (4.5*x

• 3.9*y) etc?

You can represent a point with rational coefficients. For instance the point (4.5,3.9) would be input as:

Generator g = point(45*X - 39*Y, 10).

Best wishes, Pat

Thanks for Enea Zaffanella and Roberto Bagnara for replies to my previous question on point containment within polyhedra. I tried out their suggestions and found that my coefficients were being truncated to integers which is why some of my tests were failing.

Thanks in advance, Manoj Rajagopalan _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel