FunctionSpaceComplexIntegration(R, F)

integrat.spad line 47 [edit on github]

• R : Join(GcdDomain, Comparable, CharacteristicZero, PolynomialFactorizationExplicit, RetractableTo(Integer), LinearlyExplicitOver(Integer))
• F : Join(TranscendentalFunctionCategory, AlgebraicallyClosedFunctionSpace(R))

FunctionSpaceComplexIntegration provides functions for the indefinite integration of complex-valued functions.

complexIntegrate : (F, Symbol) -> F

complexIntegrate(f, x) returns the integral of f(x)dx where x is viewed as a complex variable.

internalIntegrate : (F, Symbol) -> IntegrationResult(F)

internalIntegrate(f, x) returns the integral of f(x)dx where x is viewed as a complex variable.

internalIntegrate0 : (F, Symbol) -> IntegrationResult(F)

internalIntegrate0 should be a local function, but is conditional.