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