L: UnivariateSkewPolynomialCategory F with
adjoint: % -> %
IntegrateSolutions implements a method to compute integral of solution of differential operator.
- integrate_sols: (L, (L, F) -> Record(particular: Union(F, failed), basis: List F)) -> Record(ltilde: L, r: Union(L, failed))
integrate_sols(l, rat_solve)integrates the solutions of an operator
g) that returns
["failed", ]if the equation
op y = ghas no rational solution. Otherwise, the rat_solve function should return
[f, [y1, ..., ym]]where
fis a particular rational solution and the
'sform a basis for the rational solutions of the homogeneous equation.