Redesign of Polynomial Systems, see http://symbolicdata.org/wiki/PolynomialSystems