ElementaryRischDESystem(R, F)ΒΆ

rdesys.spad line 218

Risch differential equation, elementary case. Author: Manuel Bronstein Date Created: 12 August 1992 Keywords: elementary, function, integration.

rischDEsys: (Integer, F, F, F, Symbol, (F, List F) -> Union(Record(mainpart: F, limitedlogs: List Record(coeff: F, logand: F)), failed), (F, F) -> Union(Record(ratpart: F, coeff: F), failed)) -> Union(List F, failed)
rischDEsys(n, f, g_1, g_2, x, lim, ext) returns y_1.y_2 such that (dy1/dx, dy2/dx) + ((0, - n df/dx), (n df/dx, 0)) (y1, y2) = (g1, g2) if y_1,y_2 exist, “failed” otherwise. lim is a limited integration function, ext is an extended integration function.