Re: [GiNaC-devel] Term ordering.