[Os-project-managers] Treating NaN

[Horand Gassmann]

Kipp Martin <kmartin at chicagobooth.edu> wrote:

> Hi Guys:
>
> Do we consent to the following:

I consent to all three.

> 1) If a user inputs a NaN for an initial value, or does not specify a
> "value" for <initVarValue> we parse this as an OSNAN>
>
> 2) If a solver accepts a NaN for an initial input value, we convert our
> OSNAN to the solver NaN. This sounds like it might be tricky.

On second thought, it might not be that tricky. Note that the solver,  
too, is restricted by the defining relation, which is that x is NaN  
iff x != x is true. That makes the value of NaN dependent on the  
compiler and limits the things the solver developer can do.

> 3) If a solver does not accept a NaN we do not try to think for the user
> and convert NaN to a number the parser accepts. We throw an exception
> and tell the user that this solver does not take a NaN.

Cheers

gus