| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
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