ElementaryIntegration(R, F)ΒΆ

intef.spad line 1

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.