TaylorSolve(F, UTSF, UTSSMPF)

ssolve.spad line 95 [edit on github]

• F: Field

• UTSF: UnivariateTaylorSeriesCategory F

• UTSSMPF: UnivariateTaylorSeriesCategory SparseMultivariatePolynomialExpressions F

This package computes the first few coefficients of a Taylor series given only implicitly by a function f that vanishes when applied to the Taylor series.

seriesSolve: (UTSSMPF -> UTSSMPF, List F) -> UTSF

seriesSolve(f, l) returns y solving equation f(y) = 0. l gives initial coefficients of y.