TESTS: properly test for zero-polynomial