Re: Full simplify problem

*To*: mathgroup at smc.vnet.net*Subject*: [mg122277] Re: Full simplify problem*From*: Andrzej Kozlowski <akoz at mimuw.edu.pl>*Date*: Sun, 23 Oct 2011 06:23:50 -0400 (EDT)*Delivered-to*: l-mathgroup@mail-archive0.wolfram.com*References*: <D3C63570-91CA-489E-B8B7-661844B401BC@mimuw.edu.pl> <C9A65308-E4DD-4DD6-967D-FFDF15F6E7DC@mimuw.edu.pl> <1319312994.3872.YahooMailNeo@web43140.mail.sp1.yahoo.com>

I think it is "considered" normal, in the sense that Adam Strzebonski has written several times (on this forum) that FullSimplify is not "optimised" for assumptions involving Equal. I think this means that such assumptions will work for "simple" functions, such as polynomials but not necessarily for more complicated ones, unless the normal simplification process (which uses ComplexityFunction) reduces the problem to something that involves polynomials. To see what I mean, take a polynomial f[x_] := x^4 - 3 x^2 + 5 x - 1; Note that now: In[23]:= Assuming[x == y + z, FullSimplify[f[x] - f[(y + z)]]] Out[23]= 0 without any need to play around with ComplexityFunction. On the other hand if you replace f by something non-polynomial, eg. Log or Sin, you won't get 0 unless you use a suitable ComplexityFunction. Andrzej Kozlowski On 22 Oct 2011, at 21:49, dimitris anagnostou wrote: > Hello again. > > Thank you very much for your time to reply to my messages. > > As regard now the current post do you think it is a normal behavior for FullSimplify? > What about if somebody is not experienced user of FullSimplify's options? > > Dimitris > > From: Andrzej Kozlowski <akoz at mimuw.edu.pl> > To: dimitris anagnostou <dimmechan at yahoo.com> > Sent: Saturday, October 22, 2011 10:45 PM > Subject: Fwd: Full simplify problem > > Hello Dimitris > > I also sent a response to that message. It is quite similar to yours. > > Best regards > > Andrzej > > Begin forwarded message: > > > From: Andrzej Kozlowski <akoz at mimuw.edu.pl> > > Date: 22 October 2011 17:02:05 CEST > > To: A. Lapraitis <ffcitatos at gmail.com> > > Cc: mathgroup at smc.vnet.net > > Subject: Re: Full simplify problem > > > > Because FullSimplify would have to increase the default complexity to obtain the cancellation. But this works: > > > > Assuming[x == y + z, > > FullSimplify[E^x - E^(y + z), > > ComplexityFunction -> (Count[#, x, {1, Infinity}] &)]] > > > > 0 > > > > Note that the reason why this works is that: > > > > Assuming[x == y + z, > > FullSimplify[x, ComplexityFunction -> (Count[#, x, {1, Infinity}] &)]] > > > > y+z > > > > > > Andrzej Kozlowski > > > > > > On 22 Oct 2011, at 12:09, A. Lapraitis wrote: > > > >> Hello, > >> > >> Could anyone explain why the following does not give zero? > >> > >> In[72]:= Assuming[ > >> x == y + z, > >> FullSimplify[ > >> E^x - E^(y + z) > >> ] > >> ] > >> > >> Out[72]= E^x - E^(y + z) > >> > >> Thanks! > >> > > > > >