sympy/sympy — pull request #2034 by cheatiiit (2013-04-23 12:43:57+00:00)
Title: Parametric Poly Risch Differential Equation (deg(b) <=0)

This PR includes
1) *Parametric Poly Risch Differential Equation - No cancellation: deg(b) small enough *
Given a derivation D on k[t], n in ZZ, and b, q1, ..., qm in k[t] with deg(b) <=0 and either D == d/dt or deg(D) >= 2, returns h1, ..., hr in k[t] and a matrix A with coefficients in Const(k) such that if c1, ..., cm in Const(k) and q in k[t] satisfy deg(q) <= n and Dq + b*q == Sum(ci*qi, (i, 1, m)) then q = Sum(dj*hj, (j, 1, r)) where d1, ..., dr in Const(k) and A*Matrix([[c1, ..., cm, d1, ..., dr]]).T == 0.

Earlier this raised a NonimplementedError

2) Added test cases for deg(b)=0 and for deg(b) <0 satisfying the above conditions