Expand description
Complex-analysis methods on Ex (re, im, conjugate, arg, polar, …).
Complex-analysis methods on Ex: re, im,
conjugate, arg, polar form — plus the 0.2 special-function
constructors (si, ci, ei, li, zeta, polygamma,
kronecker_delta).
§Realness is never assumed
A bare symbol x is not treated as real. x.re() returns the
unevaluated node re(x) unless x carries a Real (or stronger)
assumption, in which case x.re() == x and x.im() == 0. Use
Context::symbol_with or
Ex::assume to declare assumptions.
Principal-branch semantics apply throughout: arg(z) ∈ (−π, π].