Re: I erred just now...

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

Dan,

In v3.01, John proposed the partial order for FTDIA:

   emp \subset con
   saf \subset def \subset con

In motion 25 terms, the equivalent is:

   D0 \subset D1
   D3 \subset D2 \subset D1

Clearly by this ordering the tracking results below are contained and there 
is no violation.

Nate


----- Original Message ----- 
From: "Dan Zuras Intervals" <intervals08@xxxxxxxxxxxxxx>
To: <stds-1788@xxxxxxxxxxxxxxxxx>
Cc: "Dan Zuras Intervals" <intervals08@xxxxxxxxxxxxxx>
Sent: Thursday, June 02, 2011 10:08 AM
Subject: I erred just now...


> Folks,
>
> I goofed up once again.
>
> The case xx = {[-3,-2],D3}, yy = {[-4,4],D3}, &
> f(xx) = xx + sqrt(xx) results in
>
> f(xx) =  {empty,D0}, D(f,xx) = D0, T(f,(xx,D)) = D0,
> f(yy) = {[-4,6],D1}, D(f,yy) = D1, T(f,(yy,D)) = D1.
>
> And we have xx \subset yy but decoration(f,xx) <
> decoration(f,yy) which violates FTDIA.
>
> Sorry.
>
> Dan