Hi, Alexei Sheplyakov wrote: > I think this is GiNaC's fault -- having such a helper function in a *public* > header is not a good idea. So, I'd like to move it (say, to utils.h). > Any objections? nope, good idea! Regards, Jens