Re: [GiNaC-devel] Another bug in clifford.cpp