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


On Nov 14, 2012, at 5:39 AM, Andrzej Kozlowski <akozlowski@gmail.com> wrote:
> > 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
What remains surprising to me is:
Resolve[Exists[x, x \[Element] Reals, IntervalMemberQ[Interval[{0, 1}], x]]] False
 Murray Eisenberg murray@math.umass.edu Mathematics & Statistics Dept. Lederle Graduate Research Tower phone 413 5491020 (H) University of Massachusetts 413 5452838 (W) 710 North Pleasant Street fax 413 5451801 Amherst, MA 010039305

