system of polynomial equations