complex full_simplify error

291 days ago by jan

var('c', domain='complex') var('x', domain='real') C = c * exp(-x^2) pretty_print (C) pretty_print (C.imag()) pretty_print (C.imag().simplify_full()) # WTF? wrong! 
       
\newcommand{\Bold}[1]{\mathbf{#1}}c e^{\left(-x^{2}\right)}
\newcommand{\Bold}[1]{\mathbf{#1}}e^{\left(-x^{2}\right)} \Im \left( c \right)
\newcommand{\Bold}[1]{\mathbf{#1}}0
\newcommand{\Bold}[1]{\mathbf{#1}}c e^{\left(-x^{2}\right)}
\newcommand{\Bold}[1]{\mathbf{#1}}e^{\left(-x^{2}\right)} \Im \left( c \right)
\newcommand{\Bold}[1]{\mathbf{#1}}0
assume(c, 'complex') print (C.imag().simplify_full()) # correct 
       
e^(-x^2)*imagpart(c)
e^(-x^2)*imagpart(c)