MathGroup Archive 2013

[Date Index] [Thread Index] [Author Index]

Search the Archive

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
  • Previous by thread: Conjugate
  • Next by thread: Re: Conjugate