  Except for a limited number of cases, a complete classification of the
Diophantine sets of polynomial rings and fields of rational functions seems out
of reach at present. We contribute to this problem by proving that several
natural sets and relations over these structures are not Diophantine.
