Advanced Search
All Posts : MaplePrimes Commons General Technical Discussions

Persuading evalc?

John Fredsted 2238
November 09 2007
0
Can evalc be persuaded to return for 
assume(x::complex):
+1/2*evalc(x + conjugate(x));
-I/2*evalc(x - conjugate(x));
the real and imaginary parts of x, respectively, i.e., Re(x) and Im(x). Further, can evalc be persuaded to let 
assume(u::complex,v::complex):
evalc(Re(u)+Re(v)-Re(u+v));
evalc(Im(u)+Im(v)-Im(u+v));
return zeros identically? It does return zeros identically if either u or v (or both) is real-valued. But not if u and v are both assumed complex-valued. Why not?
complex

Please Wait...