TaylorSeriesExpansionPuiseux(Coef, UTS, ULS, UPS)

serexp.spad line 113 [edit on github]

• Coef : Algebra(Fraction(Integer))
• UTS : UnivariateTaylorSeriesCategory(Coef)
• ULS : UnivariateLaurentSeriesConstructorCategory(Coef, UTS)
• UPS : UnivariatePuiseuxSeriesConstructorCategory(Coef, ULS)

undocumented

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

from TaylorSeriesExpansion(Coef, Fraction(Integer), SingletonAsOrderedSet, UPS, UTS)

apply_taylor : (UTS, UPS) -> UPS

from TaylorSeriesExpansion(Coef, Fraction(Integer), SingletonAsOrderedSet, UPS, UTS)

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

from TaylorSeriesExpansion(Coef, Fraction(Integer), SingletonAsOrderedSet, UPS, UTS)

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

from TaylorSeriesExpansion(Coef, Fraction(Integer), SingletonAsOrderedSet, UPS, UTS)

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

from TaylorSeriesExpansion(Coef, Fraction(Integer), SingletonAsOrderedSet, UPS, UTS)

TaylorSeriesExpansion(Coef, Fraction(Integer), SingletonAsOrderedSet, UPS, UTS)