Re: [GiNaC-devel] small clifford.cpp patch