Re: [GiNaC-devel] [GiNaC] patches and questions