MathGroup Archive 1995

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

Search the Archive

Re: (fix) bizarre mathematica replacement rule error


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 scicomp.com
voice:  512-451-1430
fax:    512-451-1622
www:	http://www.sig.net/~scicomp/


  • 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