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