Introduction to OreMorphisms
The OreMorphisms package is a Maple implementation of algorithms
developed in CluzeauQuadrat08 which focusses on the following problems:
- Compute
A-morphisms between two finitely presented A-modules over
certain classes of Ore algebras A, i.e., the ones implemented in
the package Ore_algebra available in the current Maple releases,
- Compute
idempotents of the endomorphism ring endA(M) of a
finitely presented left A-module M (i.e., f ∈ endA(M), f2=f)
and, among the latter, those further defined by idempotent matrices P
and Q, i.e., P2=P and Q2=Q,
- Compute
presentations of the kernel, image, cokernel, and coimage of a given
morphism. Test whether or not a given morphism is injective, surjective or
defines an A-isomorphism.,
- Compute
factorizations, reductions and decompositions of linear functional
systems.
The
package OreMorphisms is based on OreModules devoted to the symbolic study of multidimensional
systems. It was developed by T. Cluzeau and A. Quadrat.
The latest version of OreMorphisms is available for download.