Re: Conjugate
- To: mathgroup at smc.vnet.net
- Subject: [mg129991] Re: Conjugate
- From: Bob Hanlon <hanlonr357 at gmail.com>
- Date: Sun, 3 Mar 2013 02:21:15 -0500 (EST)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-newout@smc.vnet.net
- Delivered-to: mathgroup-newsend@smc.vnet.net
- References: <20130302084651.EF8506882@smc.vnet.net>
To have an Element statement applied it would have to be used as an
assumption along with a command that can use assumptions (e.g.,
Simplify, FullSimplify).
Assuming[Element[{A, B}, Complexes],
FullSimplify[Conjugate[A + B] == Conjugate[A] + Conjugate[B]]]
True
FullSimplify[Conjugate[A + B] == Conjugate[A] + Conjugate[B],
Element[{A, B}, Complexes]]
True
However, this Assumption is unnecessary.
FullSimplify[Conjugate[A + B] == Conjugate[A] + Conjugate[B]]
True
Bob Hanlon
On Sat, Mar 2, 2013 at 3:46 AM, 遠山聡一 <st.merl.ebina at gmail.com> wrote:
> I executed following inputs:
> Exit[]
> Element[{A, B}, Complexes];
> Conjugate[A + B] == Conjugate[A] + Conjugate[B]
> I expected "True" on the last input, but Mathematica's output was:
> Conjugate[A + B] == Conjugate[A] + Conjugate[B]
> Why didnt Mathematica answer "True"?
> Thanks.
>
- References:
- Conjugate
- From: 遠山聡一 <st.merl.ebina@gmail.com>
- Conjugate