Add Polynomial to REQUIRE