Add assertPolynomialOrder