Re: Discussion period started Re: Proposal of Motion 6, version 3

[Arnold Neumaier <Arnold.Neumaier@xxxxxxxxxxxx>]

John Pryce schrieb:
> On 6 Aug 2009, at 00:00, Vincent Lefevre wrote:
> > On 2009-07-29 10:00:45 +0200, Arnold Neumaier wrote:
> > > Jürgen Wolff v Gudenberg schrieb:

> > Page 6, 3.5.5: "Examples of interval mappings that are not interval
> > functions are the hull and intersection operations."
> >
> > Why not the hull operation? Isn't it the sharp interval extension
> > of the identity function?
>
> I meant the binary version, hull(aa,bb) = hull of (aa union bb). I will 
> clarify.

hull(aa) is not defined anywhere; it would make sense only in the 
context of a hull with arbitrarily many arguments.

> > Page 6, 3.6.1: "An *abstract floating point format* (*af-format*) F
> > is a finite subset of R* containing −∞ and +∞."
> >
> > I would have called it an "abstract discrete format". In particular,
> > it can correspond to a fixed-point format.
>
> Ah yes. It can indeed correspond to a fixed-point format, so the word 
> "floating" in the name is misleading. But your "discrete" is not the 
> right term to contrast with "interval". Whether point or interval, each 
> set of level 2 datums is finite, so discrete. I think
>
> - "floating point" should just be changed to "point" here.
> - So af-format, cf-format should become ap-format, cp-format throughout.
>
> Arnold, you helped harden up this part of the text. Any comments?

''Abstract number format'' sounds best to me.


Arnold Neumaier