Re: [GiNaC-devel] is_ex_the_function