TaylorSeriesExpansionGeneralized(Coef, Expon, UPS, UTS)

serexp.spad line 161 [edit on github]

• Coef: Algebra Fraction Integer

• Expon: OrderedAbelianMonoid

• UPS: UnivariatePowerSeriesCategory(Coef, Expon) with

  apply_taylor: (Stream Coef, %) -> %

  infsum: Stream % -> %

  removeZeros: (%, Expon) -> %

• UTS: UnivariateTaylorSeriesCategory Coef

undocumented

apply_taylor: (UTS, UPS) -> UPS

from TaylorSeriesExpansion(Coef, Expon, SingletonAsOrderedSet, UPS, UTS)

applyTaylor: (UTS -> UTS, UPS) -> UPS

from TaylorSeriesExpansion(Coef, Expon, SingletonAsOrderedSet, UPS, UTS)

taylor_via_deriv: (Coef, List UPS, List(Coef -> Coef)) -> UPS

from TaylorSeriesExpansion(Coef, Expon, SingletonAsOrderedSet, UPS, UTS)

taylor_via_deriv: (UPS, List UPS, List(Coef -> Coef)) -> UPS

from TaylorSeriesExpansion(Coef, Expon, SingletonAsOrderedSet, UPS, UTS)

taylor_via_lode: (List UTS, UPS, List Coef) -> UPS

from TaylorSeriesExpansion(Coef, Expon, SingletonAsOrderedSet, UPS, UTS)

TaylorSeriesExpansion(Coef, Expon, SingletonAsOrderedSet, UPS, UTS)