Transforming linear functional systems into fully integrable systems

A linear (partial) functional system consists of linear partial differential, difference equations or any mixture thereof. We present an algorithm that determines whether linear functional systems are ∂-finite, and transforms ∂-finite systems to fully integrable ones. The algorithm avoids using Gröbner bases in Laurent-Ore modules when ∂-finite systems correspond to finite-dimensional Ore modules.