The

- 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*of a finitely presented left_{A}(M)*A*-module*M*(i.e.,*f*∈*end*,_{A}(M)*f*) and, among the latter, those further defined by idempotent matrices^{2}=f*P*and*Q*, i.e.,*P*and^{2}=P*Q*,^{2}=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