ElementaryRischDEX(R, F)

rdeefx.spad line 420 [edit on github]

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

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

This package generates exponential integrals corresponding to polynomial part of the integral.

ei_int: (Integer, F, F, Symbol) -> Record(ans: F, right: F, primpart: F, sol?: Boolean)

ei_int(n, f, g, x) returns [h, u, t, s] such that u*exp(n*f) = (h*exp(n*f))' + t' where t involves special functions. When s is true then g = u, otherwise ei_int returns partial answer,

mk_erf: (F, F) -> F

mk_erf(u, f) should be local but conditional