Re: ReplaceAll (/.)
- To: mathgroup at smc.vnet.net
- Subject: [mg69206] Re: ReplaceAll (/.)
- From: email at email.com
- Date: Fri, 1 Sep 2006 18:41:07 -0400 (EDT)
- References: <ed9491$tu$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
(a b) /. x__Times -> List @@ x // Trace
gives
{{{List @@ x, x}, x__Times -> x, x__Times -> x},
a b /.\[InvisibleSpace]x__Times -> x, a b}
shows that List@@x is first evaluated before being applied when -> is
used (as should be). With RuleDelayed (:>) :
(a b) /. x__Times :> List @@ x // Trace
gives
{{x__Times :> List @@ x, x__Times :> List @@ x},
a b /.\[InvisibleSpace]x__Times :> List @@ x, List @@ (a b), {a, b}}
List@@x is evaluated after applying the rule.
GL
On Fri, 1 Sep 2006 11:07:13 +0000 (UTC), Bruce Colletti
<vze269bv at verizon.net> wrote:
>Re Mathematica 5.2.0.0.
>
>Why doesn't:
>
> (a b) /. x_Times -> List @@ x
>
>return {a,b}? My (flawed) reasoning is that a b has form Times[a,b], and so x matches to Times[a,b]. List@@x replaces Times with List to yield List[a,b], or {a,b}...or so it would seem.
>
>The explanation is somehow linked to the fact that:
>
> (a b) /. x_Times :> List @@ x
>
>returns {a,b}, but I don't see why this works but not the above.
>
>Although List@@(a,b) returns {a,b}, I want to use the above ReplaceAll function (this example here is taken from a larger problem).
>
>Thankx.
>
>Bruce