The package
NumericalAlgebraicGeometry, also known as
NAG4M2 (Numerical Algebraic Geometry for Macaulay 2) implements methods of polynomial homotopy continuation to solve systems of polynomial equations and describe positive-dimensional complex algebraic varieties.The current version focuses on solving square systems with finite number of solutions.