tell x*conjugate(x) is 1
- Subject: tell x*conjugate(x) is 1
- From: Barton Willis
- Date: Fri, 23 Oct 2009 08:15:51 -0500
Your tellsimpafter almost works; does this code fix the problem?
(%i1) matchdeclare(a, lambda([s], mapatom(s) and get(s, unit_modulus)))$
(%i2) block([simp : false], tellsimpafter(conjugate(a),1/a))$
(%i3) declare(z,complex)$
(%i4) put(z,true,'unit_modulus)$
(%i5) conjugate(%i * z- 1/z);
(%o5) -z-%i/z
(%i6) conjugate(z * conjugate(z));
(%o6) 1
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>To:?"'Maxima?List'"?<maxima at math.utexas.edu>
>From:?Leo?Butler?<l.butler at ed.ac.uk>
>Sent?by:?maxima-bounces at math.utexas.edu
>Date:?10/23/2009?05:55AM
>Subject:?[Maxima]?tell?x*conjugate(x)?is?1
>
>Hi,
>
>I?am?doing?some?computations?with?an?indeterminate?'x'?that?represents?a
>complex?number?of?unit?modulus.?At?the?moment,?I?define
>
>x?:?exp(%i*t);
>
>carry?out?my?computations?and?then?back-substitute?so?the?expressions
>are?in?terms?of?x?alone.?This?seems?terribly?inefficient?and?roundabout.
>
>Can?I?tell?the?simplifier?that?x*conjugate(x)?is?1??tellsimp?informs?me
>that?rules?on?'+'?and?'*'?may?not?work?--?and?this?appears?true.
>I?have?also?tried
>
>matchdeclare(ab,is(get(ab,'unit_modulus)?and?featurep(ab,'complex)));
>tellsimpafter(nounify(conjugate)(ab),1/ab);
>
>without?effect.
>
>Leo
>
>--
>The?University?of?Edinburgh?is?a?charitable?body,?registered?in
>Scotland,?with?registration?number?SC005336.
>
>_______________________________________________
>Maxima?mailing?list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima