| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Yes, Michel, you are right. I am sorry for the mistake.The intention was just to exclude [-oo, -oo] and [+oo, +oo] from being intervals of T in order to avoid well known inconsistencies in the arithmetic.
Ulrich Am 18.11.2011 18:27, schrieb Michel Hack:
Ulrich Kulisch wrote:-oo and +oo are elements of all F formats. So in the last paragraph it should read: where xlo and xhi are finite F-numbers.Note that John Pryce had written:That is, the nonempty members of T comprise all intervals xx=Ýxlo,xhiš, where xlo and xhi are F-numbers.I thought we WERE supporting unbounded intervals, and those are denoted by having IEEE Inf as endpoints. A separate motion restricts MEMBERSHIP to finite numbers, which means that infinite endpoints are not included, whereas finite endpoints are included. Topologically both interval types are closed. Michel. ---Sent: 2011-11-18 17:33:21 UTC
-- Karlsruher Institut für Technologie (KIT) Institut für Angewandte und Numerische Mathematik (IANM2) D-76128 Karlsruhe, Germany Prof. Ulrich Kulisch Telefon: +49 721 608-42680 Fax: +49 721 608-46679 E-Mail:ulrich.kulisch@xxxxxxx www.kit.edu www.math.kit.edu/ianm2/~kulisch/ KIT - Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft