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