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

Synopsis

Usage:
s = solveSystem F
Function: solveSystem
Inputs:
- a list, F, polynomials with complex coefficients
Outputs:
- a list, s, all complex solutions to the system F=0
Optional inputs:
- Software => ..., -- specify software for the solver

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 / first                                

o3 = {{-1, -2.04007e-16+1.18852e-15*ii}, {-8.97623e-17-3.7758e-16*ii, 1},
     ------------------------------------------------------------------------
     {-1.90916e-17+3.9059e-16*ii, -1}, {1, 2.04007e-16-1.18852e-15*ii}}

o3 : List

Caveat

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