Bug#490288: [Pkg-scicomp-devel] Bug#490288: glpk: Fails on assertion

2008-07-14 Thread Andrew Makhorin
> It seems that the behaviour of glpsol and the mip solver depend on > the computer architecture Yes, because glpk uses inexact (floating-point) arithmetic. > and that the program doesn't always catch > overflows or underflows. Most probably the failure is caused by excessive round-off errors,

Bug#490288: [Pkg-scicomp-devel] Bug#490288: glpk: Fails on assertion

2008-07-14 Thread Gernot Salzer
[ I'm a colleague of Ingo Feinerer working on the same topic. ] It seems that the behaviour of glpsol and the mip solver depend on the computer architecture and that the program doesn't always catch overflows or underflows. The modified example suggested by Andrew results in another failed asserti

Bug#490288: [Pkg-scicomp-devel] Bug#490288: glpk: Fails on assertion

2008-07-12 Thread Rafael Laboissiere
* Andrew Makhorin <[EMAIL PROTECTED]> [2008-07-12 18:06]: > Saturday, July 12, 2008, 5:56:31 PM, you wrote: > > > Does this mean that the problem is in the formulation of that specific > > example or is it a bug in GLPK? If the later is the case, are you > > planning to fix it? > > It is a bug i

Bug#490288: [Pkg-scicomp-devel] Bug#490288: glpk: Fails on assertion

2008-07-12 Thread Andrew Makhorin
Saturday, July 12, 2008, 5:56:31 PM, you wrote: > * Andrew Makhorin <[EMAIL PROTECTED]> [2008-07-12 16:06]: >> The failure appears due to insufficient robustness of the glpk mip >> solver. It is mainly caused by unbounded integer variables (x1 and x2 >> have no upper bound) having relatively larg

Bug#490288: [Pkg-scicomp-devel] Bug#490288: glpk: Fails on assertion

2008-07-12 Thread Rafael Laboissiere
* Andrew Makhorin <[EMAIL PROTECTED]> [2008-07-12 16:06]: > The failure appears due to insufficient robustness of the glpk mip > solver. It is mainly caused by unbounded integer variables (x1 and x2 > have no upper bound) having relatively large coefficients in the > constraint that leads to exces

Bug#490288: [Pkg-scicomp-devel] Bug#490288: glpk: Fails on assertion

2008-07-12 Thread Andrew Makhorin
Saturday, July 12, 2008, 12:35:26 PM, you wrote: > package glpk > tags 490288 confirmed upstream > thanks > * Ingo Feinerer <[EMAIL PROTECTED]> [2008-07-11 12:00]: >> Package: glpk >> Version: 4.11-1 >> Severity: normal >> >> >> The following linear program triggers an assertion and stops the

Bug#490288: [Pkg-scicomp-devel] Bug#490288: glpk: Fails on assertion

2008-07-12 Thread Rafael Laboissiere
package glpk tags 490288 confirmed upstream thanks * Ingo Feinerer <[EMAIL PROTECTED]> [2008-07-11 12:00]: > Package: glpk > Version: 4.11-1 > Severity: normal > > > The following linear program triggers an assertion and stops the program > without a proper solution: > > var x1 integer; > var