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