INPUT: (A,A') - a pair of representation matrices of modules M,M'
OUTPUT: (X_{0},Y_{0}) - a pair of transformation matrices if M,M' are isomorphic
and FALSE otherwise
The procedure computes the vector space of all constant transformations depending on the ordering as described above. Note, that in case a point P exists whenever whereas in this must not be true. It follows the code of the main subprocedure - the other are selfevident.
INPUT: as above
OUTPUT: M - the module of all solutions of XA-A'Y=0, where every
column is of dimension m^{2}+n^{2} and represents a pair of matrices
(X,Y)