program polynomial is correct, partial testing