factorization with GiNaC (update)