Re: [GiNaC-list] Fwd: GiNaC Bug Report