       Re: Simplify problems for checking easy equalities...

• To: mathgroup at smc.vnet.net
• Subject: [mg53858] Re: Simplify problems for checking easy equalities...
• From: "David W. Cantrell" <DWCantrell at sigmaxi.org>
• Date: Tue, 1 Feb 2005 04:08:09 -0500 (EST)
• References: <cti5nd\$8n2\$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```cyruserik at tele2.se (Cyrus Erik Eierud) wrote:
>
> My problem is that I can not simplify what to me seems as a very
> simple equality task. This is what I want Mathematica to return zero
> for:
>
> in:= FullSimplify[Log[x^n] - n*Log[x]]
>
> out= -n Log[x] + Log[x^n])
>
> I have used Simplify to check equalities, but the one above (and many
> other equations similar to the one above) just don't simplify. Am I
> doing anything wrong or does anyone know of a better way to check
> equalities?

That expression is not necessarily zero, and that, of course, is why
Mathematica will not simplify the expression as you wish. However, if you
supply appropriate conditions, so that the expression is necessarily zero,
then you should be able to get the desired simplification. For example,

In:= Simplify[Log[x^n] - n*Log[x], x > 0 && Element[n, Reals]]

Out= 0

David Cantrell

```

• Prev by Date: Re: Simplify problems for checking easy equalities...
• Next by Date: Re: Simplify problems for checking easy equalities...
• Previous by thread: Re: Simplify problems for checking easy equalities...
• Next by thread: Re: Simplify problems for checking easy equalities...