<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hello.<br>
<br>
An answer to a variation of your request can be found by reading the
following thread:<br>
<br>
<a 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
cite="mid:AM4PR05MB1458673F3DCFDE9F064915E18BA60@AM4PR05MB1458.eurprd05.prod.outlook.com"
type="cite">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
<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 wrap="">_______________________________________________
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>
</body>
</html>