<br><font size=2 face="sans-serif">Matt,</font>
<br>
<br><font size=2 face="sans-serif">I have fixed on main branch (and on
development branch where it is CoinPresolve....). &nbsp;An array was not
long enough for this odd shaped problem - 5833 rows and only 23 columns
and 437 elements.</font>
<br>
<br><font size=2 face="sans-serif">As to your questions:</font>
<br>
<br><font size=2 face="sans-serif">1) CoinPresolve does not produce a proof
of infeasibility - it just declares the problem infeasible. &nbsp;Presumably
it could produce a proof. &nbsp;I suspect that the problem could be proved
to be infeasible by presolve only in first few iterations.</font>
<br>
<br><font size=2 face="sans-serif">2) &nbsp;Which codes provide multiple
rays? &nbsp;If others do and people think it is a good idea then I can
look into it.</font>
<br>
<br><font size=2 face="sans-serif">John Forrest</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td>
<td><font size=1 face="sans-serif"><b>Matthew Galati &lt;magh@lehigh.edu&gt;</b></font>
<br><font size=1 face="sans-serif">Sent by: coin-lpsolver-admin@www-124.southbury.usf.ibm.com</font>
<p><font size=1 face="sans-serif">07/28/2003 10:56 PM</font>
<td><font size=1 face="Arial">&nbsp; &nbsp; &nbsp; &nbsp; </font>
<br><font size=1 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; To:
&nbsp; &nbsp; &nbsp; &nbsp;coin-lpsolver@www-124.southbury.usf.ibm.com</font>
<br><font size=1 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; cc:
&nbsp; &nbsp; &nbsp; &nbsp;</font>
<br><font size=1 face="sans-serif">&nbsp; &nbsp; &nbsp; &nbsp; Subject:
&nbsp; &nbsp; &nbsp; &nbsp;[Coin-lpsolver] CLP Presolve</font></table>
<br>
<br>
<br><font size=2><tt>Hi CLP,<br>
<br>
I have a series of LPs to solve which are really just feasibility <br>
problems (null objective) - it is solved in the context of a column <br>
generation routine - so what I need out of the LP solver are the <br>
dualRays to create new columns. Attached, I have an example that seems
<br>
to work fine using dualSimplex. However, if I turn on presolve, it <br>
crashes inside resolve when calling the presolve routine.<br>
<br>
I have attached an example MPS file. The following is how I invoke. If
I <br>
comment out the setHintParam, it runs fine.<br>
<br>
Two associated questions:<br>
1.) Does/can presolve produce a proof of infeasibility (dual <br>
unboundeness)? Or even if it gets through resolve, will getDualRays fail?<br>
2.) Is there a way to return more than 1 dual ray at a time? It is <br>
possible that many rays exist that prove dual unboundness. Does CLP <br>
provide a way to grab several of these? Currently 'getDualRays' is <br>
hard-coded to return just 1.<br>
<br>
Thanks,<br>
Matt G<br>
<br>
 <br>
</tt></font>
<br>