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

RE: Promotion of bare decorations & comparisons



In reply to my example (assuming a threshold of "dac" for compressed intervals)
     [1,2] \subseteq floor([0,6])
         = [1,2] \subseteq ([0,6],def) // decorated result, below threshold
         = [1,2] \subseteq def         // compress decorated result
         = [1,2] \subseteq Empty
         = false
Nate Hayes wrote:
> So returning false in this example is exactly what the user expects,
> since [1,2] cannot be a subset of any defined and continuous interval
> range of floor([0,6]).

Ok, so let's turn it around:
     floor([0,6] \subseteq [8,9]
         ...
         = Empty \subseteq [8,9]
         = true

What is this supposed to mean?

Michel.
---Sent: 2013-01-03 22:53:12 UTC