solving systems of polynomial equalities