ElementaryRischDEX(R, F)ΒΆ

rdeefx.spad line 387

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 f = u, otherwise ei_int returns partial answer,
mk_erf: (F, F) -> F
mk_erf(u, f) should be local but conditional