Re: DRAFT position paper

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

Arnold Neumaier wrote:
> Jürgen Wolff von Gudenberg wrote:
> > I suggest to use D_0 (Nate) or ILL  (Arnold) to only indicate really 
> > illformed intervals
>
> I agree with the above ...

And I still wait for someone to produce a shred of evidence that this 
provides any additional benefit...

> > I further suggest to change formula (33) to:
> > D_4/D_4 = D_2
> > because the division provides the decoration D_2 (somewhere undefined)
>
> This is indeed what my decoration semantics does, starting from a 
> conceptual semantics that is independent of propagation.

...and why I don't trust it:

the division operation also provides decorations D_0, D_1, D_3 and D_4. But 
if decorations are attributes of an operation evaluated over an interval 
domain, then D_4/D_4 produces no decoration since there is no interval 
operand and hence no evaluation of the division operation.

Nate