<div dir="ltr"><div><div><div>Hi Nesrine,<br><br></div>it may be a bug in Couenne. To prove it, we need first to prove that Couenne does receive different inputs when replacing p2/p1 with p2*(p1^-1). To do so, please find out how to retrieve the .nl files that Pyomo passes to Couenne or how to save such files from Pyomo with both models; let's call these <a href="http://f1.nl">f1.nl</a> and <a href="http://f2.nl">f2.nl</a>. Second, run Couenne on f1 and f2 and verify that the result is different as happened to you in Pyomo. If this happens, then it's likely the problem is with Couenne, and I'd like to try both .nl files. Keep in mind that the smaller the model for which the problem can be replicated, the better, as debugging is easier.<br><br></div>Regards,<br></div>Pietro<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 4, 2018 at 9:45 PM, Ouanes, Nesrine <span dir="ltr"><<a href="mailto:nesrine.ouanes@campus.tu-berlin.de" target="_blank">nesrine.ouanes@campus.tu-berlin.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr" style="font-size:12pt;color:#000000;background-color:#ffffff;font-family:Calibri,Arial,Helvetica,sans-serif">
<p>Hi all, <br>
</p>
<p><br>
</p>
<p>I want to solve my code, which is written in Python and Pyomo, with Couenne. <br>
</p>
<p>I get an error (Solver (asl) did not exit normally) with no further information , whenever I try to solve a code with a division, e.g. I have the following constraint: <br>
</p>
<p><br>
</p>
<p>r_p = p2/p1 <br>
</p>
<p><br>
</p>
<p><span style="font-size:12pt">p</span><span style="font-size:12pt">1, p</span><span style="font-size:12pt">2</span><span style="font-size:12pt"> and r_p are variables in my model. I made sure that the bounds for p1 don't include the value 0.</span></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt">All other constraints are linear and have no divisions. Couenne works fine, when I comment this constraint out. Strangely, Couenne also works fine, if I write the constraint as follows:</span></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt">r_p = p * (p1)^(-1) </span></p>
<p><span style="font-size:12pt"><br>
As I'm going to further develop my model and it will eventually have very high nonlinearities, I seek your help in understanding, why this problem occurs. </span></p>
<p><span style="font-size:12pt">C</span><span style="font-size:12pt">an this be a bug within Couenne? Or perhaps in the Solver interface in </span><span style="font-size:12pt">P</span><span style="font-size:12pt">yomo</span><span style="font-size:12pt">? </span><br>
</p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt">Looking forward to your response.</span></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt">Best,</span></p>
<p><span style="font-size:12pt">Nesrine </span></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt"> </span></p>
</div>

<br>______________________________<wbr>_________________<br>
Couenne mailing list<br>
<a href="mailto:Couenne@list.coin-or.org">Couenne@list.coin-or.org</a><br>
<a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__list.coin-2Dor.org_mailman_listinfo_couenne&d=DwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=ZxcvfrgBj_XEFq5Ymi2c2hQYsUUIXtcIIzgczKPIqFs&m=sOlxuiQNk9dWrBJCacTUAEQAzK9bBpBVKb7vfJtB-Ko&s=GOsQrxfBrbfN6rtpoqXYIWZRUC5yRrnEu4VvwX4W2sQ&e=" rel="noreferrer" target="_blank">https://urldefense.proofpoint.<wbr>com/v2/url?u=https-3A__list.<wbr>coin-2Dor.org_mailman_<wbr>listinfo_couenne&d=DwICAg&c=<wbr>Ngd-<wbr>ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLx<wbr>WPA_2Wlc4&r=ZxcvfrgBj_<wbr>XEFq5Ymi2c2hQYsUUIXtcIIzgczKPI<wbr>qFs&m=<wbr>sOlxuiQNk9dWrBJCacTUAEQAzK9bBp<wbr>BVKb7vfJtB-Ko&s=<wbr>GOsQrxfBrbfN6rtpoqXYIWZRUC5yRr<wbr>nEu4VvwX4W2sQ&e=</a><br></blockquote></div><br></div>