Re: Motion: Number format (Motion 33?)
Am Tue, 17 Apr 2012 13:43:39 -0700 (PDT)
schrieb Dmitry Nadezhin <dmitry.nadezhin@xxxxxxxxxx>:
> Yes, this is trivial for infsup_F interval datatypes.
>
> However, there might be artifical interval datatype T that vialates
> this property . Consider datatype T = { [m - r, m + r] | r > 0 , m
> \in F, r \in F } + { Entire, Empty } It doesn't contain singletons at
> all. I want to forbid such datatypes.
I see. Of course you are right. My suggestion is limited to the infsup
case.
Christian