improvements in the distinction between the polynomial field and ring