Team disco

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Software


Participants : Alban Quadrat [correspondent] , Daniel Robertz [Univ. Aachen] , Frédéric Chyzak [INRIA Rocquencourt, Algorithms Project] .

The OreModules package [80] , based on the commercial Maple package Ore - algebra [81] , is dedicated to the study of linear multidimensional systems defined over certain Ore algebras of functional operators (e.g., ordinary or partial differential systems, time-delay systems, discrete systems) and their applications in mathematical systems theory, control theory and mathematical physics. The main novelty of OreModules is to combine the recent developments of the Gröbner bases over some noncommutative polynomial rings [89] , [94] with new algorithms of algebraic analysis in order to effectively check classical properties of module theory (e.g., existence of a non-trivial torsion submodule, torsion-freeness, reflexiveness, projectiveness, stably freeness, freeness), give their system-theoretical interpretations (existence of autonomous elements or successive parametrizations, existence of minimal/injective parametrizations or Bézout equations) [103] , [102] , [79] and compute important tools of homological algebra (e.g., (minimal) free resolutions, split exact sequences, extension functors, projective or Krull dimensions, Hilbert power series) [72] . The abstract language of homological algebra used in the algebraic analysis approach carries over to the implementations in OreModules : up to the choice of the domain of functional operators which occurs in a given system, all algorithms are stated and implemented in sufficient generality such that linear systems defined over the Ore algebras developed in the Ore - algebra package are covered at the same time. Applications of the OreModules package to mathematical systems theory, control theory and mathematical physics are illustrated in a large library of examples. The binary of the package is freely available at .


Logo Inria