RationalIntegration(F, UP)

intrf.spad line 550 [edit on github]

• F : Join(Field, CharacteristicZero, RetractableTo(Integer))
• UP : UnivariatePolynomialCategory(F)

This package provides functions for the base case of the Risch algorithm.

infieldint : Fraction(UP) -> Union(Fraction(UP), "failed")

infieldint(f) returns g such that g' = f or "failed" if the integral of f is not a rational function.

integrate : Fraction(UP) -> IntegrationResult(Fraction(UP))

integrate(f) returns g such that g' = f.