Re: Comments on decoration ill, intersection and union

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

Am 15.12.2012 03:34, schrieb Nathan T. Hayes:
> Vincent Lefevre wrote:
> > On 2012-12-14 13:35:13 -0600, Nathan T. Hayes wrote:
> > > 	-- the input is nonempty, but the result is empty because of an
> > > intersection operation (as in the case of this particular example).
> >
> > I have the impression that after an intersection one can obtain any
> > decoration just because of the intersection operation,

exactly my impression and one more reason not to propagate the 
decorations by an intersection operation
Juergen
> Can you explain this impression more specifically, perhaps with a concrete
> example? I don't understand what you mean.
>
> Nate

--
     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