Re: FullSimplify doesn't simplify
- To: mathgroup at smc.vnet.net
- Subject: [mg32783] Re: [mg32762] FullSimplify doesn't simplify
- From: "Peter Bertok" <peter at bertok.com>
- Date: Sat, 9 Feb 2002 05:12:05 -0500 (EST)
- References: <200202080849.DAA12004@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
> Does anyone know why Mathematica doesn't simplify the following to True? > > > In[1] := FullSimplify[(x y)^n == (x^n)(y^n)] > > Out[1] := (x y)^n == (x^n)(y^n) The following work: FullSimplify[(x y)^n == (x^n)(y^n), x > 0 && y > 0] FullSimplify[(x y)^n == (x^n)(y^n), n \[Element] Integers] > Are there cases where this is not true? Sure! In[1]:= FullSimplify[(x y)^n == (x^n)(y^n) //. {n -> 3/2, x -> -1, y -> I}] Out[1]:= False Mathematica doesn't exclude rational powers or complex numbers. This question keeps coming up, I think this group needs an FAQ...
- References:
- FullSimplify doesn't simplify
- From: "Ken Morgan" <kmorga51@calvin.edu>
- FullSimplify doesn't simplify