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.

| ZCA Home | Reports |