AlgebraicHermiteIntegration(F, UP, UPUP, R)ΒΆ

intalg.spad line 50 [edit on github]

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.