Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

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

Search the Archive

Re: Question on pattern matching

  • To: mathgroup at
  • Subject: [mg47791] Re: Question on pattern matching
  • From: Jens-Peer Kuska <kuska at>
  • Date: Tue, 27 Apr 2004 04:46:35 -0400 (EDT)
  • Organization: Universitaet Leipzig
  • References: <c6ibik$6fp$>
  • Reply-to: kuska at
  • Sender: owner-wri-mathgroup at


Orderless mean not that Mathematica try all possible argument
orderings, it mean that Mathematica can order the arguments in the
way it likes it (OrderedQ[args]===True)


Roman Green wrote:
> Hi,
> I am a very newbie in Mathematica so sorry for possibly stupid question.
> In the following Mathematica's output
> In[1]:= SetAttributes[k, Orderless]
> In[2]:= k[a, b, b] /. k[x_, x_, y_] -> 0
> Out[2]= 0
> In[3]:= k[a, b, b] /. k_[x_, x_, y_] -> 0
> Out[3]= k[a, b, b]
> I can't understand why Mathematica can find match when applying pattern
> k[x_, x_, y_], but is unable with more general pattern k_[x_, x_, y_].
> Thanks in advance.
> ---
> R. Green

  • Prev by Date: Re: Question on pattern matching
  • Next by Date: Re: Distinguishable From 1.0
  • Previous by thread: Re: Re: Question on pattern matching
  • Next by thread: RE: Question on pattern matching