<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Dear Francois,<br>
I am not sure what the answer is. I think that the answer is really
problem dependent (in MILP it is very easy to construct small examples
where any solver
not doing exact arithmetic will fail and Bonmin is not doing exact
arithmetic).<br>
I would say you have to be careful (and I am trying to be very careful
in my answer). At the very least your variable value should be small
enough so that Bonmin can test if it is integer or not I would say with
an absolute precision of 10^-6.<br>
Maybe somebody has a better answer.<br>
Best,<br>
Pierre<br>
<br>
<br>
<br>
Francois Dionne wrote:
<blockquote cite="mid:AB1F0AA0F4444491A19CABF708504D39@realmofshadows"
type="cite">
<meta http-equiv="Content-Type" content="text/html; ">
<meta content="MSHTML 6.00.6000.16705" name="GENERATOR">
<style></style>
<div><font face="Arial" size="2">Dear mailing list,</font></div>
<div> </div>
<div><font face="Arial" size="2">I'm working on a series of small
nonconvex MINLPs, and I have a question: what is the maximum allowed
value of an integer variable?</font></div>
<div> </div>
<div><font face="Arial" size="2">Right now and in the near future, I
expect my integer variables to fit inside the mantissa of a double
floating point, but I am not sure about the number of guard digits I
should allow after the decimal point.</font></div>
<div> </div>
<div><font face="Arial" size="2">Thank you in advance.</font></div>
<div> </div>
<pre wrap="">
<hr size="4" width="90%">
_______________________________________________
Bonmin mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Bonmin@list.coin-or.org">Bonmin@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="http://list.coin-or.org/mailman/listinfo/bonmin">http://list.coin-or.org/mailman/listinfo/bonmin</a>
</pre>
</blockquote>
<br>
</body>
</html>