Re: [GiNaC-list] problem about collect_common_factors