Factoring zero-dimensional ideals of linear partial differential operators
Factoring zero-dimensional ideals of linear partial differential operators
We present an algorithm for factoring a zero-dimensional left ideal in the ring Q(x, y) [∂x, ∂y], i.e. factoring a linear homogeneous partial differential system whose coefficients belong to Q(x, y), and whose solution space is finite-dimensional over Q. The algorithm computes all the zero-dimensional left ideals containing the given …