       Re: FullSimplify doesn't simplify

• To: mathgroup at smc.vnet.net
• Subject: [mg32768] Re: [mg32762] FullSimplify doesn't simplify
• From: Andrzej Kozlowski <andrzej at tuins.ac.jp>
• Date: Sat, 9 Feb 2002 05:11:38 -0500 (EST)
• Sender: owner-wri-mathgroup at wolfram.com

```Actually there are two different questions here. Let's start with the
second.

In:=
ComplexExpand[(-I)^I]

Out=
E^(Pi/2)

In:=
ComplexExpand[(-1)^I]

Out=
E^(-Pi)

In:=
ComplexExpand[I^I]

Out=
E^(-Pi/2)

So (-1 * I)^I != (-1)^I * (I)^I

You can also verify this using FullSimplify:

In:=
FullSimplify[(-1*I)^I==(-1)^I*(I)^I]

Out=
False

However this is not the reason why Mathematica does not simplify in your
case! To see that consider:

In:=
FullSimplify[(x*y)^n,Element[n,Reals]]

Out=
(x*y)^n

However the identity is indeed valid for real exponents.

The point is that Simplify (and FullSimplify) will not in general use
transformations involving symbolic powers (except for a few of the
simplest ones that are universally true and are usually applied even
without without Simplify, e.g.
In:=
(2*a)^y

Out=
2^y*a^y
). The reason is that the general algorithms on which these
transformations depend are essentially algebraic, which means they work
on polynomials and rational functions and some special functions like
trigonometric functions etc.

On Friday, February 8, 2002, at 05:49  PM, Ken Morgan wrote:

> Does anyone know why Mathematica doesn't simplify the following to True?
>
>
> In := FullSimplify[(x y)^n == (x^n)(y^n)]
>
> Out := (x y)^n == (x^n)(y^n)
>
> Are there cases where this is not true?
>
>
> Thanks,
> Ken Morgan
> kmorga51 at calvin.edu
>
>
>
>
Andrzej Kozlowski
Toyama International University
JAPAN
http://platon.c.u-tokyo.ac.jp/andrzej/

```

• Prev by Date: finite fields
• Next by Date: Re: Diophantic equations
• Previous by thread: Re: FullSimplify doesn't simplify
• Next by thread: Re: FullSimplify doesn't simplify