[GiNaC-devel] Re: [GiNaC-list] pseries patch