Re: [GiNaC-devel] Polynomial arithmetics (Was: please pull from ...)