
Re: Relational operators on intervals: bug?
Posted:
Nov 15, 2012 4:04 AM


On 14 Nov 2012, at 07:28, Richard Fateman <fateman@cs.berkeley.edu> wrote:
> On 11/12/2012 9:13 PM, Murray Eisenberg wrote: > >> >> Here is the empty interval in Mathematica: >> >> Interval[{1, 0}] >> >> Indeed: >> >> Resolve[Exists[x, IntervalMemberQ[Interval[{1, 0}], x]]] >> False >> > Apparently this doesn't mean what you think it does. It gives the same > answer for Interval[{0,1}].
Of course that is because
IntervalMemberQ[Interval[{0, 1}], x]
False
Andrzej Kozlowski

