Section: New Software and Platforms

OreMorphisms

Functional Description

The OreMorphisms package of OreModules is dedicated to the implementation of homological algebraic tools such as the computations of homomorphisms between two finitely presented modules over certain noncommutative polynomial algebras (Ore algebras), of kernel, coimage, image and cokernel of homomorphisms, Galois transformations of linear multidimensional systems and idempotents of endomorphism rings. Using the packages Stafford and Quillen-Suslin , the factorization, reduction and decomposition problems can be constructively studied for different classes of linear multidimensional systems. Many linear systems studied in engineering sciences, mathematical physics and control theory have been factorized, reduced and decomposed by means of the OreMorphisms package.

• Participants: Alban Quadrat and Thomas Cluzeau

• Contact: Alban Quadrat

• URL: http://pages.saclay.inria.fr/alban.quadrat/OreMorphisms/index.html