<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>Thank you Enea for the advice !</p>
<p>That was what I was looking for.<br>
</p>
<br>
<div style="color: rgb(0, 0, 0);">
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font style="font-size:11pt" face="Calibri, sans-serif" color="#000000"><b>De :</b> ppl-devel-bounces@cs.unipr.it <ppl-devel-bounces@cs.unipr.it> de la part de Enea Zaffanella <zaffanella@cs.unipr.it><br>
<b>Envoyé :</b> lundi 29 février 2016 14h11<br>
<b>À :</b> The Parma Polyhedra Library developers' list<br>
<b>Objet :</b> Re: [PPL-devel] C_Polyhedron ray and lines</font>
<div> </div>
</div>
<div>Hello.<br>
<br>
An answer to a variation of your request can be found by reading the following thread:<br>
<br>
<a title="Ctrl+Cliquer ou appuyer pour suivre le lien" class="moz-txt-link-freetext" href="http://www.cs.unipr.it/pipermail/ppl-devel/2014-March/018826.html">
http://www.cs.unipr.it/pipermail/ppl-devel/2014-March/018826.html</a><br>
<br>
Here it is explained how floating point constraint coefficients can be encoded as integers.<br>
The very same technique can be used for generators too (using the divisor for points where needed).<br>
<br>
Hope this helps,<br>
Enea.<br>
<br>
<br>
<br>
<div class="moz-cite-prefix">On 02/25/2016 05:18 PM, Thomas LE MÉZO wrote:<br>
</div>
<blockquote type="cite">
<div id="divtagdefaultwrapper" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<p>Dear<span> PPL-developers,</span></p>
<p><br>
<span></span></p>
<p><span>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.</span></p>
<p><span><br>
</span></p>
<p><span>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).</span></p>
<p><span><br>
</span></p>
<p><span>Thank you in advance,</span></p>
<p><span>Thomas<br>
</span></p>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset> <br>
<pre>_______________________________________________
PPL-devel mailing list
<a class="moz-txt-link-abbreviated" href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a>
<a class="moz-txt-link-freetext" href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a>
</pre>
</blockquote>
<br>
</div>
</div>
</div>
</body>
</html>