RationalIntegration(F, UP)ΒΆ

intrf.spad line 549

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.