P1788: Motion M0034.01 -- Notations: NO
My vote is no on motion 34.
I would vote YES, if a notation for
Kaucher intervals have been proposed.
As I have mentioned several times,
Kaucher intervals should be mentioned
in the standard in the same way one
mentions real numbers in the standard
for floating point number.
Kaucher intervals are the theoretic foundation
of interval arithmetic. I cannot imagine a
standard for interval arithmetic without mentioning
Kaucher intervals in the same way as I cannot imagine
a standard for FP-numbers without mentioning
the set of reals.
My proposal is to reserve the notation
II IR for Kaucher intervals, whereas the
notation I IR to be used for the set of closed,
nonempty and bounded real intervals.
Regards,
Svetoslav