Introduction to OreMorphisms

• 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 end_A(M) of a finitely presented left A-module M (i.e., f ∈ end_A(M), f²=f) and, among the latter, those further defined by idempotent matrices P and Q, i.e., P²=P and Q²=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.