[PPL-devel] C_Polyhedron ray and lines

[Enea Zaffanella]

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:
>
> DearPPL-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
> 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/20160229/9d13bf3a/attachment.htm>