real numbers can be used in computations, and these approximations are always rational numbers).

A solution of a polynomial system is a tuple of values of that satisfies all equations of the polynomial system. The solutions are sought in the complex numbers, or more generally in an algebraically closed field containing the coefficients. In particular, in characteristic zero,