OreModules is a Maple package dedicated to module theory and homological algebra for finitely presented modules defined over an Ore algebra of functional operators (e.g., ordinary or partial differential operators, shift operators, time-delay operators, difference operators) available in the Maple package Ore_algebra, and to their applications in mathematical systems theory and mathematical physics.
Within this algebraic unified framework, OreModules handles the following classes of linear functional systems:
The OreModules package is an implementation of algorithms which compute different invariants or algebraic objects associated with a finitely presented left module over an Ore algebra such that:
It can also be used to check whether or not a finitely presented module admits torsion elements and if so, to compute a generating set, or if it is torsion-free, reflexive, projective, stably free or free. If the module is torsion-free, then a parametrization which parametrizes its solutions space can be computed.
In the context of linear control systems, the main features of OreModules are the following:
For more details, see:
The package OreModules was initiated by F. Chyzak and A. Quadrat, and further developed by D. Robertz and A. Quadrat.
A Mathematica version of the OreModules package will be soon available. It is developed by Maris Tõnso, T. Cluzeau and A. Quadrat within the PHC Parrot project CASCAC. The Mathematica version of the OreModules package is based on the implementation of Gröbner bases over Ore algebras available in the Mathematica HolonomicFunctions package developed by Christoph Koutschan.
Return to the main page