Hello,
assume(u,'complex') ; assume(v,'complex'); assume(u==conjugate(v)) ;
u-conjugate(v)returns
u-conjugate(v)whereas I was expecting
0What 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)But in some case we can't replace an assumption with an assignment. For exemple if we know that x²=y³, but both x and y are unknown, one would expect x**2-y**3 to return 0 I guess sage doesn't perform this kind of things?
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)')
0This doesn't perform any nontrivial simplification, for example x^4-y^6 doesn't return 0. But still my question was answered. Thanks everyone.
Asked: 12 years ago
Seen: 2,114 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.