TaylorSeriesExpansion(Coef, Expon, Var, PS, UTS)¶
serexp.spad line 1 [edit on github]
Expon: OrderedAbelianMonoid
Var: OrderedSet
PS: PowerSeriesCategory(Coef, Expon, Var)
UTS: UnivariateTaylorSeriesCategory Coef
Category for operations needed by Taylor expansions.
- apply_taylor: (UTS, PS) -> PS
apply_taylor(g, f)appliesgtof
- applyTaylor: (UTS -> UTS, PS) -> PS
applyTaylor(g, f)appliesgtof
- taylor_via_deriv: (Coef, List PS, List(Coef -> Coef)) -> PS
taylor_via_deriv(f, [x1, ..., xn], [D1, ..., Dn])expandsfinto Taylor series at (x1, …,xn) usingD1, …,Dnas partial derivatives