Hello.

An answer to a variation of your request can be found by reading the following thread:

http://www.cs.unipr.it/pipermail/ppl-devel/2014-March/018826.html

Here it is explained how floating point constraint coefficients can be encoded as integers.
The very same technique can be used for generators too (using the divisor for points where needed).

Hope this helps,
Enea.

On 02/25/2016 05:18 PM, Thomas LE MÉZO wrote:

Dear PPL-developers,

I'm currently working on guaranteed integration using interval analysis. I need to compute the projection and intersection of close polyhedron and that is why it appears the PPL library could do the job.

However, I need to work with floating numbers and I would like to know if there is a way to use floating numbers in the building vector of a "ray" or a "line" ? (or any alternative method which does not imply to compute the projection for each points of the polyhedron).

Thank you in advance,

Thomas
_______________________________________________
PPL-devel mailing list
PPL-devel@cs.unipr.it
http://www.cs.unipr.it/mailman/listinfo/ppl-devel