factorization with GiNaC