| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
John Pryce wrote:
No. I am saying NaI is [=we should choose it to be] one of the Level 2 *interval datums*, in exactly the same way as NaN is [=754 chose it to be] one of the Level 2 *floating-point datums*.
But according to Motion 8, it is already one of the _decorated_ intervaldatums. Bare intervals do not knoe of NaN, stipping a decorated NaN from its decorateion results in the bare interval Empty, and not NaI.
Arnold Neumaier