Mathematica 9 is now available
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 2005

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

Search the Archive

Bug in pattern parsing?

  • To: mathgroup at
  • Subject: [mg61996] Bug in pattern parsing?
  • From: Kristjan Kannike <kkannike at>
  • Date: Tue, 8 Nov 2005 03:41:36 -0500 (EST)
  • Sender: owner-wri-mathgroup at


I may have discovered a bug in pattern parsing or applying transformation

The following two rules should be equivalent:

rule1 = c_.*X_.Y_ -> X.Y

with c an optional variable, and

rule2 = c_.*Dot[X_, Y_] -> X.Y

Yet applying rule1 on a.b as




(the same result obtains for the optional factor actually present as in
const a.b), but




as it should.

I think that it has to do with the dot in c_., but curiously I get the
same result when writing the LHS of rule1 as Optional[c]*Y.Z and that
confuses me...

Any thoughts?

Kristjan Kannike

  • Prev by Date: DeleteGeneratedCells->YES!
  • Next by Date: Re: Running the kernel as a daemon?
  • Previous by thread: DeleteGeneratedCells->YES!
  • Next by thread: Re: Bug in pattern parsing?