
Re: Relational operators on intervals: bug?
Posted:
Nov 16, 2012 2:14 AM


On 15 Nov 2012, at 17:14, Murray Eisenberg <murray@math.umass.edu> wrote:
> On Nov 15, 2012, at 4:45 AM, Andrzej Kozlowski <akozlowski@gmail.com> wrote: >> >> On 15 Nov 2012, at 09:57, Andrzej Kozlowski <akozlowski@gmail.com> wrote: >>> >>> On 14 Nov 2012, at 22:01, Murray Eisenberg <murray@math.umass.edu> wrote: >>> >>>> 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 >>>> >>> >>> I don't find it surprising. >>> All you are doing is, evaluating Exists[x,Element[x,Reals],False] which is False and then Resolve[False] which is also False.The fact that IntervalMemberQ[Interval[{0, 1}], x] immediately evaluates to False (unlike, for example, 0<x<1, which evaluates to itself) is responsible for this and shows that IntervalMemberQ is not intended to be used in symbolic expressions. Compare this with >>> >>> Resolve[Exists[x, x \[Element] Reals, 0 < x < 1]] >>> >>> True >>> >> Maybe the following example will make my point clearer. >> >> Compare: >> >> Resolve[Exists[x, Element[x, Primes]]] >> >> True >> >> with >> >> Resolve[Exists[x, PrimeQ[x]]] >> >> False >> >> Mathematica `predicates (functions ending with Q) always evaluate immediately to True or False and thus are generally unsuitable for use in symbolic expressions of the above kind. > > OK, that provides an explanation of sorts. In fact, the documentation of PrimeQ makes the distinction in saying, "Simplify[expr\[Element]Primes] can be used to try to determine whether a symbolic expression is mathematically a prime." > > But the documentation for IntervalMemberQ does not say any such thing. Moreover, one might be misled into thinking > > Simplify[0.5 \[Element] Interval[{0, 1}]] > > should return True, but it returns 0.5 \[Element] Interval[{0, 1}] instead. > > Is the general rule about functions whose names end with Q documented somewhere? > >  > 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 >
I don't know if this principle is stated in the documentation in full generality but note that all the predicates (functions whose names end in Q) are defined by using the expression:
=85 gives True if =85. and False otherwise.
Also, there is no reason at all to try to use ELement to test for interval membership. The language of Mathematica is a formal language and however intuitive it may seem (it does seem so to me) the basic principle of such a language is "everything is forbidden unless explicitly allowed" rather than the opposite. There is nothing in the documentation for Element stating that you can use it with anything but domains and Interval[=85] is certainly not a domain.
Andrzej Kozlowski

