[GiNaC-devel] New .is_polynomial() method.