摘要 |
A system for performing dependent interval subtraction, wherein a first interval is subtracted from a third interval to produce a resulting interval, given knowledge that the third interval is the sum of the first interval and a second interval. If the left endpoint of the third interval is negative infinity, the left endpoint of the resulting interval becomes negative infinity. Otherwise, the left endpoint of the resulting interval is computed by subtracting a left endpoint of the first interval from a left endpoint of the third interval, rounded down to a nearest floating-point number. Similarly, if the right endpoint of the third interval is positive infinity, the right endpoint of the resulting interval becomes positive infinity. Otherwise, the right endpoint of the resulting interval is computed by subtracting a right endpoint of the first interval from a right endpoint of the third interval, rounded up to a nearest floating-point number.
|