Advanced Search
All Posts : MaplePrimes Commons General Technical Discussions

Type complexcons

John Fredsted 2243
November 22 2007
1
This is a follow-up on one of the unresolved issues raised in a previous post of mine. In view of the fact that 1 + I is indeed of type complexcons, can anybody please explain why the following is reasonable: 
restart:
assume(x::complexcons):
evalc(x + conjugate(x)),
evalc(x - conjugate(x));
restart:
x := 1 + I:
evalc(x + conjugate(x)),
evalc(x - conjugate(x));
                            2 x~, 0
                             2, 2 I
complex

Please Wait...