3.2 The global homogeneous case

Here, the algorithm is in principle the same, but, we had to apply it to the set of purely constant matrices. Thus, we had to determine this vector space first.

Denote by (X^m_i,Y^m_i) the non-constant parts of the generators of Tr_(A,A'). To eliminate them we had to compute their syzygies with the generators (X_i,Y_i). That means, if M=<(X^m_i,Y^m_i)>+Tr_(A,A') then V=<M,M> Syz(M) is just the vector space of constant transformations. The algorithm of the local case completes the computation.