IntegrateSolutions(F, L)

ore.spad line 531 [edit on github]

• F : Join(Field, CharacteristicZero, RetractableTo(Integer), RetractableTo(Fraction(Integer)))
• L : UnivariateSkewPolynomialCategory(F) with

  adjoint : % -> %

IntegrateSolutions implements a method to compute integral of solution of differential operator.

integrate_sols : (L, Mapping(Record(particular : Union(F, "failed"), basis : List(F)), L, F)) -> Record(ltilde : L, r : Union(L, "failed"))

integrate_sols(l, rat_solve) integrates the solutions of an operator l given rat_solve(op, g) that returns ["failed", []] if the equation op y = g has no rational solution. Otherwise, the rat_solve function should return [f, [y1, ..., ym]] where f is a particular rational solution and the yi's form a basis for the rational solutions of the homogeneous equation.