Section: New Results
Algorithmic study of linear functional systems
Participants : Alban Quadrat, Thomas Cluzeau [ENSIL, Univ. Limoges] , Daniel Robertz [Univ. Aachen] .
In [108] , it is shown that every linear functional system (e.g., PD systems, differential time-delay systems, difference systems) is equivalent to a linear functional system defined by an upper block-triangular matrix of functional operators: each diagonal block is respectively formed by a generating set of the elements of the system satisfying a purely -codimensional system. Hence, the system can be integrated in cascade by successively solving (inhomogeneous) -codimensional linear functional systems to get a Monge parametrization of its solution space [110] . The results are based on an explicit construction of the grade/purity filtration of the module associated with the linear functional system. This new approach does not use involved spectral sequence arguments as is done in the literature of modern algebra [82] , [83] . To our knowledge, the algorithm obtained in [34] is the most efficient algorithm existing in the literature of non-commutative algebra. It was implemented in the PurityFiltration package developed in Maple (see Section 5.6 ) and in the homalg package of GAP 4 (see Section 5.7 ). Classes of overdetermined/underdetermined linear systems of partial differential equations which cannot be directly integrated by Maple can be solved using the PurityFiltration package.
Given a linear multidimensional system (e.g., ordinary/partial differential systems, differential time-delay systems, difference systems), Serre's reduction aims at finding an equivalent linear multidimensional system which contains fewer equations and fewer unknowns. Finding Serre's reduction of a linear multidimensional system can generally simplify the study of structural properties and of different numerical analysis issues, and it can sometimes help solving the linear multidimensional system in closed form. In [13] , Serre's reduction problem is studied for underdetermined linear systems of partial differential equations with either polynomial, formal power series or analytic coefficients and with holonomic adjoints in the sense of algebraic analysis [82] , [83] . These linear partial differential systems are proved to be equivalent to a linear partial differential equation. In particular, an analytic linear ordinary differential system with at least one input is equivalent to a single ordinary differential equation. In the case of polynomial coefficients, we give an algorithm which computes the corresponding linear partial differential equation.
The connection between Serre's reduction and the decomposition problem [90] , which aims at finding an equivalent linear functional system which is defined by a block diagonal matrix of functional operators, is algorithmically studied in [92] .
In [111] , algorithmic versions of Statford's results [114] (e.g., computation of unimodular elements, decomposition of modules, Serre's splitting-off theorem, Stafford's reduction, Bass' cancellation theorem, minimal number of generators) were obtained and implemented in the Stafford package. In particular, we show how a determined/overdetermined linear system of partial differential equations with either polynomial, rational, formal power series or locally convergent power series coefficients is equivalently to a linear system of partial differential in at most two unknowns. This result is a large generalization of the cyclic vector theorem which plays an important role in the theory of linear ordinary differential equations.