simplified polynomial instantiation, and tests