MathGroup Archive 2012

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

Search the Archive

Why does ModuleQ[{0,1,2}, expr_] evaluate to True?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg125912] Why does ModuleQ[{0,1,2}, expr_] evaluate to True?
  • From: Christoph Lhotka <christoph.lhotka at fundp.ac.be>
  • Date: Fri, 6 Apr 2012 06:01:34 -0400 (EDT)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com

Hello,

I found and interesting subject of discussion in the post

"Bug in pattern test, or I did something wrong?"


I could trace back the problem to an issue with ModuleQ.

Question: Why does

In[12]:= ModuleQ[{0,1,2},expr_]

Out[12]:= True

evaluate to True?


My argumentation is as follows:

On the one hand there could be a chance that expr_ is 0,1 or 2 but on 
the other
hand the probability that expr_ is not 0,1 or 2 is even higher. As a 
conclusion it should neither
evaluate to True nor to False.

In other words: Is there any reason why the expression of everything 
(named expr)
is contained in the set {0,1,2} ?

Best,

Christoph



  • Prev by Date: Re: fyi, small note on using Mathematica for object based programming
  • Next by Date: Re: Axes scales on ListPlot family
  • Previous by thread: How to get the path of a .m file I am running?
  • Next by thread: Re: evaluate to True?