Re: A few examples
> From: "Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>
> To: "P-1788" <stds-1788@xxxxxxxxxxxxxxxxx>
> Subject: A few examples
> Date: Mon, 30 May 2011 10:06:21 -0500
>
> 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)
For decoration = D3 & result = empty.
>
> floor((X,D)) \intersect (10+(X,D)) = (Empty,D2)
For decoration = D2 & result = empty.
>
> sqrt((X,D)-3) \intersect (10+(X,D)) = (Empty,D1)
For decoration = D1 & result = empty.
>
> sqrt((X,D)-10) \intersect (X,D) = (Empty,D0)
For decoration = D0 & result = empty.
>
> sqrt((X,D)-10) \union (X,D) = ([0,4],D0)
For decoration = D0 & result = nonempty.
All good examples.
And for the remaining 5 cases?
Would decrementing '10' to, say, '1' or '0.5' mostly do
the job?
>
>
> > 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
Ah, I misunderstood then.
Well, as I recall only a partial ordering was necessary to
prove FTDIA. It was:
empty < inDomain&Continuous < inDomain < in&Out
empty < outDomain < in&Out
Where, as you pointed out, 'ill' need only be placed at
some level below level 1.
So anything that fits this description would do the job.
And, as I mentioned before, if you're going to change them
anyway I would prefer if the 'less-than' went in the same
direction as the 'subset'. I think its easier conceptually.
At least it is for me. Probably easier to teach as well.
Dan