[PPL-devel] C_Polyhedron ray and lines

[Thomas LE MÉZO]

Thank you Enea for the advice !

That was what I was looking for.

________________________________
De : ppl-devel-bounces at cs.unipr.it <ppl-devel-bounces at cs.unipr.it> de la part de Enea Zaffanella <zaffanella at cs.unipr.it>
Envoyé : lundi 29 février 2016 14h11
À : The Parma Polyhedra Library developers' list
Objet : Re: [PPL-devel] C_Polyhedron ray and lines

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 at cs.unipr.it<mailto:PPL-devel at cs.unipr.it>
http://www.cs.unipr.it/mailman/listinfo/ppl-devel


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20160301/78a30a26/attachment.htm>