[Coin-lpsolver] Assertion failed: nowUpper < large, file CoinPresolveImpliedFree.cpp, line 702

[js at jeannot.org]

Lou Hafer wrote:
> 	I've seen this error (nowUpper < large) before, though the failed
> assertion was at a different line in CoinPresolveImpliedFree. I traced the
> problem to the handling of infinity.  Much COIN code, including
> CoinPresolve
> and OsiPresolve, uses `finite' infinity --- DBL_MAX. The solver I maintain
> (dylp) defaults to IEEE infinity.  The error was caused by leakage of IEEE
> infinity out of OsiDylp.  The solution (short of a major rewrite of the
> COIN
> code base) is to make sure the COIN code never sees IEEE infinity.

I was effectively unsing HUGE_VAL instead of DBL_MAX. I switched to the
correct representation of infinity, and the problem disapeared.

Many thanks !

Regards,

js