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

Re: Full simplify problem

• To: mathgroup at smc.vnet.net
• Subject: [mg122280] Re: Full simplify problem
• From: dimitris <dimmechan at yahoo.com>
• Date: Sun, 23 Oct 2011 06:24:23 -0400 (EDT)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com
• References: <j7u59t$u$1@smc.vnet.net>

On Oct 22, 1:18 pm, "A. Lapraitis" <ffcita... at gmail.com> 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!

Hello again.

Apart from my original reply I would also like to add the following
attempt which generates a message but
does what you wanted.

Assuming[x === y + z, FullSimplify[E^x - E^(y + z)]]
$Assumptions::fas:Warning: One or more assumptions evaluated to False.
0

?===
lhs === rhs yields True if the expression lhs is identical to rhs, and
yields \
False otherwise.

But I do consider my first attempt the best one (and I finally
understood that this is a normal behavior of FullSimplify thanks to
Mr  Kozlowski).

Dimitris