| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Arnold Neumaier wrote:
On 05/06/2012 07:01 PM, Michel Hack wrote:The proposed new Level 1 is clear: plain Moore intervals. That's not what earlier motions decided to use, but then new motions can override old ones.If unbounded intervals are excluded from the standard, or replaced by intervals with a vague overflow bound, the standard will be useless for rigorous global optimization.
The motion says: "In Level 1a, FTIA is extended to unbounded intervals and the empty set according to (4) and (5); this is the level of "algebraic closure" (AC) for interval arithmetic." The definitions (4) and (5) in the position paper are the same as those given by John Pryce in the current standard draft text. So the motion is not excluding unbounded intervals from the standard. Nate