Re: [GiNaC-list] Possible bug in factor()