[GiNaC-list] Re: No get_name() method of GiNaC::constant?