Imaginary part of symbolic variable disappears in simplify_full()

[sagetrac-jan]

var('c', domain='complex')
var('x', domain='real')
C = c * exp(-x^2)
print (C)
    c*e^(-x^2)

print (C.imag())
    e^(-x^2)*imag_part(c)

print (C.imag().simplify_full()) 
    0

Related to two-year old bug #6862. It seems, variables declared as 'complex', are assumed real in maxima. This is fixed by using sage's assume command

assume(c, 'complex')
print (C.imag().simplify_full()) 

gives the correct result.

demonstration notebook: http://demo.sagenb.org/home/pub/178/

Component: symbolics

Keywords: maxima

Reviewer: Burcin Erocal

Issue created by migration from https://trac.sagemath.org/ticket/11656

[sagetrac-jan]

Description changed:

--- 
+++ 
@@ -13,4 +13,12 @@
     0
 ```
 
+Related to two-year old bug #6862. It seems, variables declared as 'complex', are assumed real in maxima. This is fixed by using sage's assume command
+
+```
+assume(c, 'complex')
+print (C.imag().simplify_full()) 
+```
+gives the correct result.
+
 demonstration notebook: http://demo.sagenb.org/home/pub/178/

[sagetrac-jan]

Changed keywords from none to maxima

[burcin]

comment:2

As stated in the description, this is a duplicate of #6862.

[burcin]

Reviewer: Burcin Erocal