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?
