ElementaryIntegration(R, F)

intef.spad line 1 [edit on github]

• R: Join(GcdDomain, Comparable, CharacteristicZero, PolynomialFactorizationExplicit, RetractableTo Integer, LinearlyExplicitOver Integer)

• F: Join(AlgebraicallyClosedField, TranscendentalFunctionCategory, FunctionSpace R)

This package provides functions for integration, limited integration, extended integration and the risch differential equation for elemntary functions.

lfextendedint: (F, Symbol, F) -> Union(Record(ratpart: F, coeff: F), failed)

lfextendedint(f, x, g) returns functions [h, c] such that dh/dx = f - cg, if (h, c) exist, “failed” otherwise.

lfintegrate: (F, Symbol) -> IntegrationResult F

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