Re: [GiNaC-list] Happy birthday, GiNaC!