defined on an irreducible cycle \(Z\)  by the assignment \(Z \mapsto Eu_Z\) , and then extended by \(\mathbb {Z}\) -linearity. It is well known (e.g., see [1]} and the references therein), that the homomorphism
\(Eu:Z(X) \rightarrow F(X)\) 
is an isomorphism.
