<br><font size=2 face="sans-serif">Francois,</font>
<br>
<br><font size=2 face="sans-serif">The description of basisIsAvailable
does not say anything about an optimal basis. &nbsp;I thought it was more
so you can distinguish Volume algorithm.</font>
<br>
<br><font size=2 face="sans-serif">I can add optimalBasisIsAvailable if
you want but can the OsiCpx maintainer tell me what they think basisIsAvailable
means?</font>
<br>
<br><font size=2 face="sans-serif">John</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>Francois Margot &lt;fmargot@andrew.cmu.edu&gt;</b>
</font>
<br><font size=1 face="sans-serif">Sent by: coin-lpsolver-bounces@list.coin-or.org</font>
<p><font size=1 face="sans-serif">11/08/2005 03:25 PM</font>
<td width=59%>
<table width=100%>
<tr>
<td>
<div align=right><font size=1 face="sans-serif">To</font></div>
<td valign=top><font size=1 face="sans-serif">coin-lpsolver@list.coin-or.org</font>
<tr>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td valign=top>
<tr>
<td>
<div align=right><font size=1 face="sans-serif">Subject</font></div>
<td valign=top><font size=1 face="sans-serif">[Coin-lpsolver] basisIsAvailable()</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><font size=2><tt><br>
The function OsiClpSolverInterface::basisIsAvailable() always returns<br>
true. This is a little bit dangerous. If modifications are made to the<br>
solver after the last optimization (change of bound on variables, in<br>
particular), the available basis might be (primal or dual, or both) <br>
infeasible.<br>
<br>
Then, calling cut generators such as Gomory and Reduce-and-Split might<br>
result in invalid cuts. The only way (as far as I can tell) to prevent
this<br>
is to rely on basisIsAvailable() to stop the cut generator if the current<br>
basis is not optimal anymore.<br>
<br>
Cplex is tracking the status of the basis accurately, but Clp does not.<br>
Is it possible to fix that?<br>
<br>
Thanks<br>
<br>
Francois<br>
_______________________________________________<br>
Coin-lpsolver mailing list<br>
Coin-lpsolver@list.coin-or.org<br>
http://list.coin-or.org/mailman/listinfo/coin-lpsolver<br>
</tt></font>
<br>