# TranscendentalIntegration(F, UP)¶

expintegrate(f, ', foo) returns [g, a] such that f = g' + a, and a = 0 or a has no integral in F; Argument foo is a Risch differential equation solver on F.
lambintegrate(f, dx, D1, D2, extint, int) integrates f in extension by LambertW function. dx is derivative of the argument of LambertW, D1 is dervative on F, D2 is derivative on UP, extint is extended integration function on F, int is integration function on F.
monomialIntegrate(f, ') returns [ir, s, p] such that f = ir' + s + p and all the squarefree factors of the denominator of s are special w.r.t the derivation ‘.
monomialIntPoly(p, ') returns [q, r] such that p = q' + r and degree(r) < degree(t'). Error if degree(t') < 2.
primintegrate(f, ', foo) returns [g, a] such that f = g' + a, and a = 0 or a has no integral in UP. Argument foo is an extended integration function on F.