Re: [GiNaC-devel] A patch for add::coeff() and new clifford_max_label()