PolynomialSolver: add a test to reveal a bug.
PolynomialSolver: test template constructor in test suite.
PolynomialSolver: add missing constructors.
PolynomialSolver: fix bugs related to linear polynomials.
PolynomialSolver: fix typo.