Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2005
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*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

Re: Transformation rule problem

  • To: mathgroup at smc.vnet.net
  • Subject: [mg58168] Re: Transformation rule problem
  • From: Oliver Buerschaper <groo137vy at yahoo.co.uk>
  • Date: Tue, 21 Jun 2005 06:02:41 -0400 (EDT)
  • References: <d90slm$8tt$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

> Brute force to the rescue!
> 
>     rulen[a_, b_][d_] = a^n_*b^m_ :> d*(a^(n - 1)*b^(m - 1));
>     rulea[a_, b_][d_] = a*b^m_ :> d*b^(m - 1);
>     ruleb[a_, b_][d_] = a^n_*b :> d*a^(n - 1);
> 
>     mySimplify[expr_, a_ b_ -> d_] :=
>         (expr //. rulen[a, b][d]) /. {rulea[a, b][d], ruleb[a, b][d]}
> 
> This only works when a and b are not "mixable", i.e. they are immediately
> identifiable by sheer pattern matching.

What do you mean by this?

Oliver


  • Prev by Date: Re: lists of variables
  • Next by Date: Re: lists of variables
  • Previous by thread: Re: Transformation rule problem
  • Next by thread: Re: Transformation rule problem