Polynomial homotopy continuation in Macaulay2

Abstract

While primarily symbolic, the computer algebra system Macaulay2 has acquired a range of numerical tools in the recent years. We describe the design changes in its NumericalAlgebraicGeometry package and the corresponding changes in the core of the system. We also discuss support packages and other packages that depend on methods provided by homotopy continuation.