Re: Simplifying Conjugate[] with 5.2 Mac
- To: mathgroup at smc.vnet.net
- Subject: [mg59841] Re: Simplifying Conjugate[] with 5.2 Mac
- From: Paul Abbott <paul at physics.uwa.edu.au>
- Date: Tue, 23 Aug 2005 05:17:06 -0400 (EDT)
- Organization: The University of Western Australia
- References: <de45i8$qtf$1@smc.vnet.net>
- Sender: owner-wri-mathgroup at wolfram.com
In article <de45i8$qtf$1 at smc.vnet.net>, sbjensen at midway.uchicago.edu (Steuard Jensen) wrote: > Specifically, I have used $Assumptions to define some variables as > real. I apply Conjugate to various expressions, and then Simplify the > results. In version 5.0, I _never_ saw a case in which Conjugate[] > remained after this step. But in 5.2, I find that even simple forms > like Conjugate[x + I y] often remain unsimplified. (Refine[x + I y] > still seems to work, though.) For this specific type of problem there is another approach that yields correct results, is fast, and very simple to implement. Define an evaluation rule for SuperStar: SuperStar[z_] := z /. Complex[a_, b_] :> Complex[a, -b] Note that SuperStar is a special operator without built-in evaluation rules, which formats as a superscripted *. Then if you enter an expression and raise it to the power * the conjugate expression results, and all variables are automatically "assumed" to be real. You can use OverBar or SuperDagger (or other operators as well). Cheers, Paul _______________________________________________________________________ Paul Abbott Phone: 61 8 6488 2734 School of Physics, M013 Fax: +61 8 6488 1014 The University of Western Australia (CRICOS Provider No 00126G) AUSTRALIA http://physics.uwa.edu.au/~paul