Hello,
assume(u,'complex') ; assume(v,'complex'); assume(u==conjugate(v)) ;
u-conjugate(v)
returns
u-conjugate(v)
whereas I was expecting
0
What should I do if I want to simplify some computation involving complex numbers along with their conjugates?
I think the problem is that you are using assume in some steps when you just need assignment. The code below produces a result of 0.
var('v')
assume(v,'complex')
u=conjugate(v)
u-conjugate(v)
Yeah, I don't think that this kind of "assumption" is doable in Maxima (which does our assumptions under the hood). But @achrzesz has the usual way to handle this kind of thing, via substitution and/or pattern matching, which hopefully is what you are looking for.
sage: var('x y');
sage: (x^2-y^3).subs_expr(x^2==y^3)
0
sage: (x-conjugate(y)).subs_expr(x==conjugate(y))
0
sage: maxima('x^2-y^3,x^2=y^3')
0
sage: maxima('x-conjugate(y),x=conjugate(y)')
0
#replace x^2 by y^3 in x^4-y^6
sage: maxima('ratsubst(y^3,x^2,x^4-y^6)')
0
#simplify according to the rules
sage: maxima('scsimp(x^4-y^6,x^2=y^3)')
0
Asked: 2012-08-26 07:15:52 +0100
Seen: 1,921 times
Last updated: Aug 28 '12
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.