Re: [GiNaC-devel] RFC: step function and Pauli matrices