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 -> Mapping(UTS, List(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.