noncomputable def newtonPolygon {R : Type u_1} [CommSemiring R] (f : MvPolynomial (Fin 2) R) : Set (Fin 2 → ℝ)