[GiNaC-list] 回复: problem about collect_common_factors