[GiNaC-devel] Factorization Bug