Interface PolynomialSolver