UTSodetools(F, UP, L, UTS)

oderf.spad line 247 [edit on github]

• F: Ring

• UP: UnivariatePolynomialCategory F

• L: LinearOrdinaryDifferentialOperatorCategory UP

• UTS: UnivariateTaylorSeriesCategory F

RUTSodetools provides tools to interface with the series ODE solver when presented with linear ODEs.

LODO2FUN: L -> List UTS -> UTS

LODO2FUN(op) returns the function to pass to the series ODE solver in order to solve op y = 0.

RF2UTS: Fraction UP -> UTS if F has IntegralDomain

RF2UTS(f) converts f to a Taylor series.

UP2UTS: UP -> UTS

UP2UTS(p) converts p to a Taylor series.

UTS2UP: (UTS, NonNegativeInteger) -> UP

UTS2UP(s, n) converts the first n terms of s to a univariate polynomial.