AlgebraicHermiteIntegration(F, UP, UPUP, R)

intalg.spad line 50 [edit on github]

• F: Field

• UP: UnivariatePolynomialCategory F

• UPUP: UnivariatePolynomialCategory Fraction UP

• R: FunctionFieldCategory(F, UP, UPUP)

algebraic Hermite redution.

HermiteIntegrate: (R, UP -> UP) -> Record(answer: R, logpart: R)

HermiteIntegrate(f, ') returns [g, h] such that f = g' + h and h has a only simple finite normal poles.

HermiteIntegrate: (R, UP -> UP, R) -> Record(answer: R, logpart: R)

HermiteIntegrate(f, ', d0) returns [g, h] such that f = g' + d0*g + h and h has a only simple finite normal poles. Note: d0 must be integral.