In this paper, we study the fundamental algorithmic problem of determining the homomorphisms from an Amodule M to an A-module N over an algebra A. We shall outline an algorithm for the case that A is a finite dimensional algebra over a finite field F and both modules M and N are finitely generated as A-modules. More specifically, the input to our algorithm consists of the following data: The mo...