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>
• Prev by Date: Conjugate
• Next by Date: Re: Conjugate