MathGroup Archive 2012

[Date Index] [Thread Index] [Author Index]

Search the Archive

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



  • Prev by Date: Re: Relational operators on intervals: bug?
  • Next by Date: Re: Euclidean distance of all pairwise combinations (redundants)
  • Previous by thread: Re: Relational operators on intervals: bug?
  • Next by thread: Re: Relational operators on intervals: bug?