Re: Re: A suggestion Re: Unbounded intervals

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

Ulrich,
That is good summary. I disagree the conflict is unavoidable, however, since 
we may have MR at Level 1 and AC at Level 1a (see the new overflow paper).
At Level 2 we then also have decorations, so the decorated interval result
   1/[0,1] = ([1,+Inf],somewhereUndefined)
provides both mathematical interpretations: the bare interval [1,+Inf] 
portion of the result is the AC interpretation of the operation and the 
"somewhereUndefined" decoration is the MR interpretation of the operation.
Nate

----- Original Message ----- 
From: "Ulrich Kulisch" <Ulrich.Kulisch@xxxxxxxxxxx>
To: "Ralph Baker Kearfott" <rbk@xxxxxxxxxxxxx>; "stds-1788" 
<stds-1788@xxxxxxxxxxxxxxxxx>
Sent: Wednesday, May 02, 2012 11:20 AM
Subject: Fwd: Re: A suggestion Re: Unbounded intervals


> -------- Original-Nachricht --------
> Betreff: Re: A suggestion Re: Unbounded intervals
> Datum: Wed, 02 May 2012 16:12:47 +0200
> Von: Ulrich Kulisch <Ulrich.Kulisch@xxxxxxx>
> An: rbk@xxxxxxxxxxxxx
> Kopie (CC): stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
>
>
>
> Dear colleagues,
>
> please see the attached comments.
>
> Best wishes
> Ulrich
>
>
>
> Am 26.04.2012 17:59, schrieb Ralph Baker Kearfott:
> >  Nate, Vincent et al,
> >
> >  I suggest we "table" this discussion until someone
> >  tenders a formal motion.
> >
> >  Baker
>
> --
> Karlsruher Institut für Technologie (KIT)
> Institut für Angewandte und Numerische Mathematik (IANM2)
> D-76128 Karlsruhe, Germany
> Prof. Ulrich Kulisch
>
> Telefon: +49 721 608-42680
> Fax: +49 721 608-46679
> E-Mail:ulrich.kulisch@xxxxxxx
> www.kit.edu
> www.math.kit.edu/ianm2/~kulisch/
>
> KIT - Universität des Landes Baden-Württemberg und nationales
> Großforschungszentrum in der Helmholtz-Gemeinschaft