<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">
<div class="page" title="Page 23">
<div class="layoutArea">
<div class="column">
<p><font face="NimbusRomNo9L">Dear Roberto, </font></p>
<p><font face="NimbusRomNo9L"> I have a question about extrapolation operators in PPL library, in general, they don't guarantee termination, right? Then, I found the following text from the documentation:</font></p>
<p><font face="NimbusRomNo9L">"Note that a convergence guarantee can only be obtained by suitably restricting the set of constraints that can occur in this additional parameter. "</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L">Here is my question:</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L">Do they guarantee termination if I have a fixed set (any) of constraints? or the set of constraints has to be carefully chosen?</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L">Many thanks in advance :)</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L">Best </font></p>
<p><font face="NimbusRomNo9L">Bishoksan</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
<p><font face="NimbusRomNo9L"><br>
</font></p>
</div>
</div>
</div>
</div>
</body>
</html>