摘要 |
The system operates by receiving a representation of two intervals. These representations include a first and a second floating-point number representing endpoints of the interval. Next, the system performs an interval arithmetic operation using the interval operands to produce an interval result. In performing this arithmetic operation, if the first endpoint is negative infinity and the second endpoint is finite, the system treats the first endpoint as a negative overflow toward negative infinity. If the second endpoint is positive infinity and the first endpoint is finite, the system treats the first endpoint as a positive overflow toward positive infinity. If the second endpoint is negative zero and the first endpoint is less than or equal to the closest negative floating-point number to zero, the system treats the second endpoint as a negative underflow toward zero.
|