Re: unable to FullSimplify

*To*: mathgroup at smc.vnet.net*Subject*: [mg65945] Re: unable to FullSimplify*From*: "Vladimir" <vladimir347 at yahoo.com>*Date*: Mon, 24 Apr 2006 06:01:57 -0400 (EDT)*References*: <200604160545.BAA07958@smc.vnet.net> <200604181056.GAA14321@smc.vnet.net> <e24uhn$5s7$1@smc.vnet.net> <200604200914.FAA05331@smc.vnet.net> <e29qvc$m59$1@smc.vnet.net>*Sender*: owner-wri-mathgroup at wolfram.com

Andrzej Kozlowski wrote: >> In[]:= subdivide[a_ + b_] := FullSimplify[a] + FullSimplify[b]; >> FullSimplify[Expand[x + (x + x^2)^4], >> TransformationFunctions -> {Automatic, subdivide}] >> Out[]= x + x^4*(1 + x)^4 > > Well, yes, it works nicely here but the question is, if you make this > a default transformation transformation for FullSimplify how will it > effect complexity? Some option to FullSimplify would be enough for this to be used only when needed. Anyway, it was just one quick and arbitrary example to show that FullSimplify can be improved without too much effort > In fact it even seems hard to see how you would avoid numerous > unnecessary attempts at simplifying the same expression... That's quite normal it seems. For example, to simplify just a+b, ComplexityFunction is called 28 times(!) Here's a proof: reveal[expr_] := (Print[expr]; LeafCount[expr]) FullSimplify[a + b, ComplexityFunction -> reveal] > Some more thoughts: if your subdivide were really a default > transformation in FullSimplify it may well lead to an infinite loop, > since it would be calling on itself. Are you sure? This subdivide reduces its argument on each invocation so I don't see how infinite loop can be possible. I couldn't find any examples with such a problem. > Note however also the folowing interesting feature: > > u = Expand[x + (x + x^2)^4]; > > FullSimplify[f[u] == f[x + (x + x^2)^4]] > > True Well, since f[a]==f[a] evaluates to True, Mathematica simplifies the above equation because it is able to prove equality of f's arguments. -- Vladimir

**Follow-Ups**:**Re: Re: unable to FullSimplify***From:*Andrzej Kozlowski <akoz@mimuw.edu.pl>

**References**:**unable to FullSimplify***From:*vladimir347@yahoo.com

**Re: unable to FullSimplify***From:*"Vladimir" <vladimir347@yahoo.com>

**Re: unable to FullSimplify***From:*"Vladimir" <vladimir347@yahoo.com>