Nonlinear Reduction for Solving Deficient Polynomial Systems
by Continuation Methods

Jan Verschelde and Ronald Cools

Abstract:

Neither continuation methods, nor symbolic elimination methods can be directly applied to compute all finite solutions to polynomial systems, because the amount of computational time is mostly not proportional to the dimension of the system and to the number of finite solutions. The notion of S-polynomials is used to develop a reduction algorithm to lower the total degree of the deficient polynomial system, so that computing the solutions at infinity can be avoided. Applying the reduction algorithm before solving the system with continuation methods, yields a reliable solution method.


Subject Classification: AMS(MOS): 65H10, 68Q40; C.R.: G1.5.

Keywords: deficient polynomial systems, continuation methods, reduction.

Numer. Math. 63(2):263-282, 1992.