TaylorSeriesExpansionGeneralized(Coef, Expon, UPS, UTS)

serexp.spad line 162 [edit on github]

• Coef : Algebra(Fraction(Integer))
• Expon : OrderedAbelianMonoid
• UPS : UnivariatePowerSeriesCategory(Coef, Expon) with

  infsum : Stream(%) -> %

  apply_taylor : (Stream(Coef), %) -> %

  removeZeros : (%, Expon) -> %

• UTS : UnivariateTaylorSeriesCategory(Coef)

undocumented

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

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

apply_taylor : (UTS, UPS) -> UPS

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

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

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

taylor_via_deriv : (UPS, List(UPS), List(Mapping(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)