Isotopy classification of Morse polynomials of degree 3 in ${\mathbb R}^3$

We enumerate all isotopy classes of degree three Morse polynomials ${\mathbb R}^3 \to {\mathbb R}^1$ with nonsingular principal homogeneous parts, proving that there are exactly 37 of them. We also count all 2258 isotopy classes of {\em strictly} Morse polynomials ${\mathbb R}^3 \to {\mathbb R}^1$ of degree three with the maximal possible number (eight) of real critical points. A main tool in this classification is a combinatorial computer program that formalizes Morse surgeries, local monodromy and Picard-Lefschetz theory.