2016-09-16 10:53:38 -0500 received badge ● Famous Question (source) 2014-04-26 11:37:46 -0500 received badge ● Notable Question (source) 2013-09-12 23:23:48 -0500 received badge ● Popular Question (source) 2012-08-27 08:21:56 -0500 marked best answer assume and simplify 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)  2012-08-27 08:21:56 -0500 received badge ● Scholar (source) 2012-08-27 08:21:45 -0500 commented answer assume and simplify This doesn't perform any nontrivial simplification, for example x^4-y^6 doesn't return 0. But still my question was answered. Thanks everyone. 2012-08-26 23:19:20 -0500 commented answer assume and simplify 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? 2012-08-26 23:18:52 -0500 answered a question assume and simplify 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? 2012-08-26 00:15:52 -0500 asked a question assume and simplify 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? 2011-10-16 04:47:57 -0500 asked a question Plotting cos(x+2)cos(x)-cos(x+1)² Hello. Why does sage fail to plot this function? plot(cos(x+2)cos(x)-cos(x+1)cos(x+1),(x,-pi,pi)) Returns IndexError: index out of bounds