Atypical values at infinity of a polynomial function on the real plane: an erratum, and an algorithmic criterion

We correct a previously published theorem by proving a criterion to decide whether the fibration given by a real polynomial function image is locally trivial at infinity. The algorithmical nature of this criterion provides a test that can be applied to any real polynomial f.