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.