next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NumericalAlgebraicGeometry :: solveSystem(List)

solveSystem(List) -- solve a square system of polynomial equations

Synopsis

Description

Solve a system of polynomial equations using homotopy continuation methods.
i1 : R = CC[x,y];
i2 : F = {x^2+y^2-1, x*y};
i3 : solveSystem F 

o3 = {{-1.36416e-16+5.56358e-16*ii, -1}, {6.07385e-17-5.57225e-16*ii, 1}, {1,
     ------------------------------------------------------------------------
     8.74406e-16-9.70417e-16*ii}, {-1, -8.74406e-16+9.70417e-16*ii}}

o3 : List
The output contains all Points obtained at the end of homotopy paths when tracking a total-degree homotopy. In particular, this means that solving the system that has fewer than Bezout bound many solutions will produce points that are not marked as regular. See track for detailed examples.

Caveat

The system is assumed to be square (#equations = #variables) and to have finitely many solutions.