Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Comments on decoration ill, intersection and union

Am 14.12.2012 20:35, schrieb Nathan T. Hayes:

Vincent Lefevre wrote:

On 2012-12-14 08:04:56 -0600, Nathan T. Hayes wrote:

Precisely. This is why the (Empty,DAC) result is not meaningless: it may
imply the input was nonempty even though the result is empty.


But what does it mean exactly?


It means: for all arithmetic operations in the lengthy computation that
occurred, the restriction of each arithmetic operation to the domain of its
respective input operands was defined and continuous, but the result is
still empty.

Therefore, (Empty,DAC) may occur for a couple reasons:

	-- the input is nonempty, but the result is empty because of an
intersection operation (as in the case of this particular example).

	-- the input is empty but there is at least one nonempty element of
the empty input box; or a nonempty constant is encountered in the
computation (similar to what you mention above).

is there a difference between
		an input and an input box ?
		an input and a constant input ?


When the interval portion of the result is nonempty, one can safely conclude
by the DAC decoration the input was nonempty.


surely
Juergen




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