ComplexTrigonometricManipulations(R, F)

efstruc.spad line 1177 [edit on github]

• R: Join(IntegralDomain, Comparable, RetractableTo Integer)

• F: Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace Complex R)

ComplexTrigonometricManipulations provides function that compute the real and imaginary parts of complex functions.

complexElementary: (F, Symbol) -> F

complexElementary(f, x) rewrites the kernels of f involving x in terms of the 2 fundamental complex transcendental elementary functions: log, exp.

complexElementary: F -> F

complexElementary(f) rewrites f in terms of the 2 fundamental complex transcendental elementary functions: log, exp.

complexForm: F -> Complex Expression R

complexForm(f) returns [real f, imag f].

complexNormalize: (F, Symbol) -> F

complexNormalize(f, x) rewrites f using the least possible number of complex independent kernels involving x.

complexNormalize: F -> F

complexNormalize(f) rewrites f using the least possible number of complex independent kernels.

imag: F -> Expression R

imag(f) returns the imaginary part of f where f is a complex function.

real?: F -> Boolean

real?(f) returns true if f = real f.

real: F -> Expression R

real(f) returns the real part of f where f is a complex function.

trigs: F -> F

trigs(f) rewrites all the complex logs and exponentials appearing in f in terms of trigonometric functions.