RE: about com (was: Motion 42: NO)
It is not that something is unreasonable, I just thought this suggestion will make the standard design process faster by eliminating some points of contention. I may be misreading the situation, and this is no longer the point of contention, in which case I take back my suggestion.
In the normal flavor, intervals are normally used to get an enclosure for a range of a given function f(x1,...,xn) on given intervals [x1], ..., [xn]. At each intermediate step of interval computations, the resulting interval is an enclosure of the range of values of the corresponding intermediate result. In this situation, it makes sense to return, with this enclosure, additional information about the function: whether the function f is everywhere continuous on the box [x1] X ... X [xn], where it is everywhere defined on this box etc. -- all this info is provided by decorations.
The objective of different flavors is different. We can still return the information re whether the function f is continuous etc., but the situation is much less clear if, e.g., we take an input interval [2,-1].
For each specific flavor, we can come up with an appropriate definition of the corresponding decorations, but since we allow possibility of new flavors, they may require new decorations or new flavor-specific definitions of the existing decorations?
-----Original Message-----
From: John Pryce [mailto:j.d.pryce@xxxxxxxxxx]
Sent: Saturday, February 16, 2013 11:34 AM
To: Kreinovich, Vladik
Cc: stds-1788
Subject: Re: about com (was: Motion 42: NO)
Vladik
On 7 Feb 2013, at 15:55, Kreinovich, Vladik wrote:
> While we have started understanding decorations for the usual flavor intervals, we are far from understanding them for other flavors, so it may be better to explicitly define them for the usual flavor and leave a vague statement about possibility of extending to other flavors?
The Chapter 1 stuff is meant to give flavor-independent requirements; in particular Draft 6.2 §6 does so for decorations. What do you see in there, that it's unreasonable to demand of all flavors?
John