assert that poly is Poly; add coverage tests