Re: Motion 42: NO
On 2013-02-12 18:43:20 +0100, Guillaume Melquiond wrote:
> Is the result of f(x)=1/(2*x) applied to [1,M] bounded or not (from the
> point of view of decorations)? I cannot think of a good reason for
> forbidding it.
FYI, there was a private discussion in November 2012, where Wolff
suggested to distinguish unbounded and overflown. I'm not really
convinced that this would be useful (any concrete application?).
But if it is chosen to be supported, the decoration must be distinct
from "com" (the name "bdc", for bounded, defined and continuous) was
used in the discussion.
Here's what I had said about "bdc":
Now, if the goal is just to say that the function is defined and
continuous on a bounded interval, the difference between "dac" and
"bdc" would be that the input is not really an unbounded interval,
but some unspecified compact (thus ditto for the output). That is,
the difference between "dac" and "bdc" is just an information on
the input (something the user knows); otherwise they are equivalent.
So, in such a case, why not replacing "bdc" by "dac", as this was
chosen initially?
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)