FunctionSpaceToExponentialExpansion(R, FE, x, cen)

fs2expxp.spad line 1 [edit on github]

• R : Join(GcdDomain, Comparable, RetractableTo(Integer), LinearlyExplicitOver(Integer))
• FE : Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace(R))
• x : Symbol
• cen : FE

This package converts expressions in some function space to exponential expansions.

exprToXXP : (FE, Boolean) -> Union(:(%expansion, ExponentialExpansion(R, FE, x, cen)), :(%problem, Record(func : String, prob : String)))

exprToXXP(fcn, posCheck?) converts the expression fcn to an exponential expansion. If posCheck? is true, log's of negative numbers are not allowed nor are nth roots of negative numbers with n even. If posCheck? is false, these are allowed.

localAbs : FE -> FE

localAbs(fcn) = abs(fcn) or sqrt(fcn^2) depending on whether or not FE has a function abs. This should be a local function, but the compiler won't allow it.