MathGroup Archive 1995

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

Search the Archive

Re: (fix) bizarre mathematica replacement rule error

  • To: mathgroup at
  • Subject: [mg2539] Re: [mg2497] (fix) bizarre mathematica replacement rule error
  • From: kant at (Elaine Kant)
  • Date: Fri, 17 Nov 1995 00:20:00 -0500

The sometimes-crashing-mathematica behavior I reported for the rule
     (x_==y_ && p_ == q_) :> 6
was due to a "rarely encountered bug in the pattern matcher" known to
Wolfram and already fixed for the next release of Mathematica.  The
workaround is to rewrite the pattern in a different way, and almost any
different way will work, which is why my solution of 
   Literal[And][x_==y_, p_==q_] :> 6
and other proposals such as
   Op[x_==y_, p_==q_] :> 6 /; op===And
all work.

Thanks to everyone who suggested workarounds and made other helpful 
proposals about solving the more general inequality simplification problem.

 - Elaine


Elaine Kant
SciComp Inc.
5806 Mesa Drive, Suite 250
Austin, TX 78731

email:	kant at
voice:  512-451-1430
fax:    512-451-1622

  • Prev by Date: Why no simplification ?
  • Next by Date: mathematica use
  • Previous by thread: Re: (fix) bizarre mathematica replacement rule error
  • Next by thread: Re: Writing big files with Mathematica