Polynomial Solvers for Saturated Ideals
In this paper we present a new method for creating polynomialsolvers for problems where a (possibly infinite) subsetof the solutions are undesirable or uninteresting. Thesesolutions typically arise from simplifications made duringmodeling, but can also come from degeneracies which areinherent to the geometry of the original problem.The proposed approach extends the standard action matrixmethod to