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.