IntegrationTools(R, F)ΒΆ

intaux.spad line 227 [edit on github]

Tools for the integrator Author: Manuel Bronstein Date Created: 25 April 1990 Keywords: elementary, function, integration.

kmax: List Kernel F -> Kernel F

kmax([k1, ..., kn]) returns the top-level ki for integration.

ksec: (Kernel F, List Kernel F, Symbol) -> Kernel F

ksec(k, [k1, ..., kn], x) returns the second top-level ki after k involving x.

mkPrim: (F, Symbol) -> F if F has ElementaryFunctionCategory and R has GcdDomain

mkPrim(f, x) makes the logs in f which are linear in x primitive with respect to x.

removeConstantTerm: (F, Symbol) -> F if R has IntegralDomain

removeConstantTerm(f, x) returns f minus any additive constant with respect to x.

union: (List Kernel F, List Kernel F) -> List Kernel F

union(l1, l2) returns set-theoretic union of l1 and l2.

vark: (List F, Symbol) -> List Kernel F

vark([f1, ..., fn], x) returns the set-theoretic union of (varselect(f1, x), ..., varselect(fn, x)).

varselect: (List Kernel F, Symbol) -> List Kernel F

varselect([k1, ..., kn], x) returns the ki which involve x.