| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Nate Hayes a écrit :
Dominique,
I don't quite follow. Can you clarify?
If we have the tracking results (by motion 25):
sqrt([1,4])
= sqrt(([1,4],D3)) // promote input to "best" decoration
= (sqrt([1,4]),inf(S(sqrt,[1,4]),D3))
= ([1,2],inf(D3,D3))
= ([1,2],D3)
sqrt(Empty)
= sqrt((Empty,D4)) // promote input to "best" decoration
The best decoration is now D3
= (sqrt(Empty),inf(S(sqrt,Empty),D4))
= (Empty,inf(D4,D4))
= (Empty,D4)
then we also have:
The result is (Empty, D3) And the other conditions hold as well
Empty \subset [1,4] and D4 \subset D3 or, in motion 26 terms: Empty \subset [1,4] and ein \subset dac so the tracking results are consistent with FTDIA. Or were you making some other point? Nate
Dominique -- Dr Dominique LOHEZ ISEN 41, Bd Vauban F59046 LILLE France Phone : +33 (0)3 20 30 40 71 Email: Dominique.Lohez@xxxxxxx