Introduction to OreMorphisms
The OreMorphisms package is a Maple implementation of algorithms developed in CluzeauQuadrat08 which focusses on the following problems:
The package OreMorphisms is based on OreModules devoted to the symbolic study of multidimensional systems. It was developed by T. Cluzeau and
- 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 latest version of OreMorphisms is available for download.