Solve a system of polynomial equations using homotopy continuation methods. (See
track for more optional arguments.)
The system is assumed to be square (number of equations = number of variables) and to have finitely many solutions.
i1 : R = CC[x,y];
|
i2 : F = {x^2+y^2-1, x*y};
|
i3 : solveSystem F
o3 = {{3.57453e-31-9.86076e-32*ii, -1}, {-3.32801e-31+9.86076e-32*ii, 1}, {1,
------------------------------------------------------------------------
-1.38051e-30+1.38051e-30*ii}, {-1, 1.38051e-30-1.38051e-30*ii}}
o3 : List
|
The output (produced by
track with default options) contains all
points obtained at the end of homotopy paths when tracking starting at the
totalDegreeStartSystem. In particular, this means that solving a system that has fewer than Bezout bound many solutions will produce points that are not marked as regular. See
track for detailed examples.