Re: Decoration of 2-output division: a query.

[Jürgen Wolff von Gudenberg <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

John,
motion 43 says or more precise should be interpreted that 2 non empty 
intervals only occur if b_ < b < b° with decoration trv otherwise we 
have one interval representing the quotient inluding decoration an an 
empty set with decoration trv
Juergen

Am 20.07.2013 23:59, schrieb John Pryce:
> Folk
> The position paper on Motion 43 div2pair says
> > As a division divPair shall have a version for decorated intervals setting the local decoration to trv, if the denominator contains 0, and to dac or com, if not.
>
> This presumably means both outputs get this decoration. But it doesn't quite work, as if one output is empty it might be decorated com or dac which isn't allowed.
>
> Juergen, it was your motion, what do you say?
>
> John P

--
     o           Prof. Dr. Juergen Wolff von Gudenberg,  Lehrstuhl fuer 
Informatik II
    / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 86602
  / \  Uni       E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
 o   o Wuerzburg