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

A few examples

Dan Zuras wrote:

I would still like to see the table in section 3 filled
out with examples.  As it is, there is much that is
non-obvious if not incorrect.


For the decorated interval (X,D)=([0,4],D3), we have:

   (X,D) \intersect (10+(X,D)) = (Empty,D3)

   floor((X,D)) \intersect (10+(X,D)) = (Empty,D2)

   sqrt((X,D)-3) \intersect (10+(X,D)) = (Empty,D1)

   sqrt((X,D)-10) \intersect (X,D) = (Empty,D0)

   sqrt((X,D)-10) \union (X,D) = ([0,4],D0)



You mention some approach in section 3.3 that suggests
the subset property might NOT be necessary in that you
know of some other property that suffices.
No. Sorry if I gave that impression. I am suggesting that if a new containment (subset) order is provided, this will lead to proof of a new FTDIA for the definitions in the motion. 

Regards,

Nate