RationalFunctionIntegration F

intrf.spad line 595 [edit on github]

• F: Join(IntegralDomain, RetractableTo Integer, CharacteristicZero)

This package provides functions for the integration of rational functions.

infieldIntegrate: (Fraction Polynomial F, Symbol) -> Union(Fraction Polynomial F, failed)

infieldIntegrate(f, x) returns a fraction g such that dg/dx = f if g exists, “failed” otherwise.

internalIntegrate: (Fraction Polynomial F, Symbol) -> IntegrationResult Fraction Polynomial F

internalIntegrate(f, x) returns g such that dg/dx = f.