ABSTRACT
A morphism f : V —> W is given by a tuple ( f \ {x) , . . . , f m(x)) of elements of Q[F], such that for all a e V one has ( / i ( 5 ) , . . . , f m(a)) e W. Note that it suffices to check this for generics of the irreducible components of V .
