Re: Relational operators on intervals: bug?
- To: mathgroup at smc.vnet.net
- Subject: [mg128666] Re: Relational operators on intervals: bug?
- From: Andrzej Kozlowski <akozlowski at gmail.com>
- Date: Thu, 15 Nov 2012 03:57:55 -0500 (EST)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-newout@smc.vnet.net
- Delivered-to: mathgroup-newsend@smc.vnet.net
- References: <k7p3j3$ca3$1@smc.vnet.net> <20121112080708.39931690E@smc.vnet.net> <k7skt2$ku3$1@smc.vnet.net> <20121114062826.C02FC69AC@smc.vnet.net>
On 14 Nov 2012, at 07:28, Richard Fateman <fateman at 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
- References:
- Re: Relational operators on intervals: bug?
- From: Richard Fateman <fateman@cs.berkeley.edu>
- Re: Relational operators on intervals: bug?
- From: Richard Fateman <fateman@cs.berkeley.edu>
- Re: Relational operators on intervals: bug?