Re: [GiNaC-list] [PATCH] add configure option to enable deterministic sorting