Re: [GiNaC-devel] factorization and stuff